2025/10/04

Newest at the top

2025-10-04 08:13:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 08:08:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 08:04:11 +0200califax(~califax@user/califx) califx
2025-10-04 08:04:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 08:02:41 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-04 07:59:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 07:54:52 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-04 07:53:04 +0200acidsys(~crameleon@openSUSE/member/crameleon) crameleon
2025-10-04 07:48:53 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165)
2025-10-04 07:48:41 +0200califax(~califax@user/califx) califx
2025-10-04 07:48:32 +0200gcvvcxvhf(~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Read error: Connection reset by peer)
2025-10-04 07:48:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 07:47:10 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-04 07:47:05 +0200gcvvcxvhf(~gcvvcxvhf@2409:40c0:1064:92d7:8000::)
2025-10-04 07:44:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 07:37:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 07:33:47 +0200bionade24(~quassel@server2.oscloud.info) bionade24
2025-10-04 07:33:09 +0200bionade24(~quassel@server2.oscloud.info) (Ping timeout: 250 seconds)
2025-10-04 07:32:56 +0200acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds)
2025-10-04 07:32:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 07:29:50 +0200gcvvcxvhf(~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Remote host closed the connection)
2025-10-04 07:24:11 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 07:23:48 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Remote host closed the connection)
2025-10-04 07:23:20 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-04 07:23:11 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-04 07:21:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-04 07:16:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 07:16:09 +0200gcvvcxvhf(~gcvvcxvhf@2409:40c0:1064:92d7:8000::)
2025-10-04 07:08:23 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-04 07:08:07 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2025-10-04 07:07:47 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 07:07:29 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) eggplantade
2025-10-04 07:06:17 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2025-10-04 07:06:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 06:58:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 06:48:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 06:46:29 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich
2025-10-04 06:43:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 06:37:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-04 06:32:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 06:29:14 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165) (Remote host closed the connection)
2025-10-04 06:21:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 06:19:39 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 06:19:25 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 06:17:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 06:11:49 +0200craunts79(~craunts@136.158.7.194)
2025-10-04 06:09:11 +0200 <jreicher> dcpagan: my understanding is the same as ski's. You can implement callCC with delimited continuations, but I'm fairly sure the converse is not true.
2025-10-04 06:06:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-04 06:01:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 05:59:25 +0200annamalai(~annamalai@157.32.116.36) (Ping timeout: 264 seconds)