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