Logs: liberachat/#haskell
| 2025-10-04 02:50:55 | fgarcia | is now known as fgidim |
| 2025-10-04 02:57:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 03:01:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 03:07:33 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-10-04 03:08:41 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-04 03:10:01 | × | synchromesh quits (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer) |
| 2025-10-04 03:11:15 | → | synchromesh joins (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) |
| 2025-10-04 03:12:10 | → | aforemny_ joins (~aforemny@2001:9e8:6cee:a700:bbdd:374e:be4f:5fb3) |
| 2025-10-04 03:12:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 03:13:01 | × | aforemny quits (~aforemny@i577B1257.versanet.de) (Ping timeout: 244 seconds) |
| 2025-10-04 03:13:42 | <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 03:14:06 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2025-10-04 03:14:14 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds) |
| 2025-10-04 03:19:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 03:30:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 03:36:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 03:46:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 03:51:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 03:59:25 | × | annamalai quits (~annamalai@157.32.116.36) (Ping timeout: 264 seconds) |
| 2025-10-04 04:01:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 04:06:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 04:09:11 | <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 04:11:49 | → | craunts79 joins (~craunts@136.158.7.194) |
| 2025-10-04 04:17:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 04:19:25 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 04:19:39 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 04:21:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 04:29:14 | × | gcvvcxvhf quits (~gcvvcxvhf@103.183.205.165) (Remote host closed the connection) |
| 2025-10-04 04:32:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 04:37:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-04 04:43:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 04:46:29 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-04 04:48:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 04:58:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 05:06:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 05:06:17 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-10-04 05:07:29 | → | eggplantade joins (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 05:07:47 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 05:08:07 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-10-04 05:08:23 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-04 05:16:09 | → | gcvvcxvhf joins (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) |
| 2025-10-04 05:16:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 05:21:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-04 05:23:11 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-04 05:23:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-04 05:23:48 | × | eggplantade quits (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Remote host closed the connection) |
| 2025-10-04 05:24:11 | → | eggplantade joins (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 05:29:50 | × | gcvvcxvhf quits (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Remote host closed the connection) |
| 2025-10-04 05:32:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 05:32:56 | × | acidsys quits (~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds) |
| 2025-10-04 05:33:09 | × | bionade24 quits (~quassel@server2.oscloud.info) (Ping timeout: 250 seconds) |
| 2025-10-04 05:33:47 | → | bionade24 joins (~quassel@server2.oscloud.info) |
| 2025-10-04 05:37:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 05:44:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 05:47:05 | → | gcvvcxvhf joins (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) |
| 2025-10-04 05:47:10 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-04 05:48:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 05:48:32 | × | gcvvcxvhf quits (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Read error: Connection reset by peer) |
| 2025-10-04 05:48:41 | → | califax joins (~califax@user/califx) |
| 2025-10-04 05:48:53 | → | gcvvcxvhf joins (~gcvvcxvhf@103.183.205.165) |
| 2025-10-04 05:53:04 | → | acidsys joins (~crameleon@openSUSE/member/crameleon) |
| 2025-10-04 05:54:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-04 05:59:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 06:02:41 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-04 06:04:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 06:04:11 | → | califax joins (~califax@user/califx) |
| 2025-10-04 06:08:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 06:13:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 06:24:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 06:28:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 06:35:55 | → | annamalai joins (~annamalai@157.33.207.211) |
| 2025-10-04 06:37:03 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-04 06:39:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 06:49:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 06:50:30 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-04 06:50:50 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-04 06:55:34 | → | Square joins (~Square@user/square) |
| 2025-10-04 06:55:57 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2025-10-04 07:00:05 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-04 07:00:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 07:00:45 | → | caconym74787 joins (~caconym@user/caconym) |
| 2025-10-04 07:01:09 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2025-10-04 07:04:10 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-04 07:05:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-04 07:08:51 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-04 07:10:13 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2025-10-04 07:11:33 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2025-10-04 07:12:15 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-10-04 07:12:37 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
| 2025-10-04 07:14:45 | → | tromp joins (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
| 2025-10-04 07:16:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 07:20:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 07:24:14 | × | semifunctor quits (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-04 07:24:14 | × | omnifunctor quits (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-04 07:32:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 07:37:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 07:45:37 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-04 07:46:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-04 07:50:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 07:51:40 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.