| 2025-11-14 00:03:17 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bc7b:aa72:1b3f:1eab) (Remote host closed the connection) |
| 2025-11-14 00:03:37 +0100 | deptype | (~deptype@2406:b400:3a:73c2:d595:4e97:33b5:4927) |
| 2025-11-14 00:04:13 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-14 00:04:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 00:08:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-14 00:09:49 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 2025-11-14 00:10:59 +0100 | mange | (~mange@user/mange) mange |
| 2025-11-14 00:12:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-14 00:14:41 +0100 | sindu | (~sindu@46.67.16.220.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-11-14 00:14:58 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c) (Ping timeout: 256 seconds) |
| 2025-11-14 00:16:18 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-14 00:16:40 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-14 00:17:11 +0100 | sindu | (~sindu@2.148.52.19.tmi.telenormobil.no) |
| 2025-11-14 00:18:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 00:19:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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:22:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c) |
| 2025-11-14 00:22:33 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-14 00:22:51 +0100 | deptype | (~deptype@2406:b400:3a:73c2:d595:4e97:33b5:4927) (Remote host closed the connection) |
| 2025-11-14 00:23:08 +0100 | deptype | (~deptype@2406:b400:3a:73c2:da7f:27b6:3903:8b8f) |
| 2025-11-14 00:24:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-11-14 00:24:19 +0100 | ljdarj1 | ljdarj |
| 2025-11-14 00:24:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 00:29:45 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-11-14 00:30:24 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-11-14 00:30:24 +0100 | ChanServ | +v haskellbridge |
| 2025-11-14 00:34:00 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-14 00:34:49 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-14 00:35:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 00:36:53 +0100 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-11-14 00:38:54 +0100 | bggd | (~bgg@2a01:e0a:819:1510:2f73:1c6d:ac1:52f7) (Quit: std::move) |
| 2025-11-14 00:38:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-11-14 00:40:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 00:42:25 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-14 00:42:53 +0100 | deptype | (~deptype@2406:b400:3a:73c2:da7f:27b6:3903:8b8f) (Remote host closed the connection) |
| 2025-11-14 00:43:29 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bb74:878e:87fe:72b5) |
| 2025-11-14 00:50:36 +0100 | catties | kitties |
| 2025-11-14 00:50:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 00:55:29 +0100 | sindu | (~sindu@2.148.52.19.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-11-14 00:57:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 01:00:35 +0100 | annamalai | (~annamalai@157.33.224.236) (Ping timeout: 256 seconds) |
| 2025-11-14 01:03:25 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bb74:878e:87fe:72b5) (Remote host closed the connection) |
| 2025-11-14 01:03:38 +0100 | deptype | (~deptype@2406:b400:3a:73c2:b60:8c10:d3ef:43c0) |
| 2025-11-14 01:05:54 +0100 | trickard_ | trickard |
| 2025-11-14 01:08:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 01:12:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-14 01:16:05 +0100 | saurcron | (uid575716@user/saurcron) saurcron |
| 2025-11-14 01:23:28 +0100 | deptype | (~deptype@2406:b400:3a:73c2:b60:8c10:d3ef:43c0) (Remote host closed the connection) |
| 2025-11-14 01:23:41 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6261:a427:7258:fcb4) |
| 2025-11-14 01:24:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 01:28:08 +0100 | bggd | (~bgg@2a01:e0a:819:1510:761:a174:4d6f:f8ab) |
| 2025-11-14 01:28:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 01:32:12 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-14 01:37:13 +0100 | acarrico1 | (~acarrico@rb-sip-237.greenmountainaccess.net) |
| 2025-11-14 01:39:07 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-11-14 01:39:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 01:41:33 +0100 | acarrico1 | (~acarrico@rb-sip-237.greenmountainaccess.net) (Ping timeout: 244 seconds) |
| 2025-11-14 01:43:30 +0100 | deptype | (~deptype@2406:b400:3a:73c2:6261:a427:7258:fcb4) (Remote host closed the connection) |
| 2025-11-14 01:44:06 +0100 | deptype | (~deptype@2406:b400:3a:73c2:d1ef:54e1:33d0:7e62) |
| 2025-11-14 01:44:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 01:46:26 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-14 01:49:54 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c) (Ping timeout: 256 seconds) |
| 2025-11-14 01:50:33 +0100 | acidjnk | (~acidjnk@p200300d6e71719864849111020082051.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-11-14 01:50:59 +0100 | kitties | Catty |
| 2025-11-14 01:52:09 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2025-11-14 01:53:04 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-14 01:54:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 01:55:57 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-0180-68e2-7394-b68d-da19.pool6.digikabel.hu) |
| 2025-11-14 01:56:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-14 01:59:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 02:03:32 +0100 | deptype | (~deptype@2406:b400:3a:73c2:d1ef:54e1:33d0:7e62) (Remote host closed the connection) |
| 2025-11-14 02:03:45 +0100 | deptype | (~deptype@2406:b400:3a:73c2:29fc:b984:2878:681b) |
| 2025-11-14 02:08:56 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 244 seconds) |
| 2025-11-14 02:09:35 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-14 02:10:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 02:14:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-14 02:15:28 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-14 02:15:57 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-14 02:16:13 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-14 02:23:04 +0100 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-14 02:25:06 +0100 | looking | (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Client Quit) |
| 2025-11-14 02:25:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 02:26:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 02:29:36 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
| 2025-11-14 02:31:04 +0100 | deptype | (~deptype@2406:b400:3a:73c2:29fc:b984:2878:681b) (Remote host closed the connection) |
| 2025-11-14 02:31:17 +0100 | deptype | (~deptype@2406:b400:3a:73c2:d817:93dd:2198:fe22) |
| 2025-11-14 02:32:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-11-14 02:32:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 02:35:26 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-14 02:41:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-14 02:42:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 02:43:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 02:48:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-14 02:53:24 +0100 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 4.7.1) |
| 2025-11-14 02:56:32 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-14 02:56:47 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-14 02:57:36 +0100 | otto_s | (~user@p5b044407.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-14 02:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 03:03:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-14 03:04:52 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-14 03:05:14 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-14 03:07:49 +0100 | otto_s | (~user@p4ff27f5d.dip0.t-ipconnect.de) |
| 2025-11-14 03:14:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 03:14:47 +0100 | Nachtgespenst | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2025-11-14 03:15:02 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-14 03:15:28 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) (Quit: myxos) |
| 2025-11-14 03:16:27 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 03:18:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 03:22:49 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-14 03:23:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-14 03:23:55 +0100 | <jackdk> | Maybe look up Alexis King's work on eff? |
| 2025-11-14 03:24:37 +0100 | <jreicher> | Yeah I did. That's one of the first introductions to it all I had. |
| 2025-11-14 03:24:55 +0100 | <jreicher> | But I couldn't find her spending much time on shift/reset. It was more about prompt/control and then prompt/control0 |
| 2025-11-14 03:29:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 03:34:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-14 03:34:29 +0100 | ubert1 | (~Thunderbi@178.165.175.248.wireless.dyn.drei.com) ubert |
| 2025-11-14 03:37:33 +0100 | ubert | (~Thunderbi@178.165.182.105.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2025-11-14 03:37:33 +0100 | ubert1 | ubert |
| 2025-11-14 03:41:28 +0100 | bggd | (~bgg@2a01:e0a:819:1510:761:a174:4d6f:f8ab) (Remote host closed the connection) |
| 2025-11-14 03:44:22 +0100 | <monochrom> | jreicher: My https://www.vex.net/~trebla/haskell/cont.xhtml#shift-reset (or the whole thing) |
| 2025-11-14 03:45:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 03:46:55 +0100 | myxos | (~myxos@2001:579:8380:f20:1406:c18d:98b3:27d1) myxokephale |
| 2025-11-14 03:50:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-11-14 03:50:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 03:51:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 03:51:59 +0100 | deptype_ | (~deptype@124.123.128.236) |
| 2025-11-14 03:52:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-14 03:53:23 +0100 | deptype__ | (~deptype@124.123.128.236) |
| 2025-11-14 03:55:08 +0100 | deptype | (~deptype@2406:b400:3a:73c2:d817:93dd:2198:fe22) (Ping timeout: 256 seconds) |
| 2025-11-14 03:55:13 +0100 | <jreicher> | OK, so the exercises you give there can be done in terms of shift/reset. In your experience is shift/reset "usually" enough for "most" situations? (I realise that's a vague question) |
| 2025-11-14 03:55:34 +0100 | <jreicher> | monochrom: ^ |
| 2025-11-14 03:55:35 +0100 | <monochrom> | Yes. |
| 2025-11-14 03:56:19 +0100 | <jreicher> | That's interesting. I couldn't tell for sure from the "theoretical" difference between static and dynamic, but it seemed to me it would be. |
| 2025-11-14 03:56:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2025-11-14 03:56:49 +0100 | deptype_ | (~deptype@124.123.128.236) (Ping timeout: 256 seconds) |
| 2025-11-14 03:59:03 +0100 | <monochrom> | I may be wrong in saying "lexically scoped". If you define "foo = shift ...", then it is foo's call sites that determines the corresponding reset. That is dynamic rather than static. |
| 2025-11-14 04:00:11 +0100 | <monochrom> | (In the same sense as: If you define "bar = x + 1", and if it is bar's call site that determines what x means, that is dynamic scoping.) |
| 2025-11-14 04:00:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 04:01:45 +0100 | <jreicher> | I think lexically scoped is correct. When shift captures the evaluation context it includes the reset, which is certainly a lexical scoping before anything else is done, and then the continuation is captured with that reset in exactly the same spot, which is effectively the same "spirit" as capture-avoiding substitution for beta-reduction, and so the lexical scoping is preserved. At least that's my take on it. |
| 2025-11-14 04:02:18 +0100 | <jreicher> | I meant to say "...and then the continuation is constructed..." |
| 2025-11-14 04:06:54 +0100 | annamalai | (~annamalai@157.32.194.69) annamalai |
| 2025-11-14 04:07:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 04:11:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 04:16:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-14 04:18:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 04:23:01 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-14 04:23:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 04:24:16 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-14 04:27:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 04:27:16 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-14 04:27:30 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-14 04:28:00 +0100 | td__ | (~td@i53870917.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-14 04:29:49 +0100 | td_ | (~td@i53870933.versanet.de) |
| 2025-11-14 04:31:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-14 04:42:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 04:47:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 04:56:48 +0100 | <jreicher> | monochrom: Oh wait. Are you saying shift/reset might be dynamic in the sense that shift can be substituted into the scope of a reset? |
| 2025-11-14 04:57:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 05:02:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-14 05:12:16 +0100 | <monochrom> | Yeah |
| 2025-11-14 05:13:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 05:14:24 +0100 | <jreicher> | Are you sure it can? There's a "shift v -> v" reduction rule, so if you had "\f shift f" and were reducing to a strong normal form, you'd get \f f, no? |
| 2025-11-14 05:15:12 +0100 | <jreicher> | Sorry that should asy reset instead of shift |
| 2025-11-14 05:15:53 +0100 | <jreicher> | I suspect if we dig into the semantics we'd find a barrier to the kind of substitution we're talking about |
| 2025-11-14 05:17:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 05:28:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 05:33:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 05:35:36 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-14 05:38:29 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 265 seconds) |
| 2025-11-14 05:44:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 05:51:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 05:56:28 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-14 05:59:07 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 06:01:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 06:04:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 265 seconds) |
| 2025-11-14 06:06:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 06:08:37 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-11-14 06:13:48 +0100 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
| 2025-11-14 06:13:56 +0100 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-11-14 06:17:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 06:21:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-14 06:26:54 +0100 | fired | (~la@173-255-196-82.ip.linodeusercontent.com) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2025-11-14 06:29:15 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-11-14 06:29:22 +0100 | <jreicher> | If I've understood the semantics given by the extended CEK machine in the "static vs dynamic" paper, the shift is evaluated outside the context of a reset before the kind of substitution we're talking about, because it's a call-by-value machine. |
| 2025-11-14 06:32:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 06:35:59 +0100 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-14 06:37:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 06:43:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 06:47:46 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-11-14 06:48:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 06:53:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 06:54:57 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-14 06:57:21 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-14 06:58:48 +0100 | craunts795335385 | (~craunts@175.176.18.204) |
| 2025-11-14 07:01:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-14 07:02:24 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-11-14 07:04:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 07:04:09 +0100 | trickard__ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-14 07:05:19 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-14 07:06:53 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-11-14 07:07:49 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-14 07:08:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 07:10:38 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 256 seconds) |
| 2025-11-14 07:13:07 +0100 | michalz | (~michalz@185.246.207.197) |
| 2025-11-14 07:19:12 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-14 07:19:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 07:20:09 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-14 07:21:08 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-14 07:23:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-14 07:28:46 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-14 07:29:22 +0100 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-14 07:30:37 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 264 seconds) |
| 2025-11-14 07:34:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 07:38:39 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-11-14 07:41:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 07:42:46 +0100 | jreicher | (~user@user/jreicher) (Quit: brb) |
| 2025-11-14 07:49:05 +0100 | trickard__ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-14 07:49:18 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-14 07:49:35 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-14 07:52:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 07:57:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-14 07:58:40 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-14 07:59:44 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-14 08:02:11 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-14 08:02:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 08:07:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 08:08:48 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-14 08:09:28 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-14 08:11:16 +0100 | craunts795335385 | (~craunts@175.176.18.204) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-14 08:18:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 08:22:24 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-14 08:22:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-14 08:26:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-14 08:26:42 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-14 08:28:49 +0100 | annamalai | (~annamalai@157.32.194.69) (Ping timeout: 264 seconds) |
| 2025-11-14 08:29:27 +0100 | jreicher | (~user@user/jreicher) (Quit: brb) |
| 2025-11-14 08:30:12 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-14 08:33:01 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-11-14 08:33:12 +0100 | sprout_ | sprout |
| 2025-11-14 08:33:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 08:34:57 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-14 08:38:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 08:47:16 +0100 | jreicher | (~user@user/jreicher) (Quit: brb) |
| 2025-11-14 08:47:58 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-14 08:48:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 08:48:54 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-11-14 08:50:42 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-14 08:53:07 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-0180-68e2-7394-b68d-da19.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-14 08:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-14 09:03:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-14 09:04:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-14 09:06:40 +0100 | vektor73 | (~vektor@2a02:b98:8a00:6b00:c51f:7bef:7501:f469) |