Newest at the top
| 2025-11-28 14:37:39 +0100 | trickard_ | trickard |
| 2025-11-28 14:29:53 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-11-28 14:27:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-28 14:22:36 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-28 14:19:07 +0100 | AlexZenon | (~alzenon@85.174.183.41) |
| 2025-11-28 14:16:26 +0100 | AlexNoo | (~AlexNoo@85.174.183.41) |
| 2025-11-28 14:05:38 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-28 14:05:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-28 13:58:13 +0100 | AlexNoo | (~AlexNoo@85.174.183.41) (Quit: Leaving) |
| 2025-11-28 13:58:04 +0100 | AlexZenon | (~alzenon@85.174.183.41) (Quit: ;-) |
| 2025-11-28 13:47:00 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 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) |