2026/01/23

Newest at the top

2026-01-23 03:41:30 +0100terrorjack(~terrorjac@2a01:4f8:c17:9d11::) terrorjack
2026-01-23 03:40:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-23 03:35:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-23 03:33:01 +0100 <jackdk> Reminds me of Dhall
2026-01-23 03:24:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-23 03:19:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-23 03:13:51 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-01-23 03:11:43 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-01-23 03:10:07 +0100 <Leary> chromoblob: Write all your co/inductive co/data types in greatest/least-fixed-point form, and all your logic in folds. It's not even as bad as it sounds!
2026-01-23 03:08:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-23 03:01:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-23 02:54:36 +0100Inline(~User@2001-4dd7-bc56-0-bf4e-84aa-8c9c-590c.ipv6dyn.netcologne.de) Inline
2026-01-23 02:50:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-23 02:46:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-23 02:45:34 +0100omidmash3omidmash
2026-01-23 02:45:34 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 246 seconds)
2026-01-23 02:43:44 +0100omidmash3(~omidmash@user/omidmash) omidmash
2026-01-23 02:42:24 +0100Inline(~User@2001-4dd7-bc56-0-fdb7-c703-fc72-e0a.ipv6dyn.netcologne.de) (Ping timeout: 252 seconds)
2026-01-23 02:39:37 +0100Square2(~Square@user/square) (Ping timeout: 264 seconds)
2026-01-23 02:35:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-23 02:31:59 +0100Zemy_(~Zemy@2600:100c:b0ab:ed8b:9876:2aff:fe33:1a1d) (Ping timeout: 250 seconds)
2026-01-23 02:30:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-23 02:30:02 +0100Zemy(~Zemy@72.178.108.235)
2026-01-23 02:21:54 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2026-01-23 02:19:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-23 02:19:41 +0100Pozyomka(~pyon@user/pyon) pyon
2026-01-23 02:17:50 +0100Pozyomka_(~pyon@user/pyon) (Ping timeout: 245 seconds)
2026-01-23 02:15:37 +0100xff0x(~xff0x@2405:6580:b080:900:52f9:378c:6eea:47d5) (Ping timeout: 265 seconds)
2026-01-23 02:14:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-23 02:13:14 +0100 <geekosaur> sounds to me like someone's been tippling on physics 🙂
2026-01-23 02:11:35 +0100 <systemfault> Yeah... that said, I don't know what a tiplerian omega point simulation is...
2026-01-23 02:10:53 +0100 <EvanR> this is what it's like in the tiplerian omega point simulation where everyone already knows everything anyone could talk about
2026-01-23 02:09:57 +0100 <EvanR> clearly systemfault is answering in such a way intentionally to highlight the irony
2026-01-23 02:08:58 +0100 <EvanR> lol
2026-01-23 02:08:40 +0100 <jackdk> I think probie is asking rhetorically, to provide an analogous question/answer pair to chromoblob/EvanR.
2026-01-23 02:07:45 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-23 02:05:55 +0100 <systemfault> for loops/while/etc...
2026-01-23 02:03:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-23 02:03:37 +0100Zemy(~Zemy@syn-192-154-181-091.biz.spectrum.com) (Ping timeout: 264 seconds)
2026-01-23 02:01:45 +0100Zemy_(~Zemy@2600:100c:b0ab:ed8b:9876:2aff:fe33:1a1d)
2026-01-23 01:58:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-23 01:56:13 +0100Square3(~Square4@user/square) (Ping timeout: 246 seconds)
2026-01-23 01:55:54 +0100Zemy_(~Zemy@2600:100c:b0ab:ed8b:c474:c7ff:febb:8ed3) (Ping timeout: 260 seconds)
2026-01-23 01:51:32 +0100Zemy(~Zemy@syn-192-154-181-091.biz.spectrum.com)
2026-01-23 01:48:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-23 01:43:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-23 01:33:42 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au)
2026-01-23 01:33:28 +0100trickard_(~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-23 01:32:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-01-23 01:28:13 +0100Zemy(~Zemy@72.178.108.235) (Ping timeout: 246 seconds)