Newest at the top
| 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 |
| 2026-01-05 06:22:49 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-01-05 06:20:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-05 06:17:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 06:06:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-05 06:01:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 05:59:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-05 05:55:38 +0100 | sp1ff | (~user@2601:1c2:4701:900::327f) sp1ff |
| 2026-01-05 05:49:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-05 05:38:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |