Newest at the top
2025-10-04 05:14:14 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds) |
2025-10-04 05:14:06 +0200 | lisbeths | (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 +0200 | aforemny | (~aforemny@i577B1257.versanet.de) (Ping timeout: 244 seconds) |
2025-10-04 05:12:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 05:12:10 +0200 | aforemny_ | (~aforemny@2001:9e8:6cee:a700:bbdd:374e:be4f:5fb3) aforemny |
2025-10-04 05:11:15 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) synchromesh |
2025-10-04 05:10:01 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer) |
2025-10-04 05:08:41 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-10-04 05:07:33 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
2025-10-04 05:01:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 04:57:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 04:50:55 +0200 | fgarcia | fgidim |
2025-10-04 04:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 04:45:46 +0200 | fgarcia | (~nu@user/fgarcia) fgarcia |
2025-10-04 04:44:10 +0200 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 248 seconds) |
2025-10-04 04:38:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 04:34:17 +0200 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) |
2025-10-04 04:29:49 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
2025-10-04 04:27:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-10-04 04:23:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 04:21:31 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-10-04 04:21:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2025-10-04 04:17:36 +0200 | glguy | ghoulguy |
2025-10-04 04:17:06 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
2025-10-04 04:12:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 04:07:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:59:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) |
2025-10-04 03:57:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:44:35 +0200 | trickard_ | trickard |
2025-10-04 03:41:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:36:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:36:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) (Ping timeout: 248 seconds) |
2025-10-04 03:34:31 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
2025-10-04 03:25:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:21:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:11:33 +0200 | yang_ | (~zero@user/zero) zero |
2025-10-04 03:11:27 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 03:11:13 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 03:10:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-04 03:09:20 +0200 | yin | (~zero@user/zero) (Ping timeout: 240 seconds) |
2025-10-04 03:05:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:03:22 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
2025-10-04 02:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 02:51:56 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 02:51:42 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 02:50:19 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |