Logs: liberachat/#haskell
| 2026-01-05 04:18:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 04:21:30 | → | gorignak joins (~gorignak@user/gorignak) |
| 2026-01-05 04:21:48 | → | fgarcia joins (~lei@user/fgarcia) |
| 2026-01-05 04:22:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 04:26:36 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-05 04:34:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 04:38:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-05 04:49:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 04:55:38 | → | sp1ff joins (~user@2601:1c2:4701:900::327f) |
| 2026-01-05 04:59:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-05 05:01:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 05:06:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-05 05:17:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 05:20:13 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-05 05:22:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-01-05 05:23:28 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-05 05:24:04 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-05 05:25:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-05 05:29:31 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-05 05:30:25 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-05 05:34:21 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-05 05:34:41 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-05 05:39:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 05:43:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 05:50:58 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-01-05 05:56:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 06:00:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 06:03:28 | → | michalz joins (~michalz@185.246.207.221) |
| 2026-01-05 06:12:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 06:16:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-05 06:21:36 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-05 06:30:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 06:36:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 06:36:57 | → | annamalai joins (~annamalai@157.32.116.118) |
| 2026-01-05 06:43:41 | → | AlexZenon joins (~alzenon@178.34.150.138) |
| 2026-01-05 06:51:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-05 07:02:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 07:07:02 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-05 07:07:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-05 07:12:15 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-01-05 07:20:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 07:22:03 | → | CloneOfNone joins (~CloneOfNo@user/CloneOfNone) |
| 2026-01-05 07:22:07 | × | CloneOfNone_ quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 240 seconds) |
| 2026-01-05 07:22:55 | × | annamalai quits (~annamalai@157.32.116.118) (Ping timeout: 240 seconds) |
| 2026-01-05 07:25:02 | trickard_ | is now known as trickard |
| 2026-01-05 07:26:36 | → | annamalai joins (~annamalai@157.32.116.118) |
| 2026-01-05 07:27:16 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2026-01-05 07:29:11 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-05 07:31:31 | × | annamalai quits (~annamalai@157.32.116.118) (Ping timeout: 264 seconds) |
| 2026-01-05 07:36:32 | → | annamalai joins (~annamalai@157.32.133.19) |
| 2026-01-05 07:43:04 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-05 07:44:02 | × | synchrom1 quits (~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da) (Read error: Connection reset by peer) |
| 2026-01-05 07:44:30 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da) |
| 2026-01-05 07:46:26 | <haskellbridge> | <Liamzee> this is really interesting as an intellectual exercise |
| 2026-01-05 07:48:54 | <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 07:49:37 | <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 07:56:35 | → | chele joins (~chele@user/chele) |
| 2026-01-05 08:02:48 | × | annamalai quits (~annamalai@157.32.133.19) (Remote host closed the connection) |
| 2026-01-05 08:03:13 | → | annamalai joins (~annamalai@157.32.133.19) |
| 2026-01-05 08:05:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:ad7d:11db:9b25:5b85) |
| 2026-01-05 08:06:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 08:06:44 | → | wickedjargon joins (~user@64.114.24.74) |
| 2026-01-05 08:07:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 08:23:34 | × | tromp quits (~textual@2001:1c00:3487:1b00:ad7d:11db:9b25:5b85) (Ping timeout: 246 seconds) |
| 2026-01-05 08:28:32 | <merijn> | Liamzee: That sounds like you're just trying to reinvent Epigram but with AI :p |
| 2026-01-05 08:29:40 | → | kuribas joins (~user@2a02-1810-2825-6000-a122-c68a-b511-6946.ip6.access.telenet.be) |
| 2026-01-05 08:29:44 | × | tv quits (~tv@user/tv) (Ping timeout: 244 seconds) |
| 2026-01-05 08:36:23 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 2026-01-05 08:38:56 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 08:39:09 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 08:39:18 | <hc> | What's the stateless way to wish you all a happy new year? |
| 2026-01-05 08:41:57 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-01-05 08:42:30 | <Vq> | There are none, wishes are treated as to be effectful (even when they are not). |
| 2026-01-05 08:43:00 | → | tv joins (~tv@user/tv) |
| 2026-01-05 08:45:05 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-05 08:48:40 | <gentauro> | hc: you are "broadcasting" hereby you are performing multiple effects ;) |
| 2026-01-05 08:51:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 08:53:24 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-01-05 08:55:56 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-01-05 08:59:21 | <hc> | Vq: haha :) |
| 2026-01-05 09:07:16 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-05 09:12:30 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 09:12:43 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 09:15:04 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-05 09:16:03 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-05 09:27:40 | carbolymer_ | is now known as carbolymer |
| 2026-01-05 09:28:46 | trickard_ | is now known as trickard |
| 2026-01-05 09:44:37 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 09:44:51 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 09:50:04 | → | acidjnk joins (~acidjnk@p200300d6e7171955d8ad2266737cd07c.dip0.t-ipconnect.de) |
| 2026-01-05 09:51:56 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 2026-01-05 09:56:15 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-05 10:22:33 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-01-05 10:26:56 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Ping timeout: 256 seconds) |
| 2026-01-05 10:34:14 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-05 10:35:46 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2026-01-05 10:36:58 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-05 10:38:10 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-01-05 10:38:14 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2026-01-05 10:38:59 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.