| 2025-10-04 00:01:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 00:05:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 00:07:46 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-10-04 00:09:08 +0000 | acidjnk | (~acidjnk@p200300d6e7171926fced4e6a2864912e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-10-04 00:09:08 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-10-04 00:16:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 00:21:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 00:32:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 00:33:59 +0000 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-04 00:39:14 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-04 00:39:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 00:48:08 +0000 | <dcpagan> | Does [Oleg Kiselyov](https://okmij.org/ftp/) have a GitHub? |
| 2025-10-04 00:50:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 00:51:42 +0000 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 00:51:56 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 00:54:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 01:03:22 +0000 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-10-04 01:05:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 01:09:20 +0000 | yin | (~zero@user/zero) (Ping timeout: 240 seconds) |
| 2025-10-04 01:10:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-04 01:11:13 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 01:11:27 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 01:11:33 +0000 | yang_ | (~zero@user/zero) zero |
| 2025-10-04 01:21:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 01:25:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 01:34:31 +0000 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-10-04 01:36:26 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) (Ping timeout: 248 seconds) |
| 2025-10-04 01:36:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 01:41:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 01:44:35 +0000 | trickard_ | trickard |
| 2025-10-04 01:52:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 01:57:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 01:59:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) |
| 2025-10-04 02:07:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 02:12:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 02:17:06 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-10-04 02:17:36 +0000 | glguy | ghoulguy |
| 2025-10-04 02:21:15 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-04 02:21:31 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-04 02:23:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 02:27:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-04 02:29:49 +0000 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-10-04 02:34:17 +0000 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) |
| 2025-10-04 02:38:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 02:44:10 +0000 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 248 seconds) |
| 2025-10-04 02:45:46 +0000 | fgarcia | (~nu@user/fgarcia) fgarcia |
| 2025-10-04 02:46:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 02:50:55 +0000 | fgarcia | fgidim |
| 2025-10-04 02:57:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 03:01:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 03:07:33 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-10-04 03:08:41 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-04 03:10:01 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer) |
| 2025-10-04 03:11:15 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) synchromesh |
| 2025-10-04 03:12:10 +0000 | aforemny_ | (~aforemny@2001:9e8:6cee:a700:bbdd:374e:be4f:5fb3) aforemny |
| 2025-10-04 03:12:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 03:13:01 +0000 | aforemny | (~aforemny@i577B1257.versanet.de) (Ping timeout: 244 seconds) |
| 2025-10-04 03:13:42 +0000 | <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 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-10-04 03:14:14 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds) |
| 2025-10-04 03:19:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 03:30:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 03:36:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 03:46:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 03:51:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 03:59:25 +0000 | annamalai | (~annamalai@157.32.116.36) (Ping timeout: 264 seconds) |
| 2025-10-04 04:01:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 04:06:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 04:09:11 +0000 | <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 +0000 | craunts79 | (~craunts@136.158.7.194) |
| 2025-10-04 04:17:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 04:19:25 +0000 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 04:19:39 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 04:21:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 04:29:14 +0000 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) (Remote host closed the connection) |
| 2025-10-04 04:32:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 04:37:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-04 04:43:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 04:46:29 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-10-04 04:48:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 04:58:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 05:06:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 05:06:17 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2025-10-04 05:07:29 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) eggplantade |
| 2025-10-04 05:07:47 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 05:08:07 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-10-04 05:08:23 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-04 05:16:09 +0000 | gcvvcxvhf | (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) |
| 2025-10-04 05:16:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 05:21:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-04 05:23:11 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-04 05:23:20 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-04 05:23:48 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Remote host closed the connection) |
| 2025-10-04 05:24:11 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 05:29:50 +0000 | gcvvcxvhf | (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Remote host closed the connection) |
| 2025-10-04 05:32:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 05:32:56 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds) |
| 2025-10-04 05:33:09 +0000 | bionade24 | (~quassel@server2.oscloud.info) (Ping timeout: 250 seconds) |
| 2025-10-04 05:33:47 +0000 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2025-10-04 05:37:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 05:44:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 05:47:05 +0000 | gcvvcxvhf | (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) |
| 2025-10-04 05:47:10 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-04 05:48:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 05:48:32 +0000 | gcvvcxvhf | (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Read error: Connection reset by peer) |
| 2025-10-04 05:48:41 +0000 | califax | (~califax@user/califx) califx |
| 2025-10-04 05:48:53 +0000 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) |
| 2025-10-04 05:53:04 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2025-10-04 05:54:52 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-04 05:59:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 06:02:41 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-04 06:04:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 06:04:11 +0000 | califax | (~califax@user/califx) califx |
| 2025-10-04 06:08:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 06:13:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 06:24:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 06:28:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 06:35:55 +0000 | annamalai | (~annamalai@157.33.207.211) annamalai |
| 2025-10-04 06:37:03 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-04 06:39:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 06:49:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 06:50:30 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-04 06:50:50 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-04 06:55:34 +0000 | Square | (~Square@user/square) Square |
| 2025-10-04 06:55:57 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2025-10-04 07:00:05 +0000 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-04 07:00:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 07:00:45 +0000 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-10-04 07:01:09 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-10-04 07:04:10 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-04 07:05:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-04 07:08:51 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-04 07:10:13 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2025-10-04 07:11:33 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2025-10-04 07:12:15 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-10-04 07:12:37 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
| 2025-10-04 07:14:45 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
| 2025-10-04 07:16:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 07:20:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 07:24:14 +0000 | semifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-04 07:24:14 +0000 | omnifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-04 07:32:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 07:37:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 07:45:37 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-04 07:46:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 07:50:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 07:51:40 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 07:51:53 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 07:53:04 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-04 07:56:44 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-10-04 07:56:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-10-04 07:57:21 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-04 07:59:43 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-10-04 08:01:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 08:02:18 +0000 | <bwe> | Parsing comma separated list with parentheses carrying another comma separated list, false-positive edge-case: comma as decimal separator: https://paste.tomsmeding.com/6fFqE1kR -- how to make the second doctest pass? I am afraid, I need to move away from fold as it sees only a single character :(. Which approach does your intuition tells you fits this case? |
| 2025-10-04 08:04:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 256 seconds) |
| 2025-10-04 08:04:49 +0000 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) (Ping timeout: 250 seconds) |
| 2025-10-04 08:05:01 +0000 | gcvvcxvhf | (~gcvvcxvhf@152.58.42.143) |
| 2025-10-04 08:05:44 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.7.1) |
| 2025-10-04 08:06:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 08:12:01 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-04 08:13:13 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-04 08:17:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 08:17:15 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 08:19:34 +0000 | acidjnk | (~acidjnk@p200300d6e7171959ac9a50397945f9ef.dip0.t-ipconnect.de) acidjnk |
| 2025-10-04 08:23:12 +0000 | gcvvcxvhf | (~gcvvcxvhf@152.58.42.143) (Remote host closed the connection) |
| 2025-10-04 08:24:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 08:27:07 +0000 | killy | (~killy@193.142.201.125) |
| 2025-10-04 08:27:58 +0000 | <Leary> | bwe: Parser combinators? |
| 2025-10-04 08:30:25 +0000 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) |
| 2025-10-04 08:31:23 +0000 | trickard_ | trickard |
| 2025-10-04 08:33:41 +0000 | Inline | (~Inline@2a02:8071:57a1:1260:a43a:5dc1:57c7:b6ca) Inline |
| 2025-10-04 08:33:57 +0000 | Inline | (~Inline@2a02:8071:57a1:1260:a43a:5dc1:57c7:b6ca) (Remote host closed the connection) |
| 2025-10-04 08:34:34 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 08:35:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 08:39:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 08:45:14 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds) |
| 2025-10-04 08:47:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 08:48:34 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-10-04 08:49:04 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-04 08:49:20 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 240 seconds) |
| 2025-10-04 08:50:06 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-04 08:50:36 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 08:50:39 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-04 08:51:33 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 08:51:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 08:52:32 +0000 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-10-04 08:52:56 +0000 | killy | (~killy@193.142.201.125) (Ping timeout: 240 seconds) |
| 2025-10-04 08:53:25 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 08:54:00 +0000 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2025-10-04 08:54:14 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-10-04 08:55:05 +0000 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-10-04 08:56:36 +0000 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 08:56:49 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 08:57:27 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 09:00:14 +0000 | n0den1te | (~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) n0den1te |
| 2025-10-04 09:01:36 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-04 09:02:21 +0000 | n0den1te | (~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) (Client Quit) |
| 2025-10-04 09:02:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 09:03:00 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-04 09:03:18 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-04 09:04:24 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
| 2025-10-04 09:05:48 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-04 09:07:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-04 09:14:52 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-04 09:15:41 +0000 | AlexNoo_ | (~AlexNoo@85.174.181.143) |
| 2025-10-04 09:16:47 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 09:18:01 +0000 | AlexZenon | (~alzenon@85.174.181.199) (Ping timeout: 264 seconds) |
| 2025-10-04 09:18:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 09:19:20 +0000 | AlexNoo | (~AlexNoo@85.174.181.199) (Ping timeout: 244 seconds) |
| 2025-10-04 09:21:55 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds) |
| 2025-10-04 09:22:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-10-04 09:26:07 +0000 | AlexZenon | (~alzenon@85.174.181.143) |
| 2025-10-04 09:26:33 +0000 | trickard_ | trickard |
| 2025-10-04 09:27:10 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-04 09:29:05 +0000 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) () |
| 2025-10-04 09:29:19 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 2025-10-04 09:30:37 +0000 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 264 seconds) |
| 2025-10-04 09:32:45 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-04 09:33:17 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 09:33:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 09:34:04 +0000 | img | (~img@user/img) img |
| 2025-10-04 09:37:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 09:37:56 +0000 | <tomsmeding> | yeah, either parser combinators, or iterative parsing: first recognise all numbers, then iteratively (if nesting is allowed) recognise all parenthesised blocks, then split on commas |
| 2025-10-04 09:38:28 +0000 | <tomsmeding> | the iterative parsing approach feels simpler because it's more low-tech but it's also quite fragile with changes to the grammar, and it only works here because this grammar is simple enough |
| 2025-10-04 09:38:53 +0000 | <tomsmeding> | you can also hand-code a state machine with your fold |
| 2025-10-04 09:39:12 +0000 | <tomsmeding> | you already have a little state machine with the parenOpen state; you can have a separate boolean for "currently inside a number" |
| 2025-10-04 09:39:23 +0000 | <tomsmeding> | but at that point, either formulate it really as a state machine, or use parser combinators |
| 2025-10-04 09:39:36 +0000 | <tomsmeding> | bwe: ^ |
| 2025-10-04 09:42:54 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-10-04 09:43:16 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-10-04 09:43:48 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:79f0:9089:b3a0:c5ae) internatetional |
| 2025-10-04 09:48:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 09:50:45 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-10-04 09:51:01 +0000 | ystael_ | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-10-04 09:54:02 +0000 | <jreicher> | parenOpen is state even if the evaluation order is not defined? |
| 2025-10-04 09:55:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-04 09:57:44 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-04 10:01:45 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-10-04 10:01:54 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-04 10:06:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 10:07:47 +0000 | internatetional_ | (~nate@2404:c0:2140::1be:7443) internatetional |
| 2025-10-04 10:08:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-04 10:09:36 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:79f0:9089:b3a0:c5ae) (Ping timeout: 256 seconds) |
| 2025-10-04 10:09:51 +0000 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 10:10:04 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 10:10:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-04 10:11:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 10:12:13 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-04 10:15:12 +0000 | internatetional_ | (~nate@2404:c0:2140::1be:7443) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2025-10-04 10:21:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 10:21:55 +0000 | AlexNoo_ | AlexNoo |
| 2025-10-04 10:26:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 10:37:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 10:37:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 256 seconds) |
| 2025-10-04 10:40:42 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-04 10:42:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 10:42:59 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 10:46:45 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
| 2025-10-04 10:47:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds) |
| 2025-10-04 10:49:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 10:51:41 +0000 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-04 10:53:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-04 11:00:04 +0000 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-04 11:00:14 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-04 11:01:06 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 11:02:14 +0000 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-10-04 11:04:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 11:05:44 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
| 2025-10-04 11:07:12 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 11:07:35 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 11:08:12 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 11:08:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 11:09:15 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 11:10:29 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 11:11:46 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 11:12:40 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 11:13:32 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 11:15:01 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2025-10-04 11:16:26 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-04 11:17:40 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 11:20:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 11:22:18 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds) |
| 2025-10-04 11:22:26 +0000 | Square | (~Square@user/square) Square |
| 2025-10-04 11:24:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-04 11:26:05 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer) |
| 2025-10-04 11:27:21 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) synchromesh |
| 2025-10-04 11:30:01 +0000 | trickard_ | trickard |
| 2025-10-04 11:33:51 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-04 11:34:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-10-04 11:35:11 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-04 11:35:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 11:35:42 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 11:41:10 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 245 seconds) |
| 2025-10-04 11:42:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 11:45:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2025-10-04 11:45:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-04 11:50:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 11:53:12 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 11:53:19 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 11:53:45 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 11:54:21 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 11:54:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 11:54:48 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-04 11:55:07 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 11:55:16 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-04 11:59:28 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 255 seconds) |
| 2025-10-04 12:04:30 +0000 | too-many-men | (~too-many-@193.203.147.130) |
| 2025-10-04 12:05:10 +0000 | too-many-men | (~too-many-@193.203.147.130) (Quit: Leaving.) |
| 2025-10-04 12:05:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 12:08:20 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2025-10-04 12:08:54 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-04 12:09:30 +0000 | n0den1te | (~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) n0den1te |
| 2025-10-04 12:09:39 +0000 | acidjnk | (~acidjnk@p200300d6e7171959ac9a50397945f9ef.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-04 12:09:42 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 12:09:51 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
| 2025-10-04 12:10:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 12:11:04 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 12:12:35 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 12:14:44 +0000 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
| 2025-10-04 12:18:04 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
| 2025-10-04 12:18:24 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-04 12:19:41 +0000 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Ping timeout: 250 seconds) |
| 2025-10-04 12:20:14 +0000 | ds7832 | (~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Konversation terminated!) |
| 2025-10-04 12:20:19 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-04 12:20:20 +0000 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
| 2025-10-04 12:20:55 +0000 | <Guest83> | Beginner to Haskelll have experience in java |
| 2025-10-04 12:21:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 12:21:13 +0000 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-10-04 12:21:21 +0000 | <Guest83> | Tell me books for beginners |
| 2025-10-04 12:22:02 +0000 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-10-04 12:23:45 +0000 | morj | (~morj@user/morj) morj |
| 2025-10-04 12:24:39 +0000 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit) |
| 2025-10-04 12:26:11 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 12:26:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 12:26:31 +0000 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
| 2025-10-04 12:26:49 +0000 | <Guest83> | Tell me books for beginners |
| 2025-10-04 12:26:57 +0000 | <Guest83> | Have experience in java |
| 2025-10-04 12:27:07 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:2d5d:7f55:c7c2:f488) youngfrog |
| 2025-10-04 12:27:55 +0000 | bgg | (~bgg@2a01:e0a:819:1510:f5f:25a0:c9dd:62d3) (Remote host closed the connection) |
| 2025-10-04 12:28:56 +0000 | <morj> | Guest83: https://learnyouahaskell.com/ |
| 2025-10-04 12:29:35 +0000 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit) |
| 2025-10-04 12:30:01 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 12:30:20 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 12:30:39 +0000 | <int-e> | morj: have you tried that link recently? |
| 2025-10-04 12:31:32 +0000 | <morj> | Just tried it, a lot of php errors on top |
| 2025-10-04 12:31:42 +0000 | <morj> | Oh damn, and no styles in the content |
| 2025-10-04 12:31:45 +0000 | <morj> | What happened? |
| 2025-10-04 12:32:01 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 12:32:06 +0000 | <int-e> | There's a mirror: https://learnyouahaskell.github.io/ |
| 2025-10-04 12:32:19 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 12:32:20 +0000 | <yushyin> | now I have closed the website I wanted to share with them for a second time because they left |
| 2025-10-04 12:33:17 +0000 | <morj> | What did you want to share? |
| 2025-10-04 12:33:20 +0000 | <int-e> | morj: presumably the author hosted it and is no longer interested nor contractually obligated to maintain it. |
| 2025-10-04 12:33:23 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 12:33:36 +0000 | <int-e> | @where lyah |
| 2025-10-04 12:33:36 +0000 | <lambdabot> | http://www.learnyouahaskell.com/ or the slightly updated fork https://learnyouahaskell.github.io/ |
| 2025-10-04 12:34:02 +0000 | <morj> | I picked lyah since they were a java programmer, and lyah I find was a good way to learn functional thinking |
| 2025-10-04 12:34:07 +0000 | <yushyin> | morj: https://www.extrema.is/articles/haskell-books this one |
| 2025-10-04 12:34:15 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 12:35:05 +0000 | <n0den1te> | IIRC, there was a fork of RWH updated to the latest GHC APIs? Anyone have that link handy? |
| 2025-10-04 12:35:17 +0000 | Guest20 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
| 2025-10-04 12:35:20 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 12:36:40 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-04 12:36:41 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 12:36:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 12:37:23 +0000 | Guest20 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit) |
| 2025-10-04 12:37:32 +0000 | <n0den1te> | yushyin: thanks, I found the unofficial updated RWH URL from your link: https://github.com/tssm/up-to-date-real-world-haskell |
| 2025-10-04 12:37:43 +0000 | <yushyin> | :D nice |
| 2025-10-04 12:37:45 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 12:37:47 +0000 | <n0den1te> | from here: https://www.extrema.is/articles/haskell-books/real-world-haskell |
| 2025-10-04 12:37:49 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 265 seconds) |
| 2025-10-04 12:38:30 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 12:40:42 +0000 | bgg | (~bgg@2a01:e0a:819:1510:e757:c22f:6699:c589) |
| 2025-10-04 12:41:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-04 12:42:53 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-04 12:43:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-04 12:45:13 +0000 | <morj> | Are there any haskell communities in xmpp? |
| 2025-10-04 12:45:33 +0000 | <morj> | I'm pleasantly surprised by how relatively alive they are in irc and matrix, and I want to try xmpp too |
| 2025-10-04 12:47:34 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 12:49:15 +0000 | <n0den1te> | you may find something here: https://search.jabber.network - although I don't see much activity for haskell |
| 2025-10-04 12:49:23 +0000 | <n0den1te> | morj: ^ |
| 2025-10-04 12:49:40 +0000 | Guest71 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
| 2025-10-04 12:50:03 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 12:51:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 12:51:51 +0000 | xdminsy | (~xdminsy@117.147.71.54) (Ping timeout: 252 seconds) |
| 2025-10-04 12:53:16 +0000 | <morj> | Russian haskell community is 1 person larger than russian programming community :D |
| 2025-10-04 12:53:18 +0000 | <ski> | @where RWH |
| 2025-10-04 12:53:18 +0000 | <lambdabot> | http://www.realworldhaskell.org/blog/ http://book.realworldhaskell.org/read/ https://github.com/tssm/up-to-date-real-world-haskell |
| 2025-10-04 12:53:37 +0000 | Guest71 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit) |
| 2025-10-04 12:53:41 +0000 | <ski> | one russian Haskeller is not a programmer ? |
| 2025-10-04 12:54:08 +0000 | <morj> | They are too much of a purist I recon |
| 2025-10-04 12:54:20 +0000 | <ski> | i see |
| 2025-10-04 12:55:04 +0000 | <haskellbridge> | <Morj> morj: I wonder how do bridged replies look |
| 2025-10-04 12:55:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-10-04 12:55:46 +0000 | <haskellbridge> | <Morj> What about |
| 2025-10-04 12:55:46 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/RoPvuxFMmHoNyDhaaFVTRaCP/58ySn6InjSg (3 lines) |
| 2025-10-04 12:55:51 +0000 | <morj> | I see |
| 2025-10-04 12:56:32 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2025-10-04 12:56:34 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
| 2025-10-04 12:59:46 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-04 13:02:08 +0000 | morj | morj_away |
| 2025-10-04 13:02:49 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 13:04:57 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 13:06:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 13:08:09 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 250 seconds) |
| 2025-10-04 13:11:18 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-04 13:13:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 13:14:53 +0000 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-10-04 13:14:54 +0000 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2025-10-04 13:17:52 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-04 13:18:19 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 13:18:59 +0000 | desuua_ | (~desuua@user/desuua) desuua |
| 2025-10-04 13:19:02 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 13:19:35 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 13:20:20 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 13:21:09 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 13:21:40 +0000 | desuua_ | (~desuua@user/desuua) (Max SendQ exceeded) |
| 2025-10-04 13:22:15 +0000 | desuua_ | (~desuua@user/desuua) desuua |
| 2025-10-04 13:23:51 +0000 | desuua_ | (~desuua@user/desuua) (Max SendQ exceeded) |
| 2025-10-04 13:24:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 13:26:18 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 13:26:22 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 13:26:53 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 13:27:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds) |
| 2025-10-04 13:28:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-04 13:29:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-04 13:29:25 +0000 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 264 seconds) |
| 2025-10-04 13:30:56 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-04 13:33:13 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
| 2025-10-04 13:39:52 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 13:40:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 13:42:37 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-10-04 13:45:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 13:45:45 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 252 seconds) |
| 2025-10-04 13:47:07 +0000 | nebular | (~nebular@p50837030.dip0.t-ipconnect.de) |
| 2025-10-04 13:47:24 +0000 | nebular | (~nebular@p50837030.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-10-04 13:52:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 13:54:21 +0000 | semifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2025-10-04 13:55:21 +0000 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2025-10-04 13:56:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 13:58:12 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 14:03:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-04 14:03:29 +0000 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
| 2025-10-04 14:03:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-04 14:04:14 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
| 2025-10-04 14:05:31 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-04 14:07:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 14:12:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 14:13:31 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-10-04 14:14:51 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-04 14:15:12 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 14:15:47 +0000 | desuua_ | (~desuua@user/desuua) desuua |
| 2025-10-04 14:21:23 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 250 seconds) |
| 2025-10-04 14:21:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 14:26:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 14:33:45 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 14:37:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 14:39:09 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds) |
| 2025-10-04 14:41:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-04 14:45:21 +0000 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 14:45:35 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 14:50:46 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 14:52:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 14:55:28 +0000 | raym | (~ray@user/raym) (Quit: leaving) |
| 2025-10-04 14:56:19 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 255 seconds) |
| 2025-10-04 14:58:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 15:00:28 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-04 15:00:55 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
| 2025-10-04 15:03:10 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 15:03:12 +0000 | Guest61 | (~Guest83@2402:e280:3e06:7e9:80fd:e5bc:f93d:e6f2) |
| 2025-10-04 15:05:57 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 15:06:20 +0000 | Guest61 | (~Guest83@2402:e280:3e06:7e9:80fd:e5bc:f93d:e6f2) (Client Quit) |
| 2025-10-04 15:10:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 15:12:44 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-10-04 15:15:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 15:18:46 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 15:19:22 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-10-04 15:24:27 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 15:24:48 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-04 15:25:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 15:26:30 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2025-10-04 15:30:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 15:31:01 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-04 15:34:35 +0000 | dude123 | (~dismasr@user/dude123) dude123 |
| 2025-10-04 15:34:39 +0000 | <dude123> | hello |
| 2025-10-04 15:35:10 +0000 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Client Quit) |
| 2025-10-04 15:35:11 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) (Read error: Connection reset by peer) |
| 2025-10-04 15:36:05 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) synchromesh |
| 2025-10-04 15:37:51 +0000 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-04 15:41:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 15:45:25 +0000 | sprotte24 | (~sprotte24@p200300d16f1d7f00d8c5e13c6fd90781.dip0.t-ipconnect.de) |
| 2025-10-04 15:46:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 15:47:49 +0000 | dude123 | (~dismasr@user/dude123) (WeeChat 4.7.1) |
| 2025-10-04 15:48:14 +0000 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2025-10-04 15:48:57 +0000 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-04 15:49:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-04 15:50:21 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-04 15:50:35 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-04 15:51:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-10-04 15:51:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 15:53:23 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-04 15:53:32 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-04 15:54:49 +0000 | n0den1te | (~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) (Quit: Quitting...) |
| 2025-10-04 15:55:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-04 15:57:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-04 15:58:13 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-04 16:00:52 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Quit: Leaving) |
| 2025-10-04 16:03:31 +0000 | raym | (~ray@user/raym) raym |
| 2025-10-04 16:08:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 16:13:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-04 16:24:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 16:28:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 16:30:52 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-04 16:34:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-10-04 16:39:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 16:41:47 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-10-04 16:42:03 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-04 16:42:27 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-04 16:44:44 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-04 16:44:58 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 16:46:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-04 16:54:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 16:58:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 17:02:50 +0000 | <tomsmeding> | morj: irc doesn't have a concept of multiline messages at all |
| 2025-10-04 17:04:27 +0000 | <haskellbridge> | <Morj> Really? I had a hunch |
| 2025-10-04 17:04:52 +0000 | <haskellbridge> | <Morj> So you just don't send code snippets through irc at all? (= |
| 2025-10-04 17:05:05 +0000 | <int-e> | right, you use a pastebin |
| 2025-10-04 17:05:13 +0000 | <int-e> | @where paste |
| 2025-10-04 17:05:13 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2025-10-04 17:05:54 +0000 | <haskellbridge> | <Morj> If only erlang channel had all those nicities |
| 2025-10-04 17:10:17 +0000 | slycelote | (~slycelote@user/slycelote) slycelote |
| 2025-10-04 17:22:02 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-04 17:22:40 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-04 17:22:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-04 17:25:13 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-04 17:27:24 +0000 | <geekosaur> | also any long messages, including code snippets, from the matrix bridge go into a pastebin automatically… but it's not a very good one |
| 2025-10-04 17:27:34 +0000 | <geekosaur> | also media |
| 2025-10-04 17:35:30 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
| 2025-10-04 17:52:49 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 264 seconds) |
| 2025-10-04 17:54:11 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-04 17:55:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 18:00:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 18:03:16 +0000 | annamalai | (~annamalai@157.33.207.211) (Remote host closed the connection) |
| 2025-10-04 18:03:56 +0000 | superstar64 | (~superstar@2600:1700:57e0:e3c0::31) superstar64 |
| 2025-10-04 18:10:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 18:13:59 +0000 | annamalai | (~annamalai@2409:4042:20a:75ea::d7c:d8ad) annamalai |
| 2025-10-04 18:15:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 18:15:33 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-04 18:26:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 18:30:16 +0000 | akgreene | (~akgreene@fixed-187-189-181-196.totalplay.net) |
| 2025-10-04 18:31:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 18:32:17 +0000 | Razorrats | (~Razorrats@pool-68-134-85-215.bltmmd.fios.verizon.net) |
| 2025-10-04 18:33:24 +0000 | Razorrats | (~Razorrats@pool-68-134-85-215.bltmmd.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-04 18:33:38 +0000 | CecePhuongNguyen | (~CecePhuon@syn-071-076-201-204.res.spectrum.com) |
| 2025-10-04 18:33:58 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-04 18:34:10 +0000 | CecePhuongNguyen | (~CecePhuon@syn-071-076-201-204.res.spectrum.com) (Remote host closed the connection) |
| 2025-10-04 18:34:25 +0000 | Enubion | (~Enubion@38.13.166.133) |
| 2025-10-04 18:36:04 +0000 | akgreene | (~akgreene@fixed-187-189-181-196.totalplay.net) (Remote host closed the connection) |
| 2025-10-04 18:36:04 +0000 | Enubion | (~Enubion@38.13.166.133) (Remote host closed the connection) |
| 2025-10-04 18:36:08 +0000 | superstar64 | (~superstar@2600:1700:57e0:e3c0::31) (Quit: Leaving) |
| 2025-10-04 18:36:59 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-04 18:39:33 +0000 | Everything | (~Everythin@172.232.54.192) Everything |
| 2025-10-04 18:39:42 +0000 | superstar64 | (~superstar@2600:1700:57e0:e3c0::31) superstar64 |
| 2025-10-04 18:41:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 18:46:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 18:49:20 +0000 | qqe | (~qqq@185.54.22.40) (Quit: Lost terminal) |
| 2025-10-04 18:55:38 +0000 | acidjnk | (~acidjnk@p200300d6e7171975ac9a50397945f9ef.dip0.t-ipconnect.de) acidjnk |
| 2025-10-04 18:57:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 19:00:01 +0000 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-04 19:00:42 +0000 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-10-04 19:04:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-04 19:06:28 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-04 19:13:04 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-04 19:15:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 19:19:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-04 19:27:30 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) VictorHugenay |
| 2025-10-04 19:30:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 19:30:35 +0000 | bwani54 | (~bwani54@user/bwani54) bwani54 |
| 2025-10-04 19:35:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-10-04 19:35:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 19:41:17 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-04 19:41:23 +0000 | alteragent | (~alteragen@177.249.162.28) |
| 2025-10-04 19:41:28 +0000 | <alteragent> | [Network Announcement] AMERICA NEEDS YOU - Secure our borders, get a signing bonus, enter the federal workforce and subvert the swamp from within, no degree required. https://join.ice.gov |
| 2025-10-04 19:41:41 +0000 | ChanServ | +o geekosaur |
| 2025-10-04 19:41:50 +0000 | geekosaur | +b *!*@177.249.162.28 |
| 2025-10-04 19:41:50 +0000 | alteragent | geekosaur (alteragent) |
| 2025-10-04 19:42:31 +0000 | <sm> | seriously ??? |
| 2025-10-04 19:42:39 +0000 | <Lycurgus> | yeah, why here? |
| 2025-10-04 19:42:53 +0000 | <geekosaur> | also, fake network announcement |
| 2025-10-04 19:43:13 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2025-10-04 19:43:22 +0000 | <geekosaur> | (which also ignores that this isn't a US-only service) |
| 2025-10-04 19:43:31 +0000 | geekosaur | -o geekosaur |
| 2025-10-04 19:46:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 19:50:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-04 19:52:02 +0000 | ChanServ | +o litharge |
| 2025-10-04 19:52:02 +0000 | litharge | -bo *!*@177.249.162.28 litharge |
| 2025-10-04 19:54:39 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 2025-10-04 20:01:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 20:05:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 20:07:07 +0000 | <bwe> | tomsmeding: true, I just need to extend it by a state that tracks whether it's currently in a number |
| 2025-10-04 20:11:41 +0000 | <bwe> | Leary: I had parser combinators in mind, too; yet I had no first vague idea how to approach it with them. If you can relate a similar example to me, that would help. |
| 2025-10-04 20:12:35 +0000 | <bwe> | (I mean, I define a parser that matches and just need to combine them with <|> in the right precedence, is that it?) |
| 2025-10-04 20:13:14 +0000 | <bwe> | (and on a more basic note, how do I make a condition like "anything but not a digit" with Megaparsec?) |
| 2025-10-04 20:13:46 +0000 | <tomsmeding> | `satisfy isDigit`? |
| 2025-10-04 20:13:57 +0000 | <tomsmeding> | also `digit` probably |
| 2025-10-04 20:15:00 +0000 | <bwe> | so the negation would be `anySingleBut` ? |
| 2025-10-04 20:15:19 +0000 | <tomsmeding> | satisfy (not . isDigit)? |
| 2025-10-04 20:15:31 +0000 | <bwe> | of course :) |
| 2025-10-04 20:15:36 +0000 | <tomsmeding> | "anything but not a digit" is a double negation :p |
| 2025-10-04 20:15:55 +0000 | <tomsmeding> | so I guess you were asking for `satisfy (not . not . isDigit)` :p |
| 2025-10-04 20:16:08 +0000 | <sprout> | this is weirdly satisfying |
| 2025-10-04 20:16:42 +0000 | <bwe> | tomsmeding: I clarify, single negation, so `satisfy (not . isDigit)` is what I need |
| 2025-10-04 20:16:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 20:17:42 +0000 | <bwe> | is there some list of parser combinator tutorials you can recommend? |
| 2025-10-04 20:18:01 +0000 | <tomsmeding> | megaparsec has an official tutorial, if I remember correctly |
| 2025-10-04 20:18:15 +0000 | <tomsmeding> | I don't remember people saying it's bad, so it must be good, right? |
| 2025-10-04 20:18:45 +0000 | <bwe> | the thing I am not grasping is the nesting, so using some parser combinators once I am in the parenthesis, for example |
| 2025-10-04 20:19:59 +0000 | <bwe> | I need to give it another try -- the last time I tried it didn't work too well for me |
| 2025-10-04 20:20:28 +0000 | <zfnmxt> | bwe: You mind find these notes a bit gentler and easier to understand (there are corresponding exercises and an assignment on the repo too): https://diku-dk.github.io/ap-notes/chapter_3.html |
| 2025-10-04 20:21:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-10-04 20:21:30 +0000 | <tomsmeding> | zfnmxt: thank you, please hang around more and share all your good stuffs |
| 2025-10-04 20:22:08 +0000 | <zfnmxt> | bwe: Don't think the repo is directly linked there, but it's here: https://github.com/diku-dk/ap-e2025-pub (see week 3 and a3 in particular) |
| 2025-10-04 20:22:48 +0000 | <zfnmxt> | tomsmeding: Most of that good stuff is written by Troels, not me. But will do. |
| 2025-10-04 20:23:28 +0000 | <tomsmeding> | "your" as in, the good stuff that you know :p |
| 2025-10-04 20:26:03 +0000 | <bwe> | zfnmxt: Exciting. I will start with that. It's indeed much more gentle and easier to digest/follow. Less frustration points to be expected. |
| 2025-10-04 20:29:30 +0000 | <zfnmxt> | bwe: Have fun! |
| 2025-10-04 20:32:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 20:35:05 +0000 | <[exa]> | evenin' |
| 2025-10-04 20:38:37 +0000 | <[exa]> | bwe: if I get it right, you might like the `notFollowedBy` from parsecs for solving this case; since this is PEGs getting parsed you can use the lookahead pretty well for doing good. |
| 2025-10-04 20:38:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 20:41:15 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-04 20:43:28 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-04 20:43:58 +0000 | <bwe> | [exa]: Yes, this would fit my case, too. Reminds me of regular expressions. But weren't parser combinators better for leaving regular expressions? |
| 2025-10-04 20:44:00 +0000 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2025-10-04 20:44:29 +0000 | <[exa]> | wait wait how's lookahead looking like regular expressions? |
| 2025-10-04 20:44:43 +0000 | <[exa]> | (except for the cool new regular expressions that are actually not regular) |
| 2025-10-04 20:44:46 +0000 | sprout | 🍿 |
| 2025-10-04 20:45:27 +0000 | dfg | (~dfg@user/dfg) dfg |
| 2025-10-04 20:46:09 +0000 | <bwe> | zfnmxt: I have the feeling that composing parsers is just the nesting use case I have on hand :) -- but will see when I walk through the article. Thanks again for sharing. |
| 2025-10-04 20:46:37 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-04 20:46:40 +0000 | <monochrom> | I feel that most beginner uses of lookahead are boolean blindness brought to parsing. |
| 2025-10-04 20:47:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-04 20:47:59 +0000 | <monochrom> | Suppose your requirement is "there are 2 cases for the next character. If it's X, parse for foo; if it's Y, parse for bar". |
| 2025-10-04 20:48:28 +0000 | <monochrom> | You can easily code that up as simply "foo <|> bar" assuming that foo expects X at the beginning, similarly for Y. |
| 2025-10-04 20:49:05 +0000 | <bwe> | monochrom: actually, parser combinators are like a tree that is branching, thanks for inspiring this. |
| 2025-10-04 20:49:14 +0000 | <monochrom> | But no, beginners want to write "c <- lookahead; if c == 'X' then foo else if c == 'Y' then bar else error" because that's what they would write in C. |
| 2025-10-04 20:49:39 +0000 | <monochrom> | (And they would write like that in C because boolean blindness.) |
| 2025-10-04 20:50:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 20:51:52 +0000 | <EvanR> | this sort of parsing is well defined but can't be parallelized |
| 2025-10-04 20:52:38 +0000 | <bwe> | [exa]: I've learned about them at a time I learned regular expressions. And I learned to avoid them (do I remember correctly that they were mostly bad for performance?). So, being burnt like that, I feel hesitant to use them in parser combinators (a reason / alternative for me not to use regexes). |
| 2025-10-04 20:52:41 +0000 | <EvanR> | it seems like context free grammar could benefit from parallel |
| 2025-10-04 20:52:51 +0000 | <monochrom> | (Sapir-Worf applies here. 1970s languages forces boolean blindness on you. I reckon that it is unfair to blame beginners.) |
| 2025-10-04 20:53:39 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-10-04 20:53:48 +0000 | <EvanR> | actual regular expression based parsers can be very fast |
| 2025-10-04 20:53:50 +0000 | Everything | (~Everythin@172.232.54.192) (Quit: leaving) |
| 2025-10-04 20:53:52 +0000 | <monochrom> | Deeply recursive CFG may overwhelm your computer if you parallelize it :) |
| 2025-10-04 20:53:59 +0000 | <[exa]> | monochrom: well that use is a programming issue, they lookahead and then have to move manually :] |
| 2025-10-04 20:54:49 +0000 | <monochrom> | E.g., remember last time telling cabal-install to do unlimited parallel builds caused a lot of trouble (in the form of thrashing)? |
| 2025-10-04 20:55:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-04 20:55:28 +0000 | <EvanR> | first law of parallel programming, if you just do the task N times in parallel it probably hurts |
| 2025-10-04 20:55:59 +0000 | <[exa]> | bwe: yeah for regex the lookaheads are detrimental because they destroy the usual (fast) DFA/NFA-style processing. For general PEGs the lookaheads are the determining property that you can do quite easily that is not really allowed in actual context-free grammars. There are pretty fast PEG parsers where lookaheads are "essentially free" |
| 2025-10-04 20:56:12 +0000 | <[exa]> | (the packrat/pika parser family) |
| 2025-10-04 20:57:27 +0000 | <monochrom> | parsec and megaparsec are actually pretty good for PEG. Although independently conceived, both minimized backtracking, that's why. |
| 2025-10-04 20:57:50 +0000 | <[exa]> | kinda wondering how they implement the lookaheads |
| 2025-10-04 20:57:57 +0000 | [exa] | dives |
| 2025-10-04 20:58:09 +0000 | <monochrom> | (In the case of PEG, completely banned. In the case of *parsec, backtracking is opt-in, non-default.) |
| 2025-10-04 21:05:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 21:06:22 +0000 | [exa] | resurfaces |
| 2025-10-04 21:06:37 +0000 | <monochrom> | "returned from deep recursion" :) |
| 2025-10-04 21:07:34 +0000 | <[exa]> | ok megaparsec just backtracks, not as good as I hoped for but in the above case I guess it's valid (the lookahead ends quickly and prevents extra logic elsewhere) |
| 2025-10-04 21:08:20 +0000 | <monochrom> | Whenever I teach CFG, I show this comic to students: https://www.smbc-comics.com/comic/language |
| 2025-10-04 21:10:16 +0000 | <monochrom> | I haven't checked, but I guess that if your lookahead is bounded-length, then you still enjoy LL(k) efficiency. |
| 2025-10-04 21:10:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 21:11:52 +0000 | <monochrom> | Another way to say it is you have bounded backtracking or trial-and-error so it doesn't count as the bad kind of backtracking :) |
| 2025-10-04 21:13:36 +0000 | morj_away | (~morj@user/morj) (Quit: Konversation terminated!) |
| 2025-10-04 21:15:19 +0000 | <[exa]> | yeah but do you want to compile LL(k) manually to the state tables? :D |
| 2025-10-04 21:15:39 +0000 | <[exa]> | anyway yeah the lookahead here is very bounded |
| 2025-10-04 21:17:40 +0000 | <monochrom> | Yeah *parsec will do fine. |
| 2025-10-04 21:18:40 +0000 | <[exa]> | I'm bookmarking that comic for lisp reasons |
| 2025-10-04 21:18:49 +0000 | <monochrom> | haha |
| 2025-10-04 21:21:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 21:21:37 +0000 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-04 21:25:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 21:36:00 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-04 21:36:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 21:41:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-04 21:42:37 +0000 | desuua_ | (~desuua@user/desuua) (Quit: Leaving) |
| 2025-10-04 21:49:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
| 2025-10-04 21:51:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 21:55:54 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-04 21:56:22 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-04 21:57:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 22:07:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 22:08:46 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-04 22:12:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-04 22:22:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 22:25:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-04 22:29:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 22:33:25 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-04 22:34:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 22:35:35 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-04 22:38:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 22:47:02 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) (Quit: WeeChat 4.1.1) |
| 2025-10-04 22:50:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 22:54:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 22:55:22 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-04 22:57:27 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-10-04 23:04:49 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-04 23:05:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 23:06:44 +0000 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-04 23:09:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 23:14:00 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-10-04 23:14:49 +0000 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 250 seconds) |
| 2025-10-04 23:20:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 23:24:26 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-04 23:25:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-04 23:28:49 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-04 23:29:37 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-04 23:31:05 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-10-04 23:32:07 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-10-04 23:36:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 23:40:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-04 23:49:21 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-04 23:51:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-04 23:56:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |