IRCBrowse

2025/02/20

2025-02-20 00:01:21 +0100talisman`(~user@2601:644:937c:ed10::ae5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2025-02-20 00:01:47 +0100talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2025-02-20 00:01:49 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 00:02:00 +0100weary-traveler(~user@user/user363627) user363627
2025-02-20 00:02:13 +0100user363627(~user@user/user363627) user363627
2025-02-20 00:04:01 +0100_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds))
2025-02-20 00:04:39 +0100_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) _xor
2025-02-20 00:05:54 +0100DragonMaus(~dragonmau@user/dragonmaus) (Ping timeout: 260 seconds)
2025-02-20 00:05:56 +0100DrachenMaus(~dragonmau@user/dragonmaus) DragonMaus
2025-02-20 00:06:04 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-02-20 00:06:23 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-02-20 00:06:29 +0100weary-traveler(~user@user/user363627) (Ping timeout: 248 seconds)
2025-02-20 00:15:37 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 00:17:04 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2025-02-20 00:19:48 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-20 00:21:12 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 00:21:55 +0100malte(~malte@mal.tc) malte
2025-02-20 00:22:55 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-02-20 00:23:14 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-02-20 00:26:02 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds)
2025-02-20 00:30:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-02-20 00:33:58 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-02-20 00:34:18 +0100mange(~user@user/mange) mange
2025-02-20 00:37:53 +0100ft(~ft@p4fc2a610.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-02-20 00:38:06 +0100sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 244 seconds)
2025-02-20 00:38:24 +0100sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2025-02-20 00:39:54 +0100ft(~ft@p4fc2a610.dip0.t-ipconnect.de) ft
2025-02-20 00:42:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 00:44:28 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Read error: Connection reset by peer)
2025-02-20 00:44:35 +0100Taneb0(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) Taneb
2025-02-20 00:46:45 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-02-20 00:48:44 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 00:48:56 +0100ozymandi1s(~rox@216.147.127.166) (Remote host closed the connection)
2025-02-20 00:49:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-20 00:50:47 +0100hattckory(~hattckory@149.102.242.103) (Remote host closed the connection)
2025-02-20 00:50:58 +0100hattckory(~hattckory@149.102.242.103)
2025-02-20 00:53:44 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-20 01:00:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 01:03:01 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 01:05:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 01:07:50 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-02-20 01:08:51 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-02-20 01:09:17 +0100lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-02-20 01:10:10 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-02-20 01:14:51 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-02-20 01:16:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 01:16:42 +0100Pixi(~Pixi@user/pixi) (Quit: Leaving)
2025-02-20 01:17:10 +0100alp(~alp@2001:861:8ca0:4940:bb72:dec1:2682:160e) (Ping timeout: 268 seconds)
2025-02-20 01:20:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 01:21:21 +0100acidjnk(~acidjnk@p200300d6e7283f6479fd67032cffedd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-02-20 01:21:47 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 01:24:13 +0100Pixi(~Pixi@user/pixi) Pixi
2025-02-20 01:26:40 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds)
2025-02-20 01:30:53 +0100rokoslight(~rokosligh@host-76-11-60-187.public.eastlink.ca)
2025-02-20 01:31:01 +0100ChanServ+o litharge
2025-02-20 01:31:03 +0100litharge-bo *!*@84.68.80.95 litharge
2025-02-20 01:31:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 01:34:56 +0100sprotte24(~sprotte24@p200300d16f0d4a00681b32e76f69c495.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-02-20 01:35:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-20 01:35:58 +0100xff0x(~xff0x@2405:6580:b080:900:a030:6365:43f5:43dc) (Ping timeout: 244 seconds)
2025-02-20 01:38:59 +0100rokoslight(~rokosligh@host-76-11-60-187.public.eastlink.ca) (Quit: Client closed)
2025-02-20 01:43:59 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-02-20 01:44:51 +0100weary-traveler(~user@user/user363627) user363627
2025-02-20 01:45:33 +0100fp(~Thunderbi@87-94-148-3.rev.dnainternet.fi) fp
2025-02-20 01:46:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 01:48:53 +0100user363627(~user@user/user363627) (Ping timeout: 248 seconds)
2025-02-20 01:50:26 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 01:51:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-20 01:54:38 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-20 01:55:27 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 02:02:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 02:02:24 +0100Googulator49(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 02:04:24 +0100Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-02-20 02:05:38 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds)
2025-02-20 02:05:40 +0100Googulator(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-02-20 02:05:56 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-02-20 02:06:14 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds)
2025-02-20 02:06:47 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2025-02-20 02:06:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-20 02:07:25 +0100stiell(~stiell@gateway/tor-sasl/stiell) stiell
2025-02-20 02:08:34 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 02:17:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 02:18:36 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2025-02-20 02:19:59 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-02-20 02:24:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-02-20 02:28:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 02:32:31 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-02-20 02:32:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 02:34:18 +0100talismanick(~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer)
2025-02-20 02:38:10 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 02:41:42 +0100talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2025-02-20 02:41:46 +0100pabs3Guest6241
2025-02-20 02:41:46 +0100Guest6241(~pabs3@user/pabs3) (Killed (calcium.libera.chat (Nickname regained by services)))
2025-02-20 02:42:03 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-02-20 02:42:24 +0100talismanick(~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer)
2025-02-20 02:42:37 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-20 02:43:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 02:45:09 +0100pabs3(~pabs3@user/pabs3) (Killed (tantalum.libera.chat (Nickname regained by services)))
2025-02-20 02:45:09 +0100tromp(~textual@2a02:a210:cba:8500:593d:9801:ba8:3982) (Ping timeout: 260 seconds)
2025-02-20 02:45:29 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-02-20 02:47:15 +0100pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-02-20 02:48:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-20 02:49:29 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-02-20 02:51:50 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-02-20 02:53:35 +0100yegorc(~yegorc@user/yegorc) (Quit: Leaving)
2025-02-20 02:59:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 03:03:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 03:06:18 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 03:12:29 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds)
2025-02-20 03:13:43 +0100cstslrdg^(~cstslrdg@108.192.66.114) (Ping timeout: 245 seconds)
2025-02-20 03:14:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 03:18:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 03:19:48 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-02-20 03:25:14 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 03:26:24 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 03:29:41 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-20 03:29:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 03:30:48 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 245 seconds)
2025-02-20 03:34:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-20 03:43:17 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 03:45:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 03:49:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-20 03:51:57 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds)
2025-02-20 03:58:28 +0100tavare(~tavare@user/tavare) tavare
2025-02-20 04:00:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 04:05:27 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 04:07:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-20 04:11:58 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 04:15:18 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds)
2025-02-20 04:16:26 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-20 04:18:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 04:21:21 +0100hattckory(~hattckory@149.102.242.103) (Ping timeout: 248 seconds)
2025-02-20 04:21:38 +0100hattckory(~hattckory@149.102.242.103)
2025-02-20 04:21:39 +0100talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2025-02-20 04:23:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-02-20 04:27:39 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 04:29:00 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-02-20 04:34:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 04:38:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 04:38:54 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 04:39:58 +0100hattckory(~hattckory@149.102.242.103) (Remote host closed the connection)
2025-02-20 04:39:59 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 04:40:10 +0100hattckory(~hattckory@149.102.242.103)
2025-02-20 04:42:19 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 04:49:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 04:50:12 +0100Googulator49(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed)
2025-02-20 04:50:29 +0100Googulator49(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 04:51:32 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 04:53:20 +0100Square2(~Square4@user/square) (Ping timeout: 244 seconds)
2025-02-20 04:53:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-20 04:53:54 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 04:54:00 +0100m257(msa@msa.planetofnix.com) m257
2025-02-20 04:56:14 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-20 04:58:43 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 05:03:06 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-20 05:03:32 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 05:04:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 05:06:02 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-02-20 05:08:27 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-20 05:08:39 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-02-20 05:08:40 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 05:09:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 05:19:42 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 05:20:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 05:21:17 +0100Googulator6(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 05:22:23 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-02-20 05:25:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-02-20 05:25:10 +0100Googulator49(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-02-20 05:25:37 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 05:26:44 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 05:30:01 +0100k0zy(~user@user/k0zy) k0zy
2025-02-20 05:31:20 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 05:35:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 05:40:42 +0100codaraxis__(~codaraxis@user/codaraxis) Codaraxis
2025-02-20 05:42:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-20 05:42:47 +0100aforemny_(~aforemny@2001:9e8:6cc6:9e00:81b8:a89c:3a54:df8) aforemny
2025-02-20 05:43:31 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 05:43:33 +0100aforemny(~aforemny@2001:9e8:6ced:2b00:6085:15c7:5969:9b60) (Ping timeout: 248 seconds)
2025-02-20 05:44:32 +0100codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2025-02-20 05:46:07 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 05:48:44 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-20 05:50:29 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-20 05:53:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 05:55:41 +0100k0zy(~user@user/k0zy) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2025-02-20 05:57:40 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 05:58:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-20 06:05:14 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-20 06:09:02 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-02-20 06:09:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 06:12:04 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 06:13:07 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 06:13:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 06:15:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-02-20 06:16:37 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 265 seconds)
2025-02-20 06:18:38 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 06:18:59 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 06:19:52 +0100bilegeek(~bilegeek@2600:1008:b047:6f58:4329:1165:130c:c028) bilegeek
2025-02-20 06:23:52 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 265 seconds)
2025-02-20 06:24:22 +0100dhmslrps^(~dhmslrps@108.192.66.114)
2025-02-20 06:24:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 06:25:04 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-02-20 06:29:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-20 06:32:51 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 06:35:16 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 06:36:35 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-20 06:37:25 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-20 06:39:46 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds)
2025-02-20 06:39:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 06:41:19 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 06:41:29 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 06:42:02 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-20 06:42:50 +0100fp(~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Ping timeout: 252 seconds)
2025-02-20 06:43:03 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 06:43:36 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-20 06:44:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-20 06:46:26 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds)
2025-02-20 06:47:42 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 06:47:43 +0100aforemny(~aforemny@2001:9e8:6cc8:8a00:e318:8fb3:4df1:ab17) aforemny
2025-02-20 06:47:57 +0100aforemny_(~aforemny@2001:9e8:6cc6:9e00:81b8:a89c:3a54:df8) (Ping timeout: 252 seconds)
2025-02-20 06:55:02 +0100Inst(~Inst@user/Inst) Inst
2025-02-20 06:55:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 06:56:11 +0100ft(~ft@p4fc2a610.dip0.t-ipconnect.de) (Quit: leaving)
2025-02-20 06:59:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 07:03:54 +0100Inst(~Inst@user/Inst) (Remote host closed the connection)
2025-02-20 07:04:52 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 07:10:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 07:14:20 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-02-20 07:14:43 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-02-20 07:15:03 +0100dhmslrps^(~dhmslrps@108.192.66.114) (Remote host closed the connection)
2025-02-20 07:17:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-20 07:17:43 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-02-20 07:19:55 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 07:20:03 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Remote host closed the connection)
2025-02-20 07:20:11 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 07:23:08 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-20 07:23:31 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-20 07:24:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-20 07:28:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 07:33:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-02-20 07:33:33 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Remote host closed the connection)
2025-02-20 07:33:41 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 07:39:54 +0100fp(~Thunderbi@wireless-86-50-140-54.open.aalto.fi) fp
2025-02-20 07:43:00 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-02-20 07:43:01 +0100fp1(~Thunderbi@2001:708:20:1406::10c5) fp
2025-02-20 07:43:25 +0100ec(~ec@gateway/tor-sasl/ec) ec
2025-02-20 07:44:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 07:45:03 +0100fp(~Thunderbi@wireless-86-50-140-54.open.aalto.fi) (Ping timeout: 268 seconds)
2025-02-20 07:45:03 +0100fp1fp
2025-02-20 07:46:37 +0100k0zy(~user@user/k0zy) k0zy
2025-02-20 07:48:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 07:55:06 +0100acidjnk(~acidjnk@p200300d6e7283f6279fd67032cffedd5.dip0.t-ipconnect.de) acidjnk
2025-02-20 07:56:23 +0100Googulator52(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 07:59:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 07:59:40 +0100Googulator6(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-02-20 08:02:19 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds)
2025-02-20 08:02:59 +0100michalz(~michalz@185.246.207.221)
2025-02-20 08:03:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-20 08:05:24 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-02-20 08:06:39 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 08:11:00 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-20 08:11:13 +0100manwithluck`(~manwithlu@2a09:bac1:5be0:20::49:de) (Ping timeout: 248 seconds)
2025-02-20 08:11:29 +0100manwithluck`(~manwithlu@2a09:bac1:5ba0:20::49:b4) manwithluck
2025-02-20 08:13:06 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-02-20 08:14:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 08:17:39 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 08:19:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 08:19:58 +0100CiaoSen(~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen
2025-02-20 08:23:51 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 08:24:21 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-02-20 08:25:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 08:30:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-20 08:30:36 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 08:35:49 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 08:40:19 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-02-20 08:41:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 08:45:33 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-02-20 08:46:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-02-20 08:48:37 +0100edwtjo(~edwtjo@fsf/member/edwtjo) edwtjo
2025-02-20 08:48:51 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 08:52:45 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 08:54:02 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 08:57:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 08:57:43 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-20 08:58:29 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-20 09:00:06 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-02-20 09:01:02 +0100caconym(~caconym@user/caconym) caconym
2025-02-20 09:01:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-20 09:11:16 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 09:11:22 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 09:12:37 +0100sawilagar(~sawilagar@user/sawilagar) (Remote host closed the connection)
2025-02-20 09:13:00 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-02-20 09:13:51 +0100alp(~alp@2001:861:8ca0:4940:be63:3b87:5f1:7fac)
2025-02-20 09:25:17 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-02-20 09:26:11 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2025-02-20 09:28:02 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
2025-02-20 09:28:12 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 09:29:35 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-02-20 09:33:54 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2025-02-20 09:34:04 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-02-20 09:38:26 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-20 09:38:44 +0100bilegeek(~bilegeek@2600:1008:b047:6f58:4329:1165:130c:c028) (Quit: Leaving)
2025-02-20 09:40:20 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 09:41:34 +0100fp1(~Thunderbi@2001:708:150:10::1d80) fp
2025-02-20 09:42:26 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 09:43:13 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-02-20 09:43:13 +0100fp1fp
2025-02-20 09:44:41 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 09:46:38 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-02-20 09:47:53 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 09:54:19 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
2025-02-20 09:58:39 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-02-20 09:59:29 +0100fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds)
2025-02-20 10:00:32 +0100Googulator60(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 10:01:24 +0100misterfish(~misterfis@84.53.85.146) misterfish
2025-02-20 10:04:10 +0100Googulator52(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-02-20 10:05:52 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-02-20 10:08:20 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-02-20 10:11:27 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 10:18:07 +0100chele(~chele@user/chele) chele
2025-02-20 10:18:10 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 10:21:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-02-20 10:28:09 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-02-20 10:29:51 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 10:34:40 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-02-20 10:40:17 +0100fp(~Thunderbi@wireless-86-50-140-34.open.aalto.fi) fp
2025-02-20 10:40:33 +0100hattckory(~hattckory@149.102.242.103) (Remote host closed the connection)
2025-02-20 10:40:40 +0100hattckory(~hattckory@149.102.242.103)
2025-02-20 10:41:48 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 10:42:15 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-02-20 10:45:40 +0100Googulator60(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-02-20 10:50:52 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-02-20 10:50:58 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-02-20 10:53:59 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-20 10:55:02 +0100sawilagar(~sawilagar@user/sawilagar) (Client Quit)
2025-02-20 11:00:18 +0100euandreh(~Thunderbi@189.6.105.228) (Quit: euandreh)
2025-02-20 11:00:36 +0100euandreh(~Thunderbi@189.6.105.228) euandreh
2025-02-20 11:00:43 +0100pabs3(~pabs3@user/pabs3) (Remote host closed the connection)
2025-02-20 11:01:30 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-02-20 11:02:58 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-20 11:02:59 +0100zmt01(~zmt00@user/zmt00) zmt00
2025-02-20 11:04:46 +0100driib318(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2025-02-20 11:04:59 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-02-20 11:06:20 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 272 seconds)
2025-02-20 11:06:47 +0100driib318(~driib@vmi931078.contaboserver.net) driib
2025-02-20 11:07:34 +0100fp(~Thunderbi@wireless-86-50-140-34.open.aalto.fi) (Ping timeout: 265 seconds)
2025-02-20 11:07:36 +0100fp1(~Thunderbi@2001:708:20:1406::1370) fp
2025-02-20 11:09:53 +0100fp1fp
2025-02-20 11:13:09 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds)
2025-02-20 11:14:31 +0100driib318(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2025-02-20 11:17:15 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 11:21:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-20 11:33:10 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 11:37:53 +0100forell(~forell@user/forell) (Ping timeout: 244 seconds)
2025-02-20 11:48:38 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 268 seconds)
2025-02-20 11:50:02 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds)
2025-02-20 11:50:48 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 11:52:23 +0100sprotte24(~sprotte24@p200300d16f0dc000b0303596a8ba4184.dip0.t-ipconnect.de)
2025-02-20 11:55:27 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds)
2025-02-20 11:55:58 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 12:01:08 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds)
2025-02-20 12:04:18 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 12:05:08 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 12:08:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-20 12:11:00 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 12:12:07 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 12:12:28 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 12:14:32 +0100aforemny(~aforemny@2001:9e8:6cc8:8a00:e318:8fb3:4df1:ab17) (Ping timeout: 268 seconds)
2025-02-20 12:15:09 +0100aforemny(~aforemny@2001:9e8:6cca:4500:eb29:3182:11d4:2069) aforemny
2025-02-20 12:15:18 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 12:18:20 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-02-20 12:20:09 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-20 12:20:21 +0100 <lisbeths> whats wrong with this let x = (\x -> (x x))(\x -> x)
2025-02-20 12:21:49 +0100 <ncf> what's the type of the second x?
2025-02-20 12:21:55 +0100 <lisbeths> I do not know type theory
2025-02-20 12:22:04 +0100 <lisbeths> I would like these to be of anonymous type if possible
2025-02-20 12:22:19 +0100 <ncf> what's an anonymous type?
2025-02-20 12:22:26 +0100 <lisbeths> a wildcard type
2025-02-20 12:22:44 +0100 <ncf> i'm afraid haskell doesn't have those
2025-02-20 12:22:58 +0100 <lisbeths> what about a type that accepts a type and a lambda that accepts a type
2025-02-20 12:24:38 +0100 <mange> Haskell requires each expression to have a type. If we try to give a type to \x -> (x x) then we have the type of "x" as "a -> b" (because it's being used as a function), but we pass "x" to "x", so "a" is the type of "x", which is itself "a -> b". This constructs an infinite type which is no good.
2025-02-20 12:24:51 +0100 <lisbeths> so hwo do I apply lambdas together
2025-02-20 12:25:36 +0100 <mange> What are you trying to do? In the easiest case, just don't call a lambda with itself. Like, "let x = (\x -> (x 1))(\x -> x)" should be fine.
2025-02-20 12:25:46 +0100acidjnk(~acidjnk@p200300d6e7283f6279fd67032cffedd5.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-02-20 12:25:54 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 12:26:07 +0100 <lisbeths> what would applying x to 1 do?
2025-02-20 12:26:08 +0100acidjnk(~acidjnk@p200300d6e7283f6279fd67032cffedd5.dip0.t-ipconnect.de) acidjnk
2025-02-20 12:26:26 +0100 <lisbeths> is that the de brujins index 1
2025-02-20 12:27:03 +0100 <int-e> why are you mixing names and de Bruijn indices
2025-02-20 12:27:53 +0100 <mange> I'm very confused. What are you actually trying to do?
2025-02-20 12:28:15 +0100 <mange> I fear that we've got an XY problem here.
2025-02-20 12:28:22 +0100 <int-e> > let x = (\x -> (x 1))(\x -> x) in x
2025-02-20 12:28:23 +0100 <lambdabot> 1
2025-02-20 12:28:52 +0100 <int-e> (The fact that this makes sense in Haskell, the main topic of this channel, probably adds to the confusion.)
2025-02-20 12:28:52 +0100 <lisbeths> ah well that isnt what I asked but thats okay
2025-02-20 12:29:20 +0100 <lisbeths> do you define identity as 1 in haskell?
2025-02-20 12:29:50 +0100 <mange> Are you working in a pure lambda calculus?
2025-02-20 12:29:54 +0100 <lisbeths> yeah
2025-02-20 12:30:31 +0100 <mange> Right. In that case, can you tell me: what was wrong with (\x -> (x x))(\x -> x)? As in, what caused you to suspect there was something wrong with it?
2025-02-20 12:30:59 +0100 <mange> In an untyped lambda calculus, (\x -> (x x))(\x -> x) is just the identity function.
2025-02-20 12:31:13 +0100 <lisbeths> doesnt compile on my machine
2025-02-20 12:31:19 +0100 <mange> In Haskell?
2025-02-20 12:31:42 +0100 <lisbeths> ghci: let x = (\x -> (x x))(\x -> x)
2025-02-20 12:31:53 +0100 <mange> Sure, but Haskell is not *untyped* lambda calculus.
2025-02-20 12:32:00 +0100 <lisbeths> indeed
2025-02-20 12:32:05 +0100paul_j(~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection)
2025-02-20 12:32:18 +0100 <mange> That expression requires an infinite type, which Haskell does not permit.
2025-02-20 12:32:24 +0100 <lisbeths> oh
2025-02-20 12:32:35 +0100 <mange> So what's wrong is "(\x -> (x x)) is not a valid Haskell function".
2025-02-20 12:32:37 +0100 <lisbeths> how do I code in pure lambda calculus in haskell?
2025-02-20 12:33:28 +0100 <lisbeths> if there is no way to do it then I can use a krivine machine instead
2025-02-20 12:33:47 +0100 <mange> Haskell is a typed lambda calculus. If you want to work with an untyped lambda calculus you should not use Haskell. I don't know what else is syntactically similar, but Scheme is an untyped lambda calculus.
2025-02-20 12:34:00 +0100 <merijn> lisbeths: You can work around the lack of infinite types by having a newtype referencing itself
2025-02-20 12:34:09 +0100 <lisbeths> do you know any purely functional languages with infinite recursion that are untyped
2025-02-20 12:34:36 +0100 <lisbeths> ok if you think that it would be better for me to do that than to use a different languag then I can do that
2025-02-20 12:35:16 +0100 <int-e> there's the alluring but quite useless newtype L = Abs { app :: L -> L } with k = L (\x -> L (\y -> x)), s = L (\f -> L (\g -> L (
2025-02-20 12:35:35 +0100 <int-e> there's the alluring but quite useless newtype L = Abs { app :: L -> L } with k = L (\x -> L (\y -> x)), s = L (\f -> L (\g -> L (\x -> f `app` x `app` (g `app` x))))
2025-02-20 12:35:38 +0100 <mange> I'm not familiar with anything that is both "purely functional" and "untyped". Scheme is not purely functional (it is functional, just with impurity).
2025-02-20 12:36:17 +0100 <int-e> err, all those `L` data constructors should be `Abs` instead.
2025-02-20 12:36:51 +0100 <lisbeths> well the good news is I can compile to this L language so the boilerplate isnt an issue
2025-02-20 12:37:12 +0100 <int-e> It's alluring because it does what you ask -- it implements the untyped lambda calculus (closed terms only) as higher order abstract syntax. It's useless because there's no inspection.
2025-02-20 12:37:13 +0100 <lisbeths> it is just a matter of if you think I should use haskell this way or use a dfiferetn way or else a different language
2025-02-20 12:37:33 +0100 <mange> I still don't know what you're actually doing, so I can't possibly advise you on language.
2025-02-20 12:37:35 +0100 <lisbeths> inspection is the typechecking/proofchecking right?
2025-02-20 12:37:37 +0100Square2(~Square4@user/square) Square
2025-02-20 12:37:53 +0100 <lisbeths> uh well I am running unknown programs that have no side effects in pure lambda calculus
2025-02-20 12:37:59 +0100 <lisbeths> so I dont know what lambdas im gonna get
2025-02-20 12:38:10 +0100 <int-e> No, inspection as in "print the normal form of this as a human-readable lambda term if there is a normal form"
2025-02-20 12:38:29 +0100 <lisbeths> oh this is fine as long as I can convert L kestrel to 1 and L kite to 0
2025-02-20 12:38:38 +0100 <lisbeths> I am not expecting a strong IO library to be available
2025-02-20 12:39:36 +0100 <lisbeths> haskell will recursively grab 1 and 0 from the L machine and store them in arrays of 8 bits and map them to a function that turns those 8 bits into characters that is no prblem
2025-02-20 12:39:44 +0100 <int-e> lisbeths: Well, you can't.
2025-02-20 12:40:02 +0100 <lisbeths> oh well if its possible for information to exit the L system then I cant necessarily use L?
2025-02-20 12:40:14 +0100 <lisbeths> can I have L call a function that returns 1 or call a function taht returns 0
2025-02-20 12:41:34 +0100 <int-e> No, all arguments and results have type L.
2025-02-20 12:42:03 +0100 <lisbeths> so what if I have it be a tuple of type L and another type
2025-02-20 12:42:15 +0100meltedbrain_y2k(~meltedbra@static-115-53-228-77.ipcom.comunitel.net) meltedbrain_y2k
2025-02-20 12:42:30 +0100 <lisbeths> yeah heh heh I think I am grasping what you're laying down
2025-02-20 12:42:41 +0100 <int-e> (Well, there's a path to madness here that starts when you use observable bottoms (exceptions) and IO to discern which of them gets evaluated first.)
2025-02-20 12:43:12 +0100 <lisbeths> I write my lambdas in such a way that order of evaluation doesnt affect the algorithm
2025-02-20 12:43:33 +0100 <lisbeths> really just a subset of lambda calculus
2025-02-20 12:43:52 +0100 <mange> Even if you get this working, is your plan to compile your input into a Haskell program which you then compile+run? Or are you going to assemble them in memory and evaluate them?
2025-02-20 12:44:24 +0100 <lisbeths> I am going to beta reduce one very large lambda and assume that the user has given me a lambda that will halt
2025-02-20 12:45:00 +0100 <lisbeths> to beat my current system I need to be able to fill at least 2 gigabytes of ram with lambdas
2025-02-20 12:45:08 +0100 <mange> But what we're discussing right now is converting it into Haskell syntax, isn't it? Which mean invoking the Haskell compiler to evaluate it?
2025-02-20 12:45:22 +0100 <lisbeths> uh yes I can write the compiler in haskell
2025-02-20 12:45:36 +0100 <lisbeths> the theing I am compilng from is my own notation for lambda calculus
2025-02-20 12:46:52 +0100 <lisbeths> if your advice is not to do this I wont do it I can use another tool
2025-02-20 12:47:02 +0100 <lisbeths> I have this machien called a krivine machine which will work for me just fine as well
2025-02-20 12:47:27 +0100__monty__(~toonn@user/toonn) toonn
2025-02-20 12:47:48 +0100 <lisbeths> additionally there are likely machines like krivine machines already implemented in haskell that are designed specifically to compute large pure lambdas
2025-02-20 12:52:03 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 12:56:28 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-20 12:57:03 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-02-20 12:57:41 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-02-20 13:00:04 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-02-20 13:01:19 +0100caconym(~caconym@user/caconym) caconym
2025-02-20 13:01:57 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds)
2025-02-20 13:03:44 +0100Digitteknohippie(~user@user/digit) Digit
2025-02-20 13:04:09 +0100killy(~killy@terminal-3-187.retsat1.com.pl)
2025-02-20 13:05:14 +0100Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-02-20 13:05:16 +0100mange(~user@user/mange) (Quit: Zzz...)
2025-02-20 13:07:04 +0100killy(~killy@terminal-3-187.retsat1.com.pl) (Client Quit)
2025-02-20 13:07:18 +0100killy(~killy@terminal-3-187.retsat1.com.pl)
2025-02-20 13:12:38 +0100aforemny_(~aforemny@2001:9e8:6cca:9f00:b85c:6918:4e23:55e4) aforemny
2025-02-20 13:12:39 +0100takuan(~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer)
2025-02-20 13:12:52 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-02-20 13:13:38 +0100aforemny(~aforemny@2001:9e8:6cca:4500:eb29:3182:11d4:2069) (Ping timeout: 272 seconds)
2025-02-20 13:17:03 +0100aforemny_(~aforemny@2001:9e8:6cca:9f00:b85c:6918:4e23:55e4) (Ping timeout: 245 seconds)
2025-02-20 13:17:19 +0100CiaoSen(~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2025-02-20 13:18:17 +0100aforemny(~aforemny@i59F4C5CD.versanet.de) aforemny
2025-02-20 13:19:13 +0100DigitteknohippieDigit
2025-02-20 13:20:02 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 13:21:08 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2025-02-20 13:22:47 +0100jespada(~jespada@2800:a4:2251:1700:3c08:ecc8:d972:a763) jespada
2025-02-20 13:22:48 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 13:28:58 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 13:34:34 +0100fp(~Thunderbi@wireless-86-50-140-34.open.aalto.fi) fp
2025-02-20 13:34:39 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-02-20 13:34:59 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-02-20 13:38:54 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 13:39:26 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 13:41:37 +0100xff0x(~xff0x@2405:6580:b080:900:394:5e31:13b5:e904)
2025-02-20 13:42:53 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 13:43:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-20 13:48:06 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-02-20 13:52:31 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-02-20 13:59:14 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-02-20 14:00:42 +0100killy(~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving)
2025-02-20 14:02:31 +0100pabs3(~pabs3@user/pabs3) (Remote host closed the connection)
2025-02-20 14:03:41 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds)
2025-02-20 14:03:43 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-02-20 14:06:15 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed)
2025-02-20 14:06:39 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 14:10:29 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Read error: Connection reset by peer)
2025-02-20 14:11:13 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c)
2025-02-20 14:13:54 +0100fp(~Thunderbi@wireless-86-50-140-34.open.aalto.fi) (Ping timeout: 260 seconds)
2025-02-20 14:15:39 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:5dd:432e:7da4:ea3c) (Ping timeout: 260 seconds)
2025-02-20 14:16:08 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 14:17:59 +0100hattckory(~hattckory@149.102.242.103) (Ping timeout: 260 seconds)
2025-02-20 14:18:39 +0100pabs3(~pabs3@user/pabs3) (Remote host closed the connection)
2025-02-20 14:19:21 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-02-20 14:20:15 +0100JeremyB99(~JeremyB99@2607:fb91:17cd:363f:b4a8:16af:caa5:cacb)
2025-02-20 14:20:54 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-20 14:21:09 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 244 seconds)
2025-02-20 14:21:21 +0100aforemny(~aforemny@i59F4C5CD.versanet.de) (Ping timeout: 248 seconds)
2025-02-20 14:21:53 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-14-174-92-69-126.dsl.bell.ca) rekahsoft
2025-02-20 14:22:21 +0100aforemny(~aforemny@2001:9e8:6ccb:1200:2df6:7768:b5bd:aa30) aforemny
2025-02-20 14:22:30 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-02-20 14:22:39 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) (Ping timeout: 260 seconds)
2025-02-20 14:24:59 +0100JeremyB99(~JeremyB99@2607:fb91:17cd:363f:b4a8:16af:caa5:cacb) (Ping timeout: 260 seconds)
2025-02-20 14:26:10 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 14:28:48 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-02-20 14:29:33 +0100JeremyB99(~JeremyB99@2607:fb90:2ce1:c7e3:3d7c:c158:5de2:733d)
2025-02-20 14:30:23 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-02-20 14:33:25 +0100CiaoSen(~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen
2025-02-20 14:34:09 +0100JeremyB99(~JeremyB99@2607:fb90:2ce1:c7e3:3d7c:c158:5de2:733d) (Ping timeout: 248 seconds)
2025-02-20 14:35:36 +0100misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish
2025-02-20 14:38:25 +0100_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Read error: Connection reset by peer)
2025-02-20 14:38:35 +0100fp(~Thunderbi@wireless-86-50-140-34.open.aalto.fi) fp
2025-02-20 14:38:57 +0100_xor4(~xor@ip-66-42-132-175.dynamic.fuse.net) _xor
2025-02-20 14:41:40 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-02-20 14:41:47 +0100fp1(~Thunderbi@2001:708:20:1406::1370) fp
2025-02-20 14:42:28 +0100CiaoSen(~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2025-02-20 14:42:48 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-02-20 14:43:04 +0100fp(~Thunderbi@wireless-86-50-140-34.open.aalto.fi) (Ping timeout: 260 seconds)
2025-02-20 14:43:04 +0100fp1fp
2025-02-20 14:45:39 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-02-20 14:46:33 +0100 <haskellbridge> <Liamzee> is the only way to get getCh in Haskell through C FFI?
2025-02-20 14:47:18 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 14:48:19 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-02-20 14:48:41 +0100 <haskellbridge> <Liamzee> hmmm, getch is MS specific
2025-02-20 14:49:58 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 14:50:36 +0100weary-traveler(~user@user/user363627) user363627
2025-02-20 14:51:31 +0100CiaoSen(~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) CiaoSen
2025-02-20 14:54:47 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 14:55:10 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 14:56:04 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 14:56:38 +0100 <haskellbridge> <Liamzee> bleh, haskeline it is
2025-02-20 14:56:40 +0100 <enikar> getch is a legacy function from borland C, iirc
2025-02-20 15:00:40 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds)
2025-02-20 15:02:24 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 15:02:55 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 15:03:05 +0100 <haskellbridge> <Liamzee> ugh, it still doesn't do what i want, which is to grab key presses (without ugly unbuffered getChar hacks)
2025-02-20 15:03:06 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 15:04:47 +0100CiaoSen(~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2025-02-20 15:06:03 +0100 <haskellbridge> <Liamzee> erm, grab arrow key presses
2025-02-20 15:07:34 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-20 15:11:14 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 15:11:32 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 15:11:50 +0100sprotte24(~sprotte24@p200300d16f0dc000b0303596a8ba4184.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-02-20 15:12:46 +0100prasad(~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net)
2025-02-20 15:14:55 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 15:15:42 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds)
2025-02-20 15:17:04 +0100tabaqui1(~root@87.200.129.102) (Ping timeout: 268 seconds)
2025-02-20 15:19:03 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 15:19:32 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-02-20 15:21:45 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 15:22:20 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 15:24:29 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds)
2025-02-20 15:25:02 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 15:26:29 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 15:28:50 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-20 15:31:37 +0100JeremyB99(~JeremyB99@2607:fb90:2c60:83a7:fcda:202:1141:b880)
2025-02-20 15:31:52 +0100JeremyB99(~JeremyB99@2607:fb90:2c60:83a7:fcda:202:1141:b880) (Read error: Connection reset by peer)
2025-02-20 15:32:17 +0100jespada(~jespada@2800:a4:2251:1700:3c08:ecc8:d972:a763) (Ping timeout: 248 seconds)
2025-02-20 15:34:25 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds)
2025-02-20 15:35:22 +0100jespada(~jespada@2800:a4:2260:db00:50cc:cb35:ec3:ab9d) jespada
2025-02-20 15:38:10 +0100tromp(~textual@2a02:a210:cba:8500:e8ac:89f5:f63a:62db)
2025-02-20 15:40:03 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 15:44:01 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds)
2025-02-20 15:44:20 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed)
2025-02-20 15:44:37 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 15:58:55 +0100weary-traveler(~user@user/user363627) user363627
2025-02-20 15:59:14 +0100 <mauke> if you're running in a terminal, there are no key presses, only bytes
2025-02-20 15:59:19 +0100 <mauke> which you have to decode
2025-02-20 16:01:40 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 16:03:02 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-02-20 16:04:19 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-02-20 16:05:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-20 16:08:42 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 16:09:26 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 16:18:57 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-02-20 16:21:01 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Remote host closed the connection)
2025-02-20 16:21:14 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 16:31:07 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Remote host closed the connection)
2025-02-20 16:31:20 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 16:32:44 +0100yaroot_(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot
2025-02-20 16:34:00 +0100yaroot(~yaroot@p3031163-ipngn4701souka.saitama.ocn.ne.jp) (Ping timeout: 252 seconds)
2025-02-20 16:34:01 +0100yaroot_yaroot
2025-02-20 16:35:04 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-20 16:35:22 +0100Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2025-02-20 16:35:24 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 16:38:04 +0100misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 244 seconds)
2025-02-20 16:40:32 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 16:41:16 +0100Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-02-20 16:42:28 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 16:43:10 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 16:43:36 +0100Wygulmage(~Wygulmage@user/Wygulmage) Wygulmage
2025-02-20 16:48:12 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 16:50:24 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 16:50:33 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed)
2025-02-20 16:50:47 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 16:52:49 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds)
2025-02-20 16:54:57 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-20 16:55:11 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-02-20 16:57:18 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 17:10:35 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-02-20 17:13:08 +0100Fijxu_(~Fijxu@user/fijxu) fijxu
2025-02-20 17:13:59 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-02-20 17:16:27 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-02-20 17:21:26 +0100euphores(~SASL_euph@user/euphores) euphores
2025-02-20 17:23:46 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 17:27:38 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 17:27:52 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-02-20 17:32:30 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 17:33:41 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-02-20 17:35:17 +0100Square(~Square@user/square) Square
2025-02-20 17:36:46 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 17:37:28 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 17:38:45 +0100Square2(~Square4@user/square) (Ping timeout: 248 seconds)
2025-02-20 17:41:21 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1)
2025-02-20 17:41:55 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-20 17:43:55 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 17:47:35 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 17:49:16 +0100ft(~ft@p4fc2a610.dip0.t-ipconnect.de) ft
2025-02-20 17:51:26 +0100sprotte24(~sprotte24@p200300d16f0dc0003d6d6b9239bc0d18.dip0.t-ipconnect.de)
2025-02-20 17:51:28 +0100codaraxis__(~codaraxis@user/codaraxis) (Quit: Leaving)
2025-02-20 17:55:13 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 17:56:05 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-02-20 17:57:50 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 17:58:00 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Remote host closed the connection)
2025-02-20 17:58:14 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 18:01:43 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2025-02-20 18:02:17 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Ping timeout: 244 seconds)
2025-02-20 18:03:29 +0100dsrt^(~dsrt@108.192.66.114)
2025-02-20 18:06:12 +0100 <haskellbridge> <Bowuigi> @irc_libera.chat_lisbeths:kf8nh.com you might be interested in https://github.com/chatziko/lci if you want to mess around with the untyped lambda calculus
2025-02-20 18:08:02 +0100 <haskellbridge> <Bowuigi> Oh they left, that's the most annoying feature of IRC lol
2025-02-20 18:08:13 +0100JeremyB99(~JeremyB99@2607:fb91:22c2:8b60:dcb1:447f:1855:b75a)
2025-02-20 18:09:24 +0100JeremyB99(~JeremyB99@2607:fb91:22c2:8b60:dcb1:447f:1855:b75a) (Remote host closed the connection)
2025-02-20 18:09:32 +0100JeremyB99(~JeremyB99@2607:fb91:22c2:8b60:dcb1:447f:1855:b75a)
2025-02-20 18:11:46 +0100 <haskellbridge> <Bowuigi> Liamzee if you're still here, vty is kinda like ncurses for Haskell, which abstracts the process of working with a terminal https://hackage.haskell.org/package/vty
2025-02-20 18:13:13 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-02-20 18:14:28 +0100JeremyB99(~JeremyB99@2607:fb91:22c2:8b60:dcb1:447f:1855:b75a) (Ping timeout: 272 seconds)
2025-02-20 18:14:50 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 18:15:09 +0100 <haskellbridge> <Bowuigi> I'd assume that there's smaller packages that just focus on key decoding, or if you want easier, generic UI, brick (https://hackage.haskell.org/package/brick) is pretty good
2025-02-20 18:16:10 +0100 <geekosaur> ansi-terminal, which I think recently-ish gained Windows compatibility
2025-02-20 18:19:40 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Remote host closed the connection)
2025-02-20 18:19:54 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 18:20:41 +0100Wygulmage(~Wygulmage@user/Wygulmage) (Quit: Client closed)
2025-02-20 18:24:32 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 18:24:42 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 18:26:49 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 18:28:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-20 18:29:00 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds)
2025-02-20 18:29:53 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Remote host closed the connection)
2025-02-20 18:30:07 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 18:31:04 +0100bionade24(~quassel@2a03:4000:33:45b::1) (Quit: Apocalypse Incoming!)
2025-02-20 18:31:45 +0100ec(~ec@gateway/tor-sasl/ec) ec
2025-02-20 18:32:08 +0100bionade24(~quassel@2a03:4000:33:45b::1) bionade24
2025-02-20 18:33:01 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 18:41:09 +0100meltedbrain_y2k(~meltedbra@static-115-53-228-77.ipcom.comunitel.net) (Read error: Connection reset by peer)
2025-02-20 18:42:14 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-02-20 18:44:59 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-02-20 18:45:47 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 18:48:40 +0100jespada(~jespada@2800:a4:2260:db00:50cc:cb35:ec3:ab9d) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-02-20 18:53:02 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 18:54:15 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2025-02-20 18:57:36 +0100misterfish(~misterfis@84.53.85.146) misterfish
2025-02-20 18:59:31 +0100meltedbrain_y2k(~meltedbra@static-115-53-228-77.ipcom.comunitel.net)
2025-02-20 19:01:50 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 19:02:45 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 19:04:42 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 19:12:01 +0100yvan-sraka(uid419690@id-419690.lymington.irccloud.com) yvan-sraka
2025-02-20 19:14:08 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 19:15:07 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 19:16:50 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 19:19:38 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds)
2025-02-20 19:21:07 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-20 19:21:12 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 19:37:26 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 19:38:30 +0100 <haskellbridge> <sm> ansi-terminal-game is in between those
2025-02-20 19:38:31 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 19:38:41 +0100 <haskellbridge> <sm> morning all
2025-02-20 19:39:25 +0100jespada(~jespada@2800:a4:2260:db00:50cc:cb35:ec3:ab9d) jespada
2025-02-20 19:39:26 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-02-20 19:39:47 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2025-02-20 19:40:08 +0100 <monochrom> ohai
2025-02-20 19:40:12 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-02-20 19:42:32 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 19:43:02 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 19:45:37 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-02-20 19:45:58 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-02-20 19:47:16 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-02-20 19:48:19 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 19:48:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 19:52:20 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 19:53:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-20 19:54:22 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 19:55:50 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-02-20 19:56:20 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-02-20 19:57:49 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 20:00:12 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-02-20 20:02:59 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-02-20 20:02:59 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 20:04:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 20:05:58 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-02-20 20:06:20 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 20:06:22 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 20:06:36 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-02-20 20:06:47 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 20:07:08 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu)
2025-02-20 20:08:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-02-20 20:10:58 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-20 20:16:38 +0100meltedbrain_y2k(~meltedbra@static-115-53-228-77.ipcom.comunitel.net) (Read error: Connection reset by peer)
2025-02-20 20:19:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 20:19:30 +0100JeremyB99(~JeremyB99@pal-210-106-73.itap.purdue.edu) (Read error: Connection reset by peer)
2025-02-20 20:21:51 +0100pavonia(~user@user/siracusa) siracusa
2025-02-20 20:24:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-20 20:25:40 +0100JeremyB99(~JeremyB99@2607:fb91:22c7:8be:107:1708:ede5:2ca9)
2025-02-20 20:27:24 +0100JeremyB99(~JeremyB99@2607:fb91:22c7:8be:107:1708:ede5:2ca9) (Read error: Connection reset by peer)
2025-02-20 20:34:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 20:34:44 +0100meltedbrain_y2k(~meltedbra@46.136.112.22)
2025-02-20 20:36:33 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-02-20 20:41:06 +0100mud(~mud@user/kadoban) (Ping timeout: 248 seconds)
2025-02-20 20:41:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-20 20:44:55 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-02-20 20:45:27 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 246 seconds)
2025-02-20 20:52:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 20:53:10 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-02-20 20:54:26 +0100dsrt^(~dsrt@108.192.66.114) (Ping timeout: 248 seconds)
2025-02-20 20:54:31 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-20 20:55:06 +0100dsrt^(~dsrt@108.192.66.114)
2025-02-20 20:55:24 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 20:57:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-20 20:58:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-20 21:00:00 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-02-20 21:00:13 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed)
2025-02-20 21:00:31 +0100Googulator85(~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu)
2025-02-20 21:00:41 +0100caconym(~caconym@user/caconym) caconym
2025-02-20 21:04:18 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 276 seconds)
2025-02-20 21:08:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 21:11:03 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 21:13:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-02-20 21:15:13 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds)
2025-02-20 21:20:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 21:24:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-20 21:26:04 +0100tccq(~user@user/tccq) (Remote host closed the connection)
2025-02-20 21:26:08 +0100dsrt^(~dsrt@108.192.66.114) (Ping timeout: 252 seconds)
2025-02-20 21:26:54 +0100dsrt^(~dsrt@108.192.66.114)
2025-02-20 21:27:43 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-20 21:32:45 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-02-20 21:35:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-20 21:36:48 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds)
2025-02-20 21:37:04 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-02-20 21:40:16 +0100weary-traveler(~user@user/user363627) user363627
2025-02-20 21:40:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-20 21:41:16 +0100flocks(~flocks@134.122.90.60) (ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50))
2025-02-20 21:41:24 +0100yvan-sraka(uid419690@id-419690.lymington.irccloud.com) (Quit: Connection closed for inactivity)