2025-10-04 00:00:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 00:01:28 +0200 | bgamari | (~bgamari@64.223.225.237) |
2025-10-04 00:02:17 +0200 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
2025-10-04 00:02:54 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-10-04 00:11:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 00:13:01 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-10-04 00:13:43 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
2025-10-04 00:15:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 00:17:13 +0200 | Square | (~Square@user/square) (Ping timeout: 250 seconds) |
2025-10-04 00:23:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
2025-10-04 00:26:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 00:27:37 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
2025-10-04 00:30:54 +0200 | Pixi__ | Pixi |
2025-10-04 00:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 00:36:08 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 00:36:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-10-04 00:38:15 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
2025-10-04 00:41:35 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-10-04 00:41:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 00:43:42 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 00:44:07 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 00:44:54 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
2025-10-04 00:45:04 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2025-10-04 00:46:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-10-04 00:52:31 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
2025-10-04 00:53:01 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-10-04 00:53:08 +0200 | Inline_ | Inline |
2025-10-04 00:57:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 01:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 01:04:27 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 01:07:49 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
2025-10-04 01:15:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 01:20:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 01:20:33 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
2025-10-04 01:21:38 +0200 | craunts79 | (~craunts@136.158.7.194) |
2025-10-04 01:29:52 +0200 | <dcpagan> | With regard to [Control.Monad.Trans.Cont.ContT](https://hackage-content.haskell.org/package/transformers-0.6.2.0/docs/Control-Monad-Trans-Cont.html), is there a difference between using callCC and using delimited continuations via reset and shift? |
2025-10-04 01:30:19 +0200 | <dcpagan> | Codensity does not have callCC. |
2025-10-04 01:30:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 01:32:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-10-04 01:34:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 01:46:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 01:46:27 +0200 | sprotte24 | (~sprotte24@p200300d16f128900a1bcd52eeb6ae479.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-10-04 01:50:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-10-04 02:01:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 02:05:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 02:07:46 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2025-10-04 02:09:08 +0200 | acidjnk | (~acidjnk@p200300d6e7171926fced4e6a2864912e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-10-04 02:09:08 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-10-04 02:16:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 02:21:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-04 02:32:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 02:33:59 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
2025-10-04 02:39:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-10-04 02:39:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 02:48:08 +0200 | <dcpagan> | Does [Oleg Kiselyov](https://okmij.org/ftp/) have a GitHub? |
2025-10-04 02:50:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 02:51:42 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 02:51:56 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 02:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 03:03:22 +0200 | Inline_ | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
2025-10-04 03:05:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:09:20 +0200 | yin | (~zero@user/zero) (Ping timeout: 240 seconds) |
2025-10-04 03:10:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-04 03:11:13 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 03:11:27 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 03:11:33 +0200 | yang_ | (~zero@user/zero) zero |
2025-10-04 03:21:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:25:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:34:31 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
2025-10-04 03:36:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) (Ping timeout: 248 seconds) |
2025-10-04 03:36:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:41:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:44:35 +0200 | trickard_ | trickard |
2025-10-04 03:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 03:57:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 03:59:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) |
2025-10-04 04:07:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 04:12:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 04:17:06 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
2025-10-04 04:17:36 +0200 | glguy | ghoulguy |
2025-10-04 04:21:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2025-10-04 04:21:31 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-10-04 04:23:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 04:27:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-10-04 04:29:49 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
2025-10-04 04:34:17 +0200 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) |
2025-10-04 04:38:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 04:44:10 +0200 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 248 seconds) |
2025-10-04 04:45:46 +0200 | fgarcia | (~nu@user/fgarcia) fgarcia |
2025-10-04 04:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 04:50:55 +0200 | fgarcia | fgidim |
2025-10-04 04:57:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 05:01:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 05:07:33 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
2025-10-04 05:08:41 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-10-04 05:10:01 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer) |
2025-10-04 05:11:15 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) synchromesh |
2025-10-04 05:12:10 +0200 | aforemny_ | (~aforemny@2001:9e8:6cee:a700:bbdd:374e:be4f:5fb3) aforemny |
2025-10-04 05:12:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 05:13:01 +0200 | aforemny | (~aforemny@i577B1257.versanet.de) (Ping timeout: 244 seconds) |
2025-10-04 05:13:42 +0200 | <ski> | dcpagan : delimited continuations can be implemented using undelimited ones and *state*, so i'm pretty sure that just having access to `callCC' (as opposed to say using `Cont',`ContT' or `Codensity') does not allow you to do the same things as `reset' and `shift'. and, afaik, Oleg does not have a GitHub account |
2025-10-04 05:14:06 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-10-04 05:14:14 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds) |
2025-10-04 05:19:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-04 05:30:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 05:36:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 05:46:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 05:51:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 05:59:25 +0200 | annamalai | (~annamalai@157.32.116.36) (Ping timeout: 264 seconds) |
2025-10-04 06:01:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 06:06:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-04 06:09:11 +0200 | <jreicher> | dcpagan: my understanding is the same as ski's. You can implement callCC with delimited continuations, but I'm fairly sure the converse is not true. |
2025-10-04 06:11:49 +0200 | craunts79 | (~craunts@136.158.7.194) |
2025-10-04 06:17:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 06:19:25 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 06:19:39 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 06:21:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 06:29:14 +0200 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) (Remote host closed the connection) |
2025-10-04 06:32:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 06:37:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-04 06:43:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 06:46:29 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
2025-10-04 06:48:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 06:58:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 07:06:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 07:06:17 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
2025-10-04 07:07:29 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) eggplantade |
2025-10-04 07:07:47 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 07:08:07 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
2025-10-04 07:08:23 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-04 07:16:09 +0200 | gcvvcxvhf | (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) |
2025-10-04 07:16:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 07:21:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-04 07:23:11 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2025-10-04 07:23:20 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-10-04 07:23:48 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Remote host closed the connection) |
2025-10-04 07:24:11 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 07:29:50 +0200 | gcvvcxvhf | (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Remote host closed the connection) |
2025-10-04 07:32:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 07:32:56 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds) |
2025-10-04 07:33:09 +0200 | bionade24 | (~quassel@server2.oscloud.info) (Ping timeout: 250 seconds) |
2025-10-04 07:33:47 +0200 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
2025-10-04 07:37:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 07:44:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 07:47:05 +0200 | gcvvcxvhf | (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) |
2025-10-04 07:47:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-10-04 07:48:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 07:48:32 +0200 | gcvvcxvhf | (~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Read error: Connection reset by peer) |
2025-10-04 07:48:41 +0200 | califax | (~califax@user/califx) califx |
2025-10-04 07:48:53 +0200 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) |
2025-10-04 07:53:04 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
2025-10-04 07:54:52 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-10-04 07:59:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 08:02:41 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-10-04 08:04:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 08:04:11 +0200 | califax | (~califax@user/califx) califx |
2025-10-04 08:08:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 08:13:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 08:24:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 08:28:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 08:35:55 +0200 | annamalai | (~annamalai@157.33.207.211) annamalai |
2025-10-04 08:37:03 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-10-04 08:39:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 08:49:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 08:50:30 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-10-04 08:50:50 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-04 08:55:34 +0200 | Square | (~Square@user/square) Square |
2025-10-04 08:55:57 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 250 seconds) |
2025-10-04 09:00:05 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
2025-10-04 09:00:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 09:00:45 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
2025-10-04 09:01:09 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
2025-10-04 09:04:10 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-10-04 09:05:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-10-04 09:08:51 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-10-04 09:10:13 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
2025-10-04 09:11:33 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 250 seconds) |
2025-10-04 09:12:15 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-10-04 09:12:37 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
2025-10-04 09:14:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
2025-10-04 09:16:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 09:20:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-04 09:24:14 +0200 | semifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
2025-10-04 09:24:14 +0200 | omnifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
2025-10-04 09:32:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 09:37:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 09:45:37 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-10-04 09:46:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 09:50:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 09:51:40 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 09:51:53 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 09:53:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
2025-10-04 09:56:44 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
2025-10-04 09:56:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-10-04 09:57:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-10-04 09:59:43 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
2025-10-04 10:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 10:02:18 +0200 | <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 10:04:22 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 256 seconds) |
2025-10-04 10:04:49 +0200 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) (Ping timeout: 250 seconds) |
2025-10-04 10:05:01 +0200 | gcvvcxvhf | (~gcvvcxvhf@152.58.42.143) |
2025-10-04 10:05:44 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.7.1) |
2025-10-04 10:06:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 10:12:01 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
2025-10-04 10:13:13 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-04 10:17:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 10:17:15 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 10:19:34 +0200 | acidjnk | (~acidjnk@p200300d6e7171959ac9a50397945f9ef.dip0.t-ipconnect.de) acidjnk |
2025-10-04 10:23:12 +0200 | gcvvcxvhf | (~gcvvcxvhf@152.58.42.143) (Remote host closed the connection) |
2025-10-04 10:24:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 10:27:07 +0200 | killy | (~killy@193.142.201.125) |
2025-10-04 10:27:58 +0200 | <Leary> | bwe: Parser combinators? |
2025-10-04 10:30:25 +0200 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) |
2025-10-04 10:31:23 +0200 | trickard_ | trickard |
2025-10-04 10:33:41 +0200 | Inline | (~Inline@2a02:8071:57a1:1260:a43a:5dc1:57c7:b6ca) Inline |
2025-10-04 10:33:57 +0200 | Inline | (~Inline@2a02:8071:57a1:1260:a43a:5dc1:57c7:b6ca) (Remote host closed the connection) |
2025-10-04 10:34:34 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 10:35:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 10:39:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 10:45:14 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds) |
2025-10-04 10:47:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 10:48:34 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-10-04 10:49:04 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
2025-10-04 10:49:20 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 240 seconds) |
2025-10-04 10:50:06 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-10-04 10:50:36 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 10:50:39 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-10-04 10:51:33 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 10:51:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 10:52:32 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
2025-10-04 10:52:56 +0200 | killy | (~killy@193.142.201.125) (Ping timeout: 240 seconds) |
2025-10-04 10:53:25 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 10:54:00 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
2025-10-04 10:54:14 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-10-04 10:55:05 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
2025-10-04 10:56:36 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 10:56:49 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 10:57:27 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 11:00:14 +0200 | n0den1te | (~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) n0den1te |
2025-10-04 11:01:36 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-10-04 11:02:21 +0200 | n0den1te | (~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) (Client Quit) |
2025-10-04 11:02:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 11:03:00 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-10-04 11:03:18 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-10-04 11:04:24 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
2025-10-04 11:05:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-04 11:07:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-10-04 11:14:52 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-10-04 11:15:41 +0200 | AlexNoo_ | (~AlexNoo@85.174.181.143) |
2025-10-04 11:16:47 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 11:18:01 +0200 | AlexZenon | (~alzenon@85.174.181.199) (Ping timeout: 264 seconds) |
2025-10-04 11:18:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 11:19:20 +0200 | AlexNoo | (~AlexNoo@85.174.181.199) (Ping timeout: 244 seconds) |
2025-10-04 11:21:55 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds) |
2025-10-04 11:22:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-10-04 11:26:07 +0200 | AlexZenon | (~alzenon@85.174.181.143) |
2025-10-04 11:26:33 +0200 | trickard_ | trickard |
2025-10-04 11:27:10 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-10-04 11:29:05 +0200 | gcvvcxvhf | (~gcvvcxvhf@103.183.205.165) () |
2025-10-04 11:29:19 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 265 seconds) |
2025-10-04 11:30:37 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 264 seconds) |
2025-10-04 11:32:45 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-10-04 11:33:17 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 11:33:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 11:34:04 +0200 | img | (~img@user/img) img |
2025-10-04 11:37:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 11:37:56 +0200 | <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 11:38:28 +0200 | <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 11:38:53 +0200 | <tomsmeding> | you can also hand-code a state machine with your fold |
2025-10-04 11:39:12 +0200 | <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 11:39:23 +0200 | <tomsmeding> | but at that point, either formulate it really as a state machine, or use parser combinators |
2025-10-04 11:39:36 +0200 | <tomsmeding> | bwe: ^ |
2025-10-04 11:42:54 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2025-10-04 11:43:16 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
2025-10-04 11:43:48 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:79f0:9089:b3a0:c5ae) internatetional |
2025-10-04 11:48:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 11:50:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
2025-10-04 11:51:01 +0200 | ystael_ | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
2025-10-04 11:54:02 +0200 | <jreicher> | parenOpen is state even if the evaluation order is not defined? |
2025-10-04 11:55:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-04 11:57:44 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-10-04 12:01:45 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
2025-10-04 12:01:54 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
2025-10-04 12:06:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 12:07:47 +0200 | internatetional_ | (~nate@2404:c0:2140::1be:7443) internatetional |
2025-10-04 12:08:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-04 12:09:36 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:79f0:9089:b3a0:c5ae) (Ping timeout: 256 seconds) |
2025-10-04 12:09:51 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 12:10:04 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 12:10:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-10-04 12:11:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 12:12:13 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-10-04 12:15:12 +0200 | internatetional_ | (~nate@2404:c0:2140::1be:7443) (Quit: CoreIRC for Android - www.coreirc.com) |
2025-10-04 12:21:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 12:21:55 +0200 | AlexNoo_ | AlexNoo |
2025-10-04 12:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 12:37:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 12:37:22 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 256 seconds) |
2025-10-04 12:40:42 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-10-04 12:42:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 12:42:59 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 12:46:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
2025-10-04 12:47:22 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds) |
2025-10-04 12:49:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 12:51:41 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
2025-10-04 12:53:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-04 13:00:04 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
2025-10-04 13:00:14 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-04 13:01:06 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 13:02:14 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
2025-10-04 13:04:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 13:05:44 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
2025-10-04 13:07:12 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 13:07:35 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 13:08:12 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 13:08:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 13:09:15 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 13:10:29 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 13:11:46 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 13:12:40 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 13:13:32 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 13:15:01 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
2025-10-04 13:16:26 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
2025-10-04 13:17:40 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 13:20:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 13:22:18 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds) |
2025-10-04 13:22:26 +0200 | Square | (~Square@user/square) Square |
2025-10-04 13:24:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-04 13:26:05 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer) |
2025-10-04 13:27:21 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) synchromesh |
2025-10-04 13:30:01 +0200 | trickard_ | trickard |
2025-10-04 13:33:51 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-10-04 13:34:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2025-10-04 13:35:11 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-10-04 13:35:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 13:35:42 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 13:41:10 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 245 seconds) |
2025-10-04 13:42:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 13:45:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
2025-10-04 13:45:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-04 13:50:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 13:53:12 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 13:53:19 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 13:53:45 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 13:54:21 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 13:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 13:54:48 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-10-04 13:55:07 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 13:55:16 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-10-04 13:59:28 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 255 seconds) |
2025-10-04 14:04:30 +0200 | too-many-men | (~too-many-@193.203.147.130) |
2025-10-04 14:05:10 +0200 | too-many-men | (~too-many-@193.203.147.130) (Quit: Leaving.) |
2025-10-04 14:05:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 14:08:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
2025-10-04 14:08:54 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-10-04 14:09:30 +0200 | n0den1te | (~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) n0den1te |
2025-10-04 14:09:39 +0200 | acidjnk | (~acidjnk@p200300d6e7171959ac9a50397945f9ef.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2025-10-04 14:09:42 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 14:09:51 +0200 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
2025-10-04 14:10:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 14:11:04 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 14:12:35 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 14:14:44 +0200 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
2025-10-04 14:18:04 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
2025-10-04 14:18:24 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
2025-10-04 14:19:41 +0200 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Ping timeout: 250 seconds) |
2025-10-04 14:20:14 +0200 | ds7832 | (~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Konversation terminated!) |
2025-10-04 14:20:19 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-10-04 14:20:20 +0200 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
2025-10-04 14:20:55 +0200 | <Guest83> | Beginner to Haskelll have experience in java |
2025-10-04 14:21:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 14:21:13 +0200 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
2025-10-04 14:21:21 +0200 | <Guest83> | Tell me books for beginners |
2025-10-04 14:22:02 +0200 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
2025-10-04 14:23:45 +0200 | morj | (~morj@user/morj) morj |
2025-10-04 14:24:39 +0200 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit) |
2025-10-04 14:26:11 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 14:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 14:26:31 +0200 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
2025-10-04 14:26:49 +0200 | <Guest83> | Tell me books for beginners |
2025-10-04 14:26:57 +0200 | <Guest83> | Have experience in java |
2025-10-04 14:27:07 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:2d5d:7f55:c7c2:f488) youngfrog |
2025-10-04 14:27:55 +0200 | bgg | (~bgg@2a01:e0a:819:1510:f5f:25a0:c9dd:62d3) (Remote host closed the connection) |
2025-10-04 14:28:56 +0200 | <morj> | Guest83: https://learnyouahaskell.com/ |
2025-10-04 14:29:35 +0200 | Guest83 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit) |
2025-10-04 14:30:01 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 14:30:20 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 14:30:39 +0200 | <int-e> | morj: have you tried that link recently? |
2025-10-04 14:31:32 +0200 | <morj> | Just tried it, a lot of php errors on top |
2025-10-04 14:31:42 +0200 | <morj> | Oh damn, and no styles in the content |
2025-10-04 14:31:45 +0200 | <morj> | What happened? |
2025-10-04 14:32:01 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 14:32:06 +0200 | <int-e> | There's a mirror: https://learnyouahaskell.github.io/ |
2025-10-04 14:32:19 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 14:32:20 +0200 | <yushyin> | now I have closed the website I wanted to share with them for a second time because they left |
2025-10-04 14:33:17 +0200 | <morj> | What did you want to share? |
2025-10-04 14:33:20 +0200 | <int-e> | morj: presumably the author hosted it and is no longer interested nor contractually obligated to maintain it. |
2025-10-04 14:33:23 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 14:33:36 +0200 | <int-e> | @where lyah |
2025-10-04 14:33:36 +0200 | <lambdabot> | http://www.learnyouahaskell.com/ or the slightly updated fork https://learnyouahaskell.github.io/ |
2025-10-04 14:34:02 +0200 | <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 14:34:07 +0200 | <yushyin> | morj: https://www.extrema.is/articles/haskell-books this one |
2025-10-04 14:34:15 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 14:35:05 +0200 | <n0den1te> | IIRC, there was a fork of RWH updated to the latest GHC APIs? Anyone have that link handy? |
2025-10-04 14:35:17 +0200 | Guest20 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
2025-10-04 14:35:20 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 14:36:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-10-04 14:36:41 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 14:36:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 14:37:23 +0200 | Guest20 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit) |
2025-10-04 14:37:32 +0200 | <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 14:37:43 +0200 | <yushyin> | :D nice |
2025-10-04 14:37:45 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 14:37:47 +0200 | <n0den1te> | from here: https://www.extrema.is/articles/haskell-books/real-world-haskell |
2025-10-04 14:37:49 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 265 seconds) |
2025-10-04 14:38:30 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 14:40:42 +0200 | bgg | (~bgg@2a01:e0a:819:1510:e757:c22f:6699:c589) |
2025-10-04 14:41:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-10-04 14:42:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-10-04 14:43:23 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-10-04 14:45:13 +0200 | <morj> | Are there any haskell communities in xmpp? |
2025-10-04 14:45:33 +0200 | <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 14:47:34 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 14:49:15 +0200 | <n0den1te> | you may find something here: https://search.jabber.network - although I don't see much activity for haskell |
2025-10-04 14:49:23 +0200 | <n0den1te> | morj: ^ |
2025-10-04 14:49:40 +0200 | Guest71 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) |
2025-10-04 14:50:03 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 14:51:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 14:51:51 +0200 | xdminsy | (~xdminsy@117.147.71.54) (Ping timeout: 252 seconds) |
2025-10-04 14:53:16 +0200 | <morj> | Russian haskell community is 1 person larger than russian programming community :D |
2025-10-04 14:53:18 +0200 | <ski> | @where RWH |
2025-10-04 14:53:18 +0200 | <lambdabot> | http://www.realworldhaskell.org/blog/ http://book.realworldhaskell.org/read/ https://github.com/tssm/up-to-date-real-world-haskell |
2025-10-04 14:53:37 +0200 | Guest71 | (~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit) |
2025-10-04 14:53:41 +0200 | <ski> | one russian Haskeller is not a programmer ? |
2025-10-04 14:54:08 +0200 | <morj> | They are too much of a purist I recon |
2025-10-04 14:54:20 +0200 | <ski> | i see |
2025-10-04 14:55:04 +0200 | <haskellbridge> | <Morj> morj: I wonder how do bridged replies look |
2025-10-04 14:55:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-10-04 14:55:46 +0200 | <haskellbridge> | <Morj> What about |
2025-10-04 14:55:46 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/RoPvuxFMmHoNyDhaaFVTRaCP/58ySn6InjSg (3 lines) |
2025-10-04 14:55:51 +0200 | <morj> | I see |
2025-10-04 14:56:32 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
2025-10-04 14:56:34 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
2025-10-04 14:59:46 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-10-04 15:02:08 +0200 | morj | morj_away |
2025-10-04 15:02:49 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 15:04:57 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 15:06:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 15:08:09 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 250 seconds) |
2025-10-04 15:11:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-10-04 15:13:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 15:14:53 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
2025-10-04 15:14:54 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
2025-10-04 15:17:52 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-10-04 15:18:19 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 15:18:59 +0200 | desuua_ | (~desuua@user/desuua) desuua |
2025-10-04 15:19:02 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 15:19:35 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 15:20:20 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 15:21:09 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 15:21:40 +0200 | desuua_ | (~desuua@user/desuua) (Max SendQ exceeded) |
2025-10-04 15:22:15 +0200 | desuua_ | (~desuua@user/desuua) desuua |
2025-10-04 15:23:51 +0200 | desuua_ | (~desuua@user/desuua) (Max SendQ exceeded) |
2025-10-04 15:24:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 15:26:18 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 15:26:22 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 15:26:53 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 15:27:22 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds) |
2025-10-04 15:28:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-10-04 15:29:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-10-04 15:29:25 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 264 seconds) |
2025-10-04 15:30:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-04 15:33:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) |
2025-10-04 15:39:52 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 15:40:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 15:42:37 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
2025-10-04 15:45:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 15:45:45 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 252 seconds) |
2025-10-04 15:47:07 +0200 | nebular | (~nebular@p50837030.dip0.t-ipconnect.de) |
2025-10-04 15:47:24 +0200 | nebular | (~nebular@p50837030.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-10-04 15:52:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 15:54:21 +0200 | semifunctor | (~omnifunct@user/semifunctor) omnifunctor |
2025-10-04 15:55:21 +0200 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
2025-10-04 15:56:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 15:58:12 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 16:03:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-10-04 16:03:29 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
2025-10-04 16:03:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-10-04 16:04:14 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds) |
2025-10-04 16:05:31 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-10-04 16:07:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 16:12:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 16:13:31 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
2025-10-04 16:14:51 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-10-04 16:15:12 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 16:15:47 +0200 | desuua_ | (~desuua@user/desuua) desuua |
2025-10-04 16:21:23 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 250 seconds) |
2025-10-04 16:21:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 16:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 16:33:45 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 16:37:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 16:39:09 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds) |
2025-10-04 16:41:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-10-04 16:45:21 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 16:45:35 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 16:50:46 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 16:52:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 16:55:28 +0200 | raym | (~ray@user/raym) (Quit: leaving) |
2025-10-04 16:56:19 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 255 seconds) |
2025-10-04 16:58:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 17:00:28 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-10-04 17:00:55 +0200 | eggplantade | (~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) |
2025-10-04 17:03:10 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-04 17:03:12 +0200 | Guest61 | (~Guest83@2402:e280:3e06:7e9:80fd:e5bc:f93d:e6f2) |
2025-10-04 17:05:57 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-04 17:06:20 +0200 | Guest61 | (~Guest83@2402:e280:3e06:7e9:80fd:e5bc:f93d:e6f2) (Client Quit) |
2025-10-04 17:10:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 17:12:44 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-10-04 17:15:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-04 17:18:46 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 17:19:22 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-10-04 17:24:27 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 17:24:48 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-10-04 17:25:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-04 17:26:30 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded) |
2025-10-04 17:30:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-04 17:31:01 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-04 17:34:35 +0200 | dude123 | (~dismasr@user/dude123) dude123 |
2025-10-04 17:34:39 +0200 | <dude123> | hello |
2025-10-04 17:35:10 +0200 | Inline | (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Client Quit) |
2025-10-04 17:35:11 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) (Read error: Connection reset by peer) |
2025-10-04 17:36:05 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) synchromesh |