Newest at the top
| 2026-01-05 10:16:03 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) Inline |
| 2026-01-05 10:15:04 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-05 10:12:43 +0100 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 10:12:30 +0100 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 10:07:16 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-05 09:59:21 +0100 | <hc> | Vq: haha :) |
| 2026-01-05 09:55:56 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-05 09:53:24 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-01-05 09:51:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 09:48:40 +0100 | <gentauro> | hc: you are "broadcasting" hereby you are performing multiple effects ;) |
| 2026-01-05 09:45:05 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-05 09:43:00 +0100 | tv | (~tv@user/tv) tv |
| 2026-01-05 09:42:30 +0100 | <Vq> | There are none, wishes are treated as to be effectful (even when they are not). |
| 2026-01-05 09:41:57 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-01-05 09:39:18 +0100 | <hc> | What's the stateless way to wish you all a happy new year? |
| 2026-01-05 09:39:09 +0100 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 09:38:56 +0100 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 09:36:23 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 2026-01-05 09:29:44 +0100 | tv | (~tv@user/tv) (Ping timeout: 244 seconds) |
| 2026-01-05 09:29:40 +0100 | kuribas | (~user@2a02-1810-2825-6000-a122-c68a-b511-6946.ip6.access.telenet.be) kuribas |
| 2026-01-05 09:28:32 +0100 | <merijn> | Liamzee: That sounds like you're just trying to reinvent Epigram but with AI :p |
| 2026-01-05 09:23:34 +0100 | tromp | (~textual@2001:1c00:3487:1b00:ad7d:11db:9b25:5b85) (Ping timeout: 246 seconds) |
| 2026-01-05 09:07:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 09:06:44 +0100 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2026-01-05 09:06:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 09:05:22 +0100 | tromp | (~textual@2001:1c00:3487:1b00:ad7d:11db:9b25:5b85) |
| 2026-01-05 09:03:13 +0100 | annamalai | (~annamalai@157.32.133.19) annamalai |
| 2026-01-05 09:02:48 +0100 | annamalai | (~annamalai@157.32.133.19) (Remote host closed the connection) |
| 2026-01-05 08:56:35 +0100 | chele | (~chele@user/chele) chele |
| 2026-01-05 08:49:37 +0100 | <haskellbridge> | <Liamzee> ironically it feels like a free monad interpreter is the only sane way to actually type it, because i don't want the AI generating arbitrary effects |
| 2026-01-05 08:48:54 +0100 | <haskellbridge> | <Liamzee> i'm currently trying to specify a program as a type, such that the type of this value can be generated by AI; the initial plan is to bootstrap itself, by creating a harness that can, given a spec file, be able to use AI to generate a program that satisfies the type&test constraints |
| 2026-01-05 08:46:26 +0100 | <haskellbridge> | <Liamzee> this is really interesting as an intellectual exercise |
| 2026-01-05 08:44:30 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da) synchromesh |
| 2026-01-05 08:44:02 +0100 | synchrom1 | (~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da) (Read error: Connection reset by peer) |
| 2026-01-05 08:43:04 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-05 08:36:32 +0100 | annamalai | (~annamalai@157.32.133.19) annamalai |
| 2026-01-05 08:31:31 +0100 | annamalai | (~annamalai@157.32.116.118) (Ping timeout: 264 seconds) |
| 2026-01-05 08:29:11 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-05 08:27:16 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2026-01-05 08:26:36 +0100 | annamalai | (~annamalai@157.32.116.118) annamalai |
| 2026-01-05 08:25:02 +0100 | trickard_ | trickard |
| 2026-01-05 08:22:55 +0100 | annamalai | (~annamalai@157.32.116.118) (Ping timeout: 240 seconds) |
| 2026-01-05 08:22:07 +0100 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 240 seconds) |
| 2026-01-05 08:22:03 +0100 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-01-05 08:20:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 08:12:15 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-05 08:07:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-05 08:07:02 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-05 08:02:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 07:51:37 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |