Newest at the top
| 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) |
| 2026-01-05 07:43:41 +0100 | AlexZenon | (~alzenon@178.34.150.138) |
| 2026-01-05 07:36:57 +0100 | annamalai | (~annamalai@157.32.116.118) annamalai |
| 2026-01-05 07:36:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 07:30:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 07:21:36 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-05 07:16:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-05 07:12:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 07:03:28 +0100 | michalz | (~michalz@185.246.207.221) |
| 2026-01-05 07:00:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 06:56:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 06:50:58 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-01-05 06:43:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 06:39:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 06:34:41 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-05 06:34:21 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-05 06:30:25 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-05 06:29:31 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-05 06:25:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-05 06:24:04 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-05 06:23:28 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |