2025/10/04

Newest at the top

2025-10-04 05:14:14 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds)
2025-10-04 05:14:06 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-10-04 05:13:42 +0200 <ski> dcpagan : delimited continuations can be implemented using undelimited ones and *state*, so i'm pretty sure that just having access to `callCC' (as opposed to say using `Cont',`ContT' or `Codensity') does not allow you to do the same things as `reset' and `shift'. and, afaik, Oleg does not have a GitHub account
2025-10-04 05:13:01 +0200aforemny(~aforemny@i577B1257.versanet.de) (Ping timeout: 244 seconds)
2025-10-04 05:12:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 05:12:10 +0200aforemny_(~aforemny@2001:9e8:6cee:a700:bbdd:374e:be4f:5fb3) aforemny
2025-10-04 05:11:15 +0200synchromesh(~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) synchromesh
2025-10-04 05:10:01 +0200synchromesh(~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer)
2025-10-04 05:08:41 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-04 05:07:33 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 250 seconds)
2025-10-04 05:01:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 04:57:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 04:50:55 +0200fgarciafgidim
2025-10-04 04:46:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 04:45:46 +0200fgarcia(~nu@user/fgarcia) fgarcia
2025-10-04 04:44:10 +0200td_(~td@i5387093E.versanet.de) (Ping timeout: 248 seconds)
2025-10-04 04:38:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 04:34:17 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165)
2025-10-04 04:29:49 +0200OftenFaded(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-10-04 04:27:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 04:23:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 04:21:31 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-10-04 04:21:15 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-10-04 04:17:36 +0200glguyghoulguy
2025-10-04 04:17:06 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich
2025-10-04 04:12:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 04:07:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:59:39 +0200xff0x(~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a)
2025-10-04 03:57:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 03:52:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:44:35 +0200trickard_trickard
2025-10-04 03:41:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 03:36:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:36:26 +0200xff0x(~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) (Ping timeout: 248 seconds)
2025-10-04 03:34:31 +0200OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2025-10-04 03:25:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 03:21:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:11:33 +0200yang_(~zero@user/zero) zero
2025-10-04 03:11:27 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 03:11:13 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 03:10:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-04 03:09:20 +0200yin(~zero@user/zero) (Ping timeout: 240 seconds)
2025-10-04 03:05:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:03:22 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-10-04 02:54:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 02:51:56 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 02:51:42 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 02:50:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 02:48:08 +0200 <dcpagan> Does [Oleg Kiselyov](https://okmij.org/ftp/) have a GitHub?
2025-10-04 02:39:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)