2025/10/04

2025-10-04 00:00:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 00:01:28 +0200bgamari(~bgamari@64.223.225.237)
2025-10-04 00:02:17 +0200olivial(~benjaminl@user/benjaminl) (Remote host closed the connection)
2025-10-04 00:02:54 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-10-04 00:11:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 00:13:01 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-04 00:13:43 +0200notzmv(~umar@user/notzmv) (Ping timeout: 240 seconds)
2025-10-04 00:15:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 00:17:13 +0200Square(~Square@user/square) (Ping timeout: 250 seconds)
2025-10-04 00:23:33 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-04 00:26:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 00:27:37 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-10-04 00:30:54 +0200Pixi__Pixi
2025-10-04 00:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 00:36:08 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 00:36:31 +0200weary-traveler(~user@user/user363627) user363627
2025-10-04 00:38:15 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2025-10-04 00:41:35 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-10-04 00:41:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 00:43:42 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 00:44:07 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 00:44:54 +0200ZLima12(~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds)
2025-10-04 00:45:04 +0200ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-10-04 00:46:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 00:52:31 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
2025-10-04 00:53:01 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-04 00:53:08 +0200Inline_Inline
2025-10-04 00:57:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 01:04:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 01:04:27 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 01:07:49 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2025-10-04 01:15:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 01:20:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 01:20:33 +0200craunts79(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-04 01:21:38 +0200craunts79(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 01:32:10 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-04 01:34:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 01:46:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 01:46:27 +0200sprotte24(~sprotte24@p200300d16f128900a1bcd52eeb6ae479.dip0.t-ipconnect.de) (Quit: Leaving)
2025-10-04 01:50:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-10-04 02:01:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 02:05:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 02:07:46 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-10-04 02:09:08 +0200acidjnk(~acidjnk@p200300d6e7171926fced4e6a2864912e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-10-04 02:09:08 +0200EvanR(~EvanR@user/evanr) EvanR
2025-10-04 02:16:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 02:21:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-04 02:32:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 02:33:59 +0200craunts79(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-04 02:39:14 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-04 02:39:37 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 02:51:42 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 02:51:56 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 02:54:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 03:03:22 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-10-04 03:05:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:09:20 +0200yin(~zero@user/zero) (Ping timeout: 240 seconds)
2025-10-04 03:10:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-04 03:11:13 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 03:11:27 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 03:11:33 +0200yang_(~zero@user/zero) zero
2025-10-04 03:21:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:25:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 03:34:31 +0200OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2025-10-04 03:36:26 +0200xff0x(~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a) (Ping timeout: 248 seconds)
2025-10-04 03:36:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:41:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 03:44:35 +0200trickard_trickard
2025-10-04 03:52:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 03:57:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 03:59:39 +0200xff0x(~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a)
2025-10-04 04:07:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 04:12:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 04:17:06 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich
2025-10-04 04:17:36 +0200glguyghoulguy
2025-10-04 04:21:15 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-10-04 04:21:31 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-10-04 04:23:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 04:27:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 04:29:49 +0200OftenFaded(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-10-04 04:34:17 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165)
2025-10-04 04:38:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 04:44:10 +0200td_(~td@i5387093E.versanet.de) (Ping timeout: 248 seconds)
2025-10-04 04:45:46 +0200fgarcia(~nu@user/fgarcia) fgarcia
2025-10-04 04:46:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 04:50:55 +0200fgarciafgidim
2025-10-04 04:57:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 05:01:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 05:07:33 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 250 seconds)
2025-10-04 05:08:41 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-04 05:10:01 +0200synchromesh(~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer)
2025-10-04 05:11:15 +0200synchromesh(~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) synchromesh
2025-10-04 05:12:10 +0200aforemny_(~aforemny@2001:9e8:6cee:a700:bbdd:374e:be4f:5fb3) aforemny
2025-10-04 05:12:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 05:13:01 +0200aforemny(~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 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-10-04 05:14:14 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds)
2025-10-04 05:19:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-04 05:30:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 05:36:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 05:46:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 05:51:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 05:59:25 +0200annamalai(~annamalai@157.32.116.36) (Ping timeout: 264 seconds)
2025-10-04 06:01:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 06:06:18 +0200merijn(~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 +0200craunts79(~craunts@136.158.7.194)
2025-10-04 06:17:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 06:19:25 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 06:19:39 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 06:21:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 06:29:14 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165) (Remote host closed the connection)
2025-10-04 06:32:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 06:37:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-04 06:43:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 06:46:29 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich
2025-10-04 06:48:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 06:58:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 07:06:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 07:06:17 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2025-10-04 07:07:29 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) eggplantade
2025-10-04 07:07:47 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 07:08:07 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2025-10-04 07:08:23 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-04 07:16:09 +0200gcvvcxvhf(~gcvvcxvhf@2409:40c0:1064:92d7:8000::)
2025-10-04 07:16:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 07:21:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-04 07:23:11 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-04 07:23:20 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-04 07:23:48 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Remote host closed the connection)
2025-10-04 07:24:11 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 07:29:50 +0200gcvvcxvhf(~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Remote host closed the connection)
2025-10-04 07:32:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 07:32:56 +0200acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds)
2025-10-04 07:33:09 +0200bionade24(~quassel@server2.oscloud.info) (Ping timeout: 250 seconds)
2025-10-04 07:33:47 +0200bionade24(~quassel@server2.oscloud.info) bionade24
2025-10-04 07:37:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 07:44:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 07:47:05 +0200gcvvcxvhf(~gcvvcxvhf@2409:40c0:1064:92d7:8000::)
2025-10-04 07:47:10 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-04 07:48:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 07:48:32 +0200gcvvcxvhf(~gcvvcxvhf@2409:40c0:1064:92d7:8000::) (Read error: Connection reset by peer)
2025-10-04 07:48:41 +0200califax(~califax@user/califx) califx
2025-10-04 07:48:53 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165)
2025-10-04 07:53:04 +0200acidsys(~crameleon@openSUSE/member/crameleon) crameleon
2025-10-04 07:54:52 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-04 07:59:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 08:02:41 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-04 08:04:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 08:04:11 +0200califax(~califax@user/califx) califx
2025-10-04 08:08:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 08:13:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 08:24:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 08:28:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 08:35:55 +0200annamalai(~annamalai@157.33.207.211) annamalai
2025-10-04 08:37:03 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-10-04 08:39:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 08:49:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 08:50:30 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-04 08:50:50 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-04 08:55:34 +0200Square(~Square@user/square) Square
2025-10-04 08:55:57 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 250 seconds)
2025-10-04 09:00:05 +0200caconym74787(~caconym@user/caconym) (Quit: bye)
2025-10-04 09:00:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 09:00:45 +0200caconym74787(~caconym@user/caconym) caconym
2025-10-04 09:01:09 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) superbil
2025-10-04 09:04:10 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-10-04 09:05:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 09:08:51 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-04 09:10:13 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 264 seconds)
2025-10-04 09:11:33 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 250 seconds)
2025-10-04 09:12:15 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-10-04 09:12:37 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds)
2025-10-04 09:14:45 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
2025-10-04 09:16:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 09:20:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-04 09:24:14 +0200semifunctor(~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-10-04 09:24:14 +0200omnifunctor(~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-10-04 09:32:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 09:37:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 09:45:37 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-10-04 09:46:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 09:50:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 09:51:40 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 09:51:53 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 09:53:04 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-04 09:56:44 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) superbil
2025-10-04 09:56:52 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-10-04 09:57:21 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-04 09:59:43 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-10-04 10:01:46 +0200merijn(~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 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 256 seconds)
2025-10-04 10:04:49 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165) (Ping timeout: 250 seconds)
2025-10-04 10:05:01 +0200gcvvcxvhf(~gcvvcxvhf@152.58.42.143)
2025-10-04 10:05:44 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.7.1)
2025-10-04 10:06:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 10:12:01 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-10-04 10:13:13 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-04 10:17:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 10:17:15 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 10:19:34 +0200acidjnk(~acidjnk@p200300d6e7171959ac9a50397945f9ef.dip0.t-ipconnect.de) acidjnk
2025-10-04 10:23:12 +0200gcvvcxvhf(~gcvvcxvhf@152.58.42.143) (Remote host closed the connection)
2025-10-04 10:24:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 10:27:07 +0200killy(~killy@193.142.201.125)
2025-10-04 10:27:58 +0200 <Leary> bwe: Parser combinators?
2025-10-04 10:30:25 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165)
2025-10-04 10:31:23 +0200trickard_trickard
2025-10-04 10:33:41 +0200Inline(~Inline@2a02:8071:57a1:1260:a43a:5dc1:57c7:b6ca) Inline
2025-10-04 10:33:57 +0200Inline(~Inline@2a02:8071:57a1:1260:a43a:5dc1:57c7:b6ca) (Remote host closed the connection)
2025-10-04 10:34:34 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 10:35:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 10:39:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 10:45:14 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds)
2025-10-04 10:47:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 10:48:34 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-10-04 10:49:04 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-04 10:49:20 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 240 seconds)
2025-10-04 10:50:06 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-10-04 10:50:36 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 10:50:39 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-04 10:51:33 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 10:51:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 10:52:32 +0200Square(~Square@user/square) (Ping timeout: 240 seconds)
2025-10-04 10:52:56 +0200killy(~killy@193.142.201.125) (Ping timeout: 240 seconds)
2025-10-04 10:53:25 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 10:54:00 +0200dostoevsky(~dostoevsk@user/dostoevsky) dostoevsky
2025-10-04 10:54:14 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-10-04 10:55:05 +0200killy(~killy@terminal-3-187.retsat1.com.pl)
2025-10-04 10:56:36 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 10:56:49 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 10:57:27 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 11:00:14 +0200n0den1te(~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) n0den1te
2025-10-04 11:01:36 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-10-04 11:02:21 +0200n0den1te(~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) (Client Quit)
2025-10-04 11:02:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 11:03:00 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-10-04 11:03:18 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-10-04 11:04:24 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds)
2025-10-04 11:05:48 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-04 11:07:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 11:14:52 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-04 11:15:41 +0200AlexNoo_(~AlexNoo@85.174.181.143)
2025-10-04 11:16:47 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 11:18:01 +0200AlexZenon(~alzenon@85.174.181.199) (Ping timeout: 264 seconds)
2025-10-04 11:18:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 11:19:20 +0200AlexNoo(~AlexNoo@85.174.181.199) (Ping timeout: 244 seconds)
2025-10-04 11:21:55 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds)
2025-10-04 11:22:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-10-04 11:26:07 +0200AlexZenon(~alzenon@85.174.181.143)
2025-10-04 11:26:33 +0200trickard_trickard
2025-10-04 11:27:10 +0200poscat0x04(~poscat@user/poscat) poscat
2025-10-04 11:29:05 +0200gcvvcxvhf(~gcvvcxvhf@103.183.205.165) ()
2025-10-04 11:29:19 +0200poscat(~poscat@user/poscat) (Ping timeout: 265 seconds)
2025-10-04 11:30:37 +0200killy(~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 264 seconds)
2025-10-04 11:32:45 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-04 11:33:17 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 11:33:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 11:34:04 +0200img(~img@user/img) img
2025-10-04 11:37:43 +0200merijn(~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 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-10-04 11:43:16 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2025-10-04 11:43:48 +0200internatetional(~nate@2001:448a:20a3:c2e5:79f0:9089:b3a0:c5ae) internatetional
2025-10-04 11:48:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 11:50:45 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds)
2025-10-04 11:51:01 +0200ystael_(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-04 11:57:44 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-04 12:01:45 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2025-10-04 12:01:54 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-10-04 12:06:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 12:07:47 +0200internatetional_(~nate@2404:c0:2140::1be:7443) internatetional
2025-10-04 12:08:25 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-04 12:09:36 +0200internatetional(~nate@2001:448a:20a3:c2e5:79f0:9089:b3a0:c5ae) (Ping timeout: 256 seconds)
2025-10-04 12:09:51 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 12:10:04 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 12:10:13 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-04 12:11:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 12:12:13 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-04 12:15:12 +0200internatetional_(~nate@2404:c0:2140::1be:7443) (Quit: CoreIRC for Android - www.coreirc.com)
2025-10-04 12:21:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 12:21:55 +0200AlexNoo_AlexNoo
2025-10-04 12:26:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 12:37:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 12:37:22 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 256 seconds)
2025-10-04 12:40:42 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-04 12:42:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 12:42:59 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 12:46:45 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
2025-10-04 12:47:22 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds)
2025-10-04 12:49:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 12:51:41 +0200dostoevsky(~dostoevsk@user/dostoevsky) (Remote host closed the connection)
2025-10-04 12:53:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-04 13:00:04 +0200caconym74787(~caconym@user/caconym) (Quit: bye)
2025-10-04 13:00:14 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-04 13:01:06 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 13:02:14 +0200caconym74787(~caconym@user/caconym) caconym
2025-10-04 13:04:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 13:05:44 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds)
2025-10-04 13:07:12 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 13:07:35 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 13:08:12 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded)
2025-10-04 13:08:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 13:09:15 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 13:10:29 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded)
2025-10-04 13:11:46 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 13:12:40 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded)
2025-10-04 13:13:32 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 13:15:01 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds)
2025-10-04 13:16:26 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) MelodyOwO
2025-10-04 13:17:40 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 13:20:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 13:22:18 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds)
2025-10-04 13:22:26 +0200Square(~Square@user/square) Square
2025-10-04 13:24:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-04 13:26:05 +0200synchromesh(~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb) (Read error: Connection reset by peer)
2025-10-04 13:27:21 +0200synchromesh(~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) synchromesh
2025-10-04 13:30:01 +0200trickard_trickard
2025-10-04 13:33:51 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-04 13:34:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2025-10-04 13:35:11 +0200Lord_of_Life_Lord_of_Life
2025-10-04 13:35:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 13:35:42 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 13:41:10 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 245 seconds)
2025-10-04 13:42:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 13:45:01 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
2025-10-04 13:45:59 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-04 13:50:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 13:53:12 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 13:53:19 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 13:53:45 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 13:54:21 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded)
2025-10-04 13:54:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 13:54:48 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-10-04 13:55:07 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 13:55:16 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-10-04 13:59:28 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 255 seconds)
2025-10-04 14:04:30 +0200too-many-men(~too-many-@193.203.147.130)
2025-10-04 14:05:10 +0200too-many-men(~too-many-@193.203.147.130) (Quit: Leaving.)
2025-10-04 14:05:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 14:08:20 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer)
2025-10-04 14:08:54 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-04 14:09:30 +0200n0den1te(~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) n0den1te
2025-10-04 14:09:39 +0200acidjnk(~acidjnk@p200300d6e7171959ac9a50397945f9ef.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-10-04 14:09:42 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 14:09:51 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
2025-10-04 14:10:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 14:11:04 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 14:12:35 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 14:14:44 +0200Guest83(~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa)
2025-10-04 14:18:04 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds)
2025-10-04 14:18:24 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving)
2025-10-04 14:19:41 +0200Guest83(~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Ping timeout: 250 seconds)
2025-10-04 14:20:14 +0200ds7832(~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Konversation terminated!)
2025-10-04 14:20:19 +0200weary-traveler(~user@user/user363627) user363627
2025-10-04 14:20:20 +0200Guest83(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 14:21:13 +0200d34db33f(~d34db33f@user/d34db33f) d34db33f
2025-10-04 14:21:21 +0200 <Guest83> Tell me books for beginners
2025-10-04 14:22:02 +0200d34db33f(~d34db33f@user/d34db33f) (Remote host closed the connection)
2025-10-04 14:23:45 +0200morj(~morj@user/morj) morj
2025-10-04 14:24:39 +0200Guest83(~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit)
2025-10-04 14:26:11 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 14:26:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 14:26:31 +0200Guest83(~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 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:2d5d:7f55:c7c2:f488) youngfrog
2025-10-04 14:27:55 +0200bgg(~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 +0200Guest83(~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa) (Client Quit)
2025-10-04 14:30:01 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 14:30:20 +0200Inline(~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 +0200eggplantade(~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 +0200Inline(~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 +0200Inline(~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 +0200Inline(~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 +0200Guest20(~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa)
2025-10-04 14:35:20 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 14:36:40 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-10-04 14:36:41 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded)
2025-10-04 14:36:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 14:37:23 +0200Guest20(~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 +0200Inline(~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 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 265 seconds)
2025-10-04 14:38:30 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 14:40:42 +0200bgg(~bgg@2a01:e0a:819:1510:e757:c22f:6699:c589)
2025-10-04 14:41:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-10-04 14:42:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-04 14:43:23 +0200humasect(~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 +0200Inline(~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 +0200Guest71(~Guest83@2401:4900:52b7:67cc:f86b:5827:bca7:baa)
2025-10-04 14:50:03 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 14:51:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 14:51:51 +0200xdminsy(~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 +0200Guest71(~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 +0200merijn(~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 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
2025-10-04 14:56:34 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds)
2025-10-04 14:59:46 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-04 15:02:08 +0200morjmorj_away
2025-10-04 15:02:49 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 15:04:57 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 15:06:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 15:08:09 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 250 seconds)
2025-10-04 15:11:18 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-10-04 15:13:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 15:14:53 +0200killy(~killy@terminal-3-187.retsat1.com.pl)
2025-10-04 15:14:54 +0200dostoevsky(~dostoevsk@user/dostoevsky) dostoevsky
2025-10-04 15:17:52 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-10-04 15:18:19 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 15:18:59 +0200desuua_(~desuua@user/desuua) desuua
2025-10-04 15:19:02 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded)
2025-10-04 15:19:35 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 15:20:20 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded)
2025-10-04 15:21:09 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 15:21:40 +0200desuua_(~desuua@user/desuua) (Max SendQ exceeded)
2025-10-04 15:22:15 +0200desuua_(~desuua@user/desuua) desuua
2025-10-04 15:23:51 +0200desuua_(~desuua@user/desuua) (Max SendQ exceeded)
2025-10-04 15:24:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 15:26:18 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 15:26:22 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 15:26:53 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 15:27:22 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 248 seconds)
2025-10-04 15:28:36 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-04 15:29:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 15:29:25 +0200RedFlamingos(~RedFlamin@user/RedFlamingos) (Ping timeout: 264 seconds)
2025-10-04 15:30:56 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-04 15:33:13 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
2025-10-04 15:39:52 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 15:40:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 15:42:37 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2025-10-04 15:45:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 15:45:45 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 252 seconds)
2025-10-04 15:47:07 +0200nebular(~nebular@p50837030.dip0.t-ipconnect.de)
2025-10-04 15:47:24 +0200nebular(~nebular@p50837030.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-10-04 15:52:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 15:54:21 +0200semifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-04 15:55:21 +0200omnifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-04 15:56:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 15:58:12 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 16:03:08 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-04 16:03:29 +0200killy(~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving)
2025-10-04 16:03:31 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-04 16:04:14 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 260 seconds)
2025-10-04 16:05:31 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-04 16:07:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 16:12:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 16:13:31 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) (Quit: Leaving.)
2025-10-04 16:14:51 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-10-04 16:15:12 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 16:15:47 +0200desuua_(~desuua@user/desuua) desuua
2025-10-04 16:21:23 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 250 seconds)
2025-10-04 16:21:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 16:26:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 16:33:45 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 16:37:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 16:39:09 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 244 seconds)
2025-10-04 16:41:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 16:45:21 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 16:45:35 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 16:50:46 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 16:52:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 16:55:28 +0200raym(~ray@user/raym) (Quit: leaving)
2025-10-04 16:56:19 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Ping timeout: 255 seconds)
2025-10-04 16:58:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 17:00:28 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-04 17:00:55 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8)
2025-10-04 17:03:10 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 17:03:12 +0200Guest61(~Guest83@2402:e280:3e06:7e9:80fd:e5bc:f93d:e6f2)
2025-10-04 17:05:57 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 17:06:20 +0200Guest61(~Guest83@2402:e280:3e06:7e9:80fd:e5bc:f93d:e6f2) (Client Quit)
2025-10-04 17:10:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 17:12:44 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-10-04 17:15:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 17:18:46 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 17:19:22 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 17:24:27 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 17:24:48 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-10-04 17:25:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 17:26:30 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Max SendQ exceeded)
2025-10-04 17:30:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 17:31:01 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 17:34:35 +0200dude123(~dismasr@user/dude123) dude123
2025-10-04 17:34:39 +0200 <dude123> hello
2025-10-04 17:35:10 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Client Quit)
2025-10-04 17:35:11 +0200synchromesh(~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) (Read error: Connection reset by peer)
2025-10-04 17:36:05 +0200synchromesh(~john@2406:5a00:2412:2c00:34c1:c1d9:cb1f:137) synchromesh
2025-10-04 17:37:51 +0200dostoevsky(~dostoevsk@user/dostoevsky) (Remote host closed the connection)
2025-10-04 17:41:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 17:45:25 +0200sprotte24(~sprotte24@p200300d16f1d7f00d8c5e13c6fd90781.dip0.t-ipconnect.de)
2025-10-04 17:46:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 17:47:49 +0200dude123(~dismasr@user/dude123) (WeeChat 4.7.1)
2025-10-04 17:48:14 +0200dostoevsky(~dostoevsk@user/dostoevsky) dostoevsky
2025-10-04 17:48:57 +0200dostoevsky(~dostoevsk@user/dostoevsky) (Remote host closed the connection)
2025-10-04 17:49:43 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-04 17:50:21 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-10-04 17:50:35 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-04 17:51:47 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-10-04 17:51:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 17:53:23 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-04 17:53:32 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-04 17:54:49 +0200n0den1te(~aaaa@2402:3a80:455:9de7:ad9f:5d52:168:fc4b) (Quit: Quitting...)
2025-10-04 17:55:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-04 17:57:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 17:58:13 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-10-04 18:00:52 +0200eggplantade(~eggplanta@2600:1702:8450:c370:690c:d410:5426:3ca8) (Quit: Leaving)
2025-10-04 18:03:31 +0200raym(~ray@user/raym) raym
2025-10-04 18:08:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 18:13:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-04 18:24:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 18:28:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-04 18:30:52 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-04 18:34:23 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2025-10-04 18:39:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 18:41:47 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 250 seconds)
2025-10-04 18:42:03 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-04 18:42:27 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-04 18:44:44 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 18:44:58 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 18:46:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-04 18:54:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 18:58:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 19:02:50 +0200 <tomsmeding> morj: irc doesn't have a concept of multiline messages at all
2025-10-04 19:04:27 +0200 <haskellbridge> <Morj> Really? I had a hunch
2025-10-04 19:04:52 +0200 <haskellbridge> <Morj> So you just don't send code snippets through irc at all? (=
2025-10-04 19:05:05 +0200 <int-e> right, you use a pastebin
2025-10-04 19:05:13 +0200 <int-e> @where paste
2025-10-04 19:05:13 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2025-10-04 19:05:54 +0200 <haskellbridge> <Morj> If only erlang channel had all those nicities
2025-10-04 19:10:17 +0200slycelote(~slycelote@user/slycelote) slycelote
2025-10-04 19:22:02 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-04 19:22:40 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-04 19:22:59 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-04 19:25:13 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-04 19:27:24 +0200 <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 19:27:34 +0200 <geekosaur> also media
2025-10-04 19:35:30 +0200tromp(~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
2025-10-04 19:52:49 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 264 seconds)
2025-10-04 19:54:11 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-10-04 19:55:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 20:00:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 20:03:16 +0200annamalai(~annamalai@157.33.207.211) (Remote host closed the connection)
2025-10-04 20:03:56 +0200superstar64(~superstar@2600:1700:57e0:e3c0::31) superstar64
2025-10-04 20:10:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 20:13:59 +0200annamalai(~annamalai@2409:4042:20a:75ea::d7c:d8ad) annamalai
2025-10-04 20:15:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 20:15:33 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-04 20:26:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 20:30:16 +0200akgreene(~akgreene@fixed-187-189-181-196.totalplay.net)
2025-10-04 20:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 20:32:17 +0200Razorrats(~Razorrats@pool-68-134-85-215.bltmmd.fios.verizon.net)
2025-10-04 20:33:24 +0200Razorrats(~Razorrats@pool-68-134-85-215.bltmmd.fios.verizon.net) (Remote host closed the connection)
2025-10-04 20:33:38 +0200CecePhuongNguyen(~CecePhuon@syn-071-076-201-204.res.spectrum.com)
2025-10-04 20:33:58 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-04 20:34:10 +0200CecePhuongNguyen(~CecePhuon@syn-071-076-201-204.res.spectrum.com) (Remote host closed the connection)
2025-10-04 20:34:25 +0200Enubion(~Enubion@38.13.166.133)
2025-10-04 20:36:04 +0200akgreene(~akgreene@fixed-187-189-181-196.totalplay.net) (Remote host closed the connection)
2025-10-04 20:36:04 +0200Enubion(~Enubion@38.13.166.133) (Remote host closed the connection)
2025-10-04 20:36:08 +0200superstar64(~superstar@2600:1700:57e0:e3c0::31) (Quit: Leaving)
2025-10-04 20:36:59 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-04 20:39:33 +0200Everything(~Everythin@172.232.54.192) Everything
2025-10-04 20:39:42 +0200superstar64(~superstar@2600:1700:57e0:e3c0::31) superstar64
2025-10-04 20:41:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 20:46:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 20:49:20 +0200qqe(~qqq@185.54.22.40) (Quit: Lost terminal)
2025-10-04 20:55:38 +0200acidjnk(~acidjnk@p200300d6e7171975ac9a50397945f9ef.dip0.t-ipconnect.de) acidjnk
2025-10-04 20:57:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 21:00:01 +0200caconym74787(~caconym@user/caconym) (Quit: bye)
2025-10-04 21:00:42 +0200caconym74787(~caconym@user/caconym) caconym
2025-10-04 21:04:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-04 21:06:28 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-04 21:13:04 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-10-04 21:15:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 21:19:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-10-04 21:27:30 +0200VictorHugenay(~VictorHug@user/VictorHugenay) VictorHugenay
2025-10-04 21:30:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 21:30:35 +0200bwani54(~bwani54@user/bwani54) bwani54
2025-10-04 21:35:20 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-10-04 21:35:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 21:41:17 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-04 21:41:23 +0200alteragent(~alteragen@177.249.162.28)
2025-10-04 21:41:28 +0200 <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 21:41:41 +0200ChanServ+o geekosaur
2025-10-04 21:41:50 +0200geekosaur+b *!*@177.249.162.28
2025-10-04 21:41:50 +0200alteragentgeekosaur (alteragent)
2025-10-04 21:42:31 +0200 <sm> seriously ???
2025-10-04 21:42:39 +0200 <Lycurgus> yeah, why here?
2025-10-04 21:42:53 +0200 <geekosaur> also, fake network announcement
2025-10-04 21:43:13 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds)
2025-10-04 21:43:22 +0200 <geekosaur> (which also ignores that this isn't a US-only service)
2025-10-04 21:43:31 +0200geekosaur-o geekosaur
2025-10-04 21:46:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 21:50:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-04 21:52:02 +0200ChanServ+o litharge
2025-10-04 21:52:02 +0200litharge-bo *!*@177.249.162.28 litharge
2025-10-04 21:54:39 +0200VictorHugenay(~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!)
2025-10-04 22:01:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 22:05:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 22:07:07 +0200 <bwe> tomsmeding: true, I just need to extend it by a state that tracks whether it's currently in a number
2025-10-04 22:11:41 +0200 <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 22:12:35 +0200 <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 22:13:14 +0200 <bwe> (and on a more basic note, how do I make a condition like "anything but not a digit" with Megaparsec?)
2025-10-04 22:13:46 +0200 <tomsmeding> `satisfy isDigit`?
2025-10-04 22:13:57 +0200 <tomsmeding> also `digit` probably
2025-10-04 22:15:00 +0200 <bwe> so the negation would be `anySingleBut` ?
2025-10-04 22:15:19 +0200 <tomsmeding> satisfy (not . isDigit)?
2025-10-04 22:15:31 +0200 <bwe> of course :)
2025-10-04 22:15:36 +0200 <tomsmeding> "anything but not a digit" is a double negation :p
2025-10-04 22:15:55 +0200 <tomsmeding> so I guess you were asking for `satisfy (not . not . isDigit)` :p
2025-10-04 22:16:08 +0200 <sprout> this is weirdly satisfying
2025-10-04 22:16:42 +0200 <bwe> tomsmeding: I clarify, single negation, so `satisfy (not . isDigit)` is what I need
2025-10-04 22:16:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 22:17:42 +0200 <bwe> is there some list of parser combinator tutorials you can recommend?
2025-10-04 22:18:01 +0200 <tomsmeding> megaparsec has an official tutorial, if I remember correctly
2025-10-04 22:18:15 +0200 <tomsmeding> I don't remember people saying it's bad, so it must be good, right?
2025-10-04 22:18:45 +0200 <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 22:19:59 +0200 <bwe> I need to give it another try -- the last time I tried it didn't work too well for me
2025-10-04 22:20:28 +0200 <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 22:21:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-10-04 22:21:30 +0200 <tomsmeding> zfnmxt: thank you, please hang around more and share all your good stuffs
2025-10-04 22:22:08 +0200 <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 22:22:48 +0200 <zfnmxt> tomsmeding: Most of that good stuff is written by Troels, not me. But will do.
2025-10-04 22:23:28 +0200 <tomsmeding> "your" as in, the good stuff that you know :p
2025-10-04 22:26:03 +0200 <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 22:29:30 +0200 <zfnmxt> bwe: Have fun!
2025-10-04 22:32:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 22:35:05 +0200 <[exa]> evenin'
2025-10-04 22:38:37 +0200 <[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 22:38:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 22:41:15 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-10-04 22:43:28 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-10-04 22:43:58 +0200 <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 22:44:00 +0200dfg(~dfg@user/dfg) (Quit: I hate quit messages.)
2025-10-04 22:44:29 +0200 <[exa]> wait wait how's lookahead looking like regular expressions?
2025-10-04 22:44:43 +0200 <[exa]> (except for the cool new regular expressions that are actually not regular)
2025-10-04 22:44:46 +0200sprout🍿
2025-10-04 22:45:27 +0200dfg(~dfg@user/dfg) dfg
2025-10-04 22:46:09 +0200 <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.