Newest at the top
| 2025-06-25 10:15:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-25 10:14:04 +0200 | ft | (~ft@p3e9bc4ba.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-06-25 10:11:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-25 10:10:48 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-25 10:07:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-25 10:07:10 +0200 | shaeto | (~Shaeto@94.25.234.84) |
| 2025-06-25 10:07:06 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-06-25 10:06:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-25 10:06:10 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 2025-06-25 10:05:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-25 10:03:44 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-25 10:01:57 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-06-25 09:55:10 +0200 | <tomsmeding> | "A Monad Tutorial. Or: The Revelation of ContT in Programming" |
| 2025-06-25 09:49:39 +0200 | acidjnk | (~acidjnk@p200300d6e70b6633f9ef2c2f945967a1.dip0.t-ipconnect.de) acidjnk |
| 2025-06-25 09:44:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-25 09:41:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-25 09:34:47 +0200 | <[exa]> | dminuoso: yeah, that's the word that captures it best. revelation. |
| 2025-06-25 09:34:46 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-25 09:33:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-25 09:32:07 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-25 09:28:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-25 09:27:12 +0200 | Miroboru | (~myrvoll@188.113.108.92) Miroboru |
| 2025-06-25 09:26:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-25 09:25:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-25 09:25:06 +0200 | Miroboru_ | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 252 seconds) |
| 2025-06-25 09:14:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-25 09:14:05 +0200 | <dminuoso> | I finally understood delimited continuations recently, what a revelation. |
| 2025-06-25 09:13:33 +0200 | <dminuoso> | ContT: The programming monad. |
| 2025-06-25 09:11:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-25 09:11:30 +0200 | [exa] | tempted to write another monad tutorial |
| 2025-06-25 09:11:24 +0200 | [exa] | found a new way to explain ContT to beginners |
| 2025-06-25 09:09:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-25 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-25 09:00:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-25 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-25 08:55:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-25 08:44:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-25 08:44:21 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-25 08:43:20 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
| 2025-06-25 08:42:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-06-25 08:39:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-25 08:37:36 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 276 seconds) |
| 2025-06-25 08:35:28 +0200 | ljdarj1 | ljdarj |
| 2025-06-25 08:34:45 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-06-25 08:34:04 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-06-25 08:33:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
| 2025-06-25 08:33:10 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-25 08:32:58 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-06-25 08:28:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-25 08:28:08 +0200 | caubert | (~caubert@user/caubert) caubert |