Newest at the top
| 2025-11-28 13:42:36 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 13:42:22 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 13:30:38 +0100 | xff0x | (~xff0x@ai083123.d.east.v6connect.net) |
| 2025-11-28 13:28:05 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-11-28 13:26:49 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-28 13:19:07 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-11-28 13:17:06 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-28 13:16:41 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-28 13:08:02 +0100 | <[exa]> | tomsmeding: sounds good, thanks a lot! |
| 2025-11-28 12:57:19 +0100 | <tomsmeding> | [exa]: I have been recommended this thing at some point https://granule-project.github.io/papers/esop22-paper.pdf ; not quite what you're asking for, but perhaps still interesting |
| 2025-11-28 12:56:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-28 12:55:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) |
| 2025-11-28 12:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-28 12:45:00 +0100 | Catty | catties |
| 2025-11-28 12:41:03 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 12:40:50 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 12:32:47 +0100 | <merijn> | That's probably "read research papers" territory :) |
| 2025-11-28 12:32:35 +0100 | <merijn> | probably not |
| 2025-11-28 12:27:15 +0100 | <[exa]> | is there some canonical tutorial on implementing a linear-types-capable typesystem? Like there's THIH for typeclasses. |
| 2025-11-28 12:24:16 +0100 | fp | (~Thunderbi@130.233.70.215) fp |
| 2025-11-28 12:08:43 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 264 seconds) |
| 2025-11-28 12:06:12 +0100 | <__monty__> | That's OK, I don't mind Haskell maximalism : ) |
| 2025-11-28 12:02:23 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-28 11:51:05 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-28 11:50:51 +0100 | trickard_ | (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-28 11:48:10 +0100 | APic | (apic@apic.name) APic |
| 2025-11-28 11:46:07 +0100 | APic | (apic@apic.name) (Ping timeout: 255 seconds) |
| 2025-11-28 11:45:53 +0100 | qqe | (~qqq@185.54.22.255) |
| 2025-11-28 11:43:06 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-11-28 11:41:31 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-11-28 11:41:20 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2025-11-28 11:40:05 +0100 | <lucabtz> | no i just like the idea really, nothing existing in mind |
| 2025-11-28 11:34:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-28 11:29:37 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-28 11:26:03 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-28 11:25:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-28 11:25:12 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-11-28 11:23:34 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-11-28 11:22:31 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 250 seconds) |
| 2025-11-28 11:19:33 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-28 11:18:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-28 11:18:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-28 11:18:19 +0100 | gf3 | (~gf3@user/gf3) gf3 |
| 2025-11-28 11:17:59 +0100 | gf3 | (~gf3@user/gf3) (Quit: Ping timeout (120 seconds)) |
| 2025-11-28 11:17:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-28 11:17:49 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-28 11:16:34 +0100 | Vajb | (~Vajb@n6jrirf92qztswrjkg8-1.v6.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 2025-11-28 11:14:15 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2025-11-28 11:11:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-28 11:08:56 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |