2026/04/15

Newest at the top

2026-04-15 20:13:09 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-15 20:12:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-15 20:09:29 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-04-15 20:07:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-15 20:06:45 +0000tusko(~uwu@user/tusko) (Quit: Lost terminal)
2026-04-15 20:06:09 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 245 seconds)
2026-04-15 20:05:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-04-15 20:02:43 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-04-15 20:01:41 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-15 19:59:18 +0000Lord_of_Life_Lord_of_Life
2026-04-15 19:58:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-15 19:57:00 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2026-04-15 19:56:26 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-04-15 19:52:12 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-04-15 19:51:44 +0000puke(~puke@user/puke) puke
2026-04-15 19:50:41 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2026-04-15 19:49:47 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2026-04-15 19:48:52 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-04-15 19:47:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-04-15 19:42:29 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-15 19:41:50 +0000pavonia(~user@user/siracusa) siracusa
2026-04-15 19:31:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-04-15 19:29:03 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 244 seconds)
2026-04-15 19:28:24 +0000tromp(~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6)
2026-04-15 19:26:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-15 19:21:56 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-15 19:19:39 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 244 seconds)
2026-04-15 19:18:57 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2026-04-15 19:17:05 +0000tromp(~textual@2001:1c00:340e:2700:60c1:e0e:2c45:a3f6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-15 19:16:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-15 19:11:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-15 19:07:34 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 268 seconds)
2026-04-15 19:07:32 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-04-15 19:03:17 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-04-15 18:59:55 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-04-15 18:59:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-15 18:59:15 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-15 18:58:31 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 264 seconds)
2026-04-15 18:55:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-15 18:53:43 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-15 18:52:08 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-15 18:44:15 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-04-15 18:44:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-04-15 18:41:23 +0000 <monochrom> Just like how both real math and ideal math exists and co-evolve, both real haskell and ideal haskell exists and co-evolve.
2026-04-15 18:40:30 +0000 <alter2000> ok fair my bad, I meant "since it's in active use and development on concrete imperfect machines"
2026-04-15 18:40:03 +0000Logio(em@kapsi.fi) Logio
2026-04-15 18:39:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-15 18:38:13 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 265 seconds)
2026-04-15 18:37:24 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-04-15 18:36:54 +0000 <EvanR> nothing unreal exists:tm: