Newest at the top
| 2026-01-05 11:39:12 +0100 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 11:38:59 +0100 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 11:38:14 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2026-01-05 11:38:10 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-05 11:36:58 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-05 11:35:46 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2026-01-05 11:34:14 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-05 11:26:56 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Ping timeout: 256 seconds) |
| 2026-01-05 11:22:33 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-01-05 10:56:15 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-05 10:51:56 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-05 10:50:04 +0100 | acidjnk | (~acidjnk@p200300d6e7171955d8ad2266737cd07c.dip0.t-ipconnect.de) acidjnk |
| 2026-01-05 10:44:51 +0100 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 10:44:37 +0100 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 10:28:46 +0100 | trickard_ | trickard |
| 2026-01-05 10:27:40 +0100 | carbolymer_ | carbolymer |
| 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) |