2025/11/14

Newest at the top

2025-11-14 01:16:05 +0100saurcron(uid575716@user/saurcron) saurcron
2025-11-14 01:12:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-14 01:08:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-14 01:05:54 +0100trickard_trickard
2025-11-14 01:03:38 +0100deptype(~deptype@2406:b400:3a:73c2:b60:8c10:d3ef:43c0)
2025-11-14 01:03:25 +0100deptype(~deptype@2406:b400:3a:73c2:bb74:878e:87fe:72b5) (Remote host closed the connection)
2025-11-14 01:00:35 +0100annamalai(~annamalai@157.33.224.236) (Ping timeout: 256 seconds)
2025-11-14 00:57:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-14 00:55:29 +0100sindu(~sindu@2.148.52.19.tmi.telenormobil.no) (Ping timeout: 256 seconds)
2025-11-14 00:50:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-14 00:50:36 +0100cattieskitties
2025-11-14 00:43:29 +0100deptype(~deptype@2406:b400:3a:73c2:bb74:878e:87fe:72b5)
2025-11-14 00:42:53 +0100deptype(~deptype@2406:b400:3a:73c2:da7f:27b6:3903:8b8f) (Remote host closed the connection)
2025-11-14 00:42:25 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-11-14 00:40:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-14 00:38:54 +0100ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-11-14 00:38:54 +0100bggd(~bgg@2a01:e0a:819:1510:2f73:1c6d:ac1:52f7) (Quit: std::move)
2025-11-14 00:36:53 +0100juri_(~juri@implicitcad.org) juri_
2025-11-14 00:35:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-14 00:34:49 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-14 00:34:00 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-14 00:30:24 +0100ChanServ+v haskellbridge
2025-11-14 00:30:24 +0100haskellbridge(~hackager@96.28.224.214) hackager
2025-11-14 00:29:45 +0100haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2025-11-14 00:24:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-14 00:24:19 +0100ljdarj1ljdarj
2025-11-14 00:24:19 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds)
2025-11-14 00:23:08 +0100deptype(~deptype@2406:b400:3a:73c2:da7f:27b6:3903:8b8f)
2025-11-14 00:22:51 +0100deptype(~deptype@2406:b400:3a:73c2:d595:4e97:33b5:4927) (Remote host closed the connection)
2025-11-14 00:22:33 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-11-14 00:22:10 +0100xff0x(~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c)
2025-11-14 00:20:40 +0100 <jreicher> Does anyone have any practical experience, or know of a post that discusses it, for situations where shift/reset are adequate delimited continuation operators to use? The literature covers the situations where they're not enough, but I'm not sure there's much discussion about where they are?
2025-11-14 00:19:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-14 00:18:09 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-14 00:17:11 +0100sindu(~sindu@2.148.52.19.tmi.telenormobil.no)
2025-11-14 00:16:40 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-14 00:16:18 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-14 00:14:58 +0100xff0x(~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c) (Ping timeout: 256 seconds)
2025-11-14 00:14:41 +0100sindu(~sindu@46.67.16.220.tmi.telenormobil.no) (Ping timeout: 256 seconds)
2025-11-14 00:12:43 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-14 00:10:59 +0100mange(~mange@user/mange) mange
2025-11-14 00:09:49 +0100juri_(~juri@implicitcad.org) (Ping timeout: 246 seconds)
2025-11-14 00:08:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-14 00:04:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-14 00:04:13 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-11-14 00:03:37 +0100deptype(~deptype@2406:b400:3a:73c2:d595:4e97:33b5:4927)
2025-11-14 00:03:17 +0100deptype(~deptype@2406:b400:3a:73c2:bc7b:aa72:1b3f:1eab) (Remote host closed the connection)
2025-11-13 23:58:28 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343)
2025-11-13 23:55:04 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-13 23:53:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)