2025/08/05

2025-08-05 00:01:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-05 00:04:51 +0200OftenFaded29(~OftenFade@user/tisktisk) (Ping timeout: 252 seconds)
2025-08-05 00:06:42 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-05 00:06:42 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2025-08-05 00:12:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 00:16:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-05 00:18:09 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-05 00:19:51 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-08-05 00:22:31 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-08-05 00:27:37 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-05 00:27:55 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-05 00:28:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 00:30:08 +0200caubert(~caubert@user/caubert) caubert
2025-08-05 00:33:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-05 00:43:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 00:44:27 +0200Guest22(~textual@71.212.133.94) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-08-05 00:44:54 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection)
2025-08-05 00:46:03 +0200OftenFaded26(~OftenFade@user/tisktisk) OftenFaded
2025-08-05 00:47:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-05 00:51:33 +0200AlexZenon(~alzenon@94.233.241.158) (Ping timeout: 248 seconds)
2025-08-05 00:58:23 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-08-05 00:58:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 01:02:03 +0200OftenFaded26(~OftenFade@user/tisktisk) (Ping timeout: 252 seconds)
2025-08-05 01:03:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-05 01:08:25 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-05 01:11:59 +0200phma(~phma@2001:5b0:211b:f5a8:cdad:cbca:233f:d3b6)
2025-08-05 01:14:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 01:16:50 +0200AlexNoo(~AlexNoo@94.233.241.158) (Read error: Connection reset by peer)
2025-08-05 01:17:15 +0200AlexNoo(~AlexNoo@94.233.241.158)
2025-08-05 01:20:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-05 01:21:22 +0200Guest15(~Guest15@2600:4041:5894:2200:1405:6e3e:67cd:4c73)
2025-08-05 01:26:13 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 248 seconds)
2025-08-05 01:26:40 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-05 01:26:40 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5)
2025-08-05 01:28:18 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-08-05 01:31:23 +0200AlexZenon(~alzenon@94.233.241.158)
2025-08-05 01:32:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 01:33:26 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-08-05 01:33:26 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-05 01:34:34 +0200arahael(~arahael@user/arahael) arahael
2025-08-05 01:37:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-05 01:39:14 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-05 01:39:22 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-08-05 01:45:05 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-05 01:45:27 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-05 01:47:26 +0200sprotte24(~sprotte24@p200300d16f200c0050753b554e57af5c.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-08-05 01:47:29 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 248 seconds)
2025-08-05 01:47:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 01:48:45 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-05 01:49:08 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-05 01:50:54 +0200fizbin(~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer)
2025-08-05 01:51:22 +0200weary-traveler(~user@user/user363627) user363627
2025-08-05 01:52:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-05 01:52:33 +0200caubert(~caubert@user/caubert) caubert
2025-08-05 02:03:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 02:03:57 +0200Guest15(~Guest15@2600:4041:5894:2200:1405:6e3e:67cd:4c73) (Quit: Client closed)
2025-08-05 02:07:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-05 02:18:36 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-05 02:18:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 02:18:47 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-05 02:19:27 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-08-05 02:22:00 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-08-05 02:22:06 +0200ljdarj1ljdarj
2025-08-05 02:23:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-05 02:23:18 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds)
2025-08-05 02:25:32 +0200orenty7(~orenty7@37.63.19.22)
2025-08-05 02:28:37 +0200ft(~ft@mue-88-130-105-177.dsl.tropolys.de) (Ping timeout: 248 seconds)
2025-08-05 02:29:09 +0200acidjnk(~acidjnk@p200300d6e71719559d1d473a745282b7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-05 02:30:28 +0200ft(~ft@mue-88-130-105-041.dsl.tropolys.de) ft
2025-08-05 02:32:22 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-08-05 02:33:43 +0200califax(~califax@user/califx) califx
2025-08-05 02:34:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 02:38:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-05 02:45:16 +0200 <Axman6> :t Data.List.mapAccumL
2025-08-05 02:45:16 +0200 <lambdabot> Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)
2025-08-05 02:49:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 02:49:49 +0200xff0x(~xff0x@2405:6580:b080:900:f328:2009:940a:c483) (Ping timeout: 260 seconds)
2025-08-05 02:55:38 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-08-05 02:56:08 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-05 02:56:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-05 02:57:51 +0200 <EvanR> underrated
2025-08-05 03:01:08 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
2025-08-05 03:02:37 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-05 03:02:59 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-05 03:07:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 03:08:43 +0200caubert(~caubert@user/caubert) caubert
2025-08-05 03:11:19 +0200orenty7(~orenty7@37.63.19.22) (Read error: Connection reset by peer)
2025-08-05 03:11:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-05 03:13:05 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-05 03:13:09 +0200orenty7(~orenty7@37.63.19.142)
2025-08-05 03:22:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-05 03:22:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 03:27:05 +0200 <haskellbridge> <orenty7> Hello everyone, I'm hoping to contribute to GHC and project wiki says that I need my account approved. Could anyone please help me with this? Thanks in advance!
2025-08-05 03:27:27 +0200ft(~ft@mue-88-130-105-041.dsl.tropolys.de) (Ping timeout: 252 seconds)
2025-08-05 03:27:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-05 03:31:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-05 03:33:46 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2025-08-05 03:33:47 +0200 <geekosaur> that shouldn't be true any more
2025-08-05 03:33:54 +0200 <geekosaur> the wiki needs to be updated
2025-08-05 03:34:05 +0200califax(~califax@user/califx) califx
2025-08-05 03:34:06 +0200 <geekosaur> @orenty7 ^^
2025-08-05 03:34:06 +0200 <lambdabot> Unknown command, try @list
2025-08-05 03:38:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 03:38:34 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-05 03:39:45 +0200koolazer(~koo@user/koolazer) koolazer
2025-08-05 03:40:11 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-05 03:41:03 +0200 <haskellbridge> <orenty7> Great, geekosaur, thank you
2025-08-05 03:42:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-05 03:44:04 +0200ft(~ft@mue-88-130-107-102.dsl.tropolys.de) ft
2025-08-05 03:48:46 +0200dlb2(~dlb@syn-068-203-096-115.res.spectrum.com)
2025-08-05 03:49:35 +0200dlb2(~dlb@syn-068-203-096-115.res.spectrum.com) (Client Quit)
2025-08-05 03:49:50 +0200dlb2(~dlb@user/davidlbowman) davidlbowman
2025-08-05 03:52:46 +0200dlb2(~dlb@user/davidlbowman) (Client Quit)
2025-08-05 03:53:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 03:54:11 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-05 03:55:40 +0200davidlbowman(~dlb@user/davidlbowman) (Client Quit)
2025-08-05 03:56:02 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-05 03:56:14 +0200polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2025-08-05 03:56:55 +0200polykernel(~polykerne@user/polykernel) polykernel
2025-08-05 03:58:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-05 03:59:10 +0200jespada(~jespada@2800:a4:2349:e700:8cdf:6b:c880:e6a) (Ping timeout: 265 seconds)
2025-08-05 04:00:09 +0200jespada(~jespada@2800:a4:22a6:1f00:2df9:2a1d:f666:d69d) jespada
2025-08-05 04:09:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 04:14:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-05 04:23:20 +0200tdscg^(~tdscg@99-73-20-238.lightspeed.tukrga.sbcglobal.net) (Remote host closed the connection)
2025-08-05 04:24:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 04:30:21 +0200orenty7(~orenty7@37.63.19.142) (Quit: Konversation terminated!)
2025-08-05 04:31:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-05 04:34:18 +0200mange(~mange@user/mange) mange
2025-08-05 04:37:16 +0200phma(~phma@2001:5b0:211b:f5a8:cdad:cbca:233f:d3b6) (Read error: Connection reset by peer)
2025-08-05 04:37:49 +0200phma(phma@2001:5b0:211f:82b8:996a:83c5:fa14:b20c)
2025-08-05 04:41:39 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) (Ping timeout: 260 seconds)
2025-08-05 04:41:45 +0200lol_(~lol@2603:3016:1e01:b960:a8a6:84ac:c082:e46a)
2025-08-05 04:42:05 +0200manwithluck(~manwithlu@2a09:bac5:5087:2432::39b:c0) manwithluck
2025-08-05 04:42:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 04:45:44 +0200jcarpenter2(~lol@2603:3016:1e01:b960:5dee:be78:7bec:1173) (Ping timeout: 260 seconds)
2025-08-05 04:47:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-05 04:56:42 +0200euouae(~euouae@user/euouae) euouae
2025-08-05 04:56:59 +0200 <euouae> Hello I'm trying to mirror the behavior of a unix utility, so I want to copy 100% of its command-line arguments, e.g.
2025-08-05 04:57:22 +0200 <euouae> When I tried to do this in Python I ended up running into a wall because I used a library for command-line arguments that deviated from the intended behavior
2025-08-05 04:57:42 +0200 <euouae> I'm wondering if Haskell has a package that is general enough to allow arbitrary behavior? Or should i write my own command-line parser?
2025-08-05 04:57:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-08-05 04:58:01 +0200 <euouae> I'm a bit afraid that if I write my own cmdarg parser it will be very caveman-like
2025-08-05 04:58:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 05:02:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-05 05:03:06 +0200 <Clint> euouae: depends on how arbitrary perhaps
2025-08-05 05:04:15 +0200 <c_wraith> All the existing libraries match some standard or another. if m4 doesn't match those standards, you're writing your own
2025-08-05 05:04:57 +0200 <c_wraith> Note that if you're doing your own, permutation parsing is often your friend.
2025-08-05 05:05:03 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-05 05:05:07 +0200 <euouae> I'll try my own then because I don't want to encounter the issue later.
2025-08-05 05:05:16 +0200 <euouae> Is permutation parsing the one where the "order" doesn't matter?
2025-08-05 05:05:17 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-05 05:05:27 +0200 <euouae> Foo{x=1,y=2} and Foo{y=2,x=1} and so on?
2025-08-05 05:06:39 +0200 <c_wraith> yeah
2025-08-05 05:08:27 +0200 <euouae> Thankss, earlier I found this technical report from uu-parsinglib <https://web.archive.org/web/20211016145459/http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013…> that mentions it. I'll take a look.
2025-08-05 05:08:58 +0200 <c_wraith> the parser-combinators library also provides permutation parsing
2025-08-05 05:09:18 +0200 <c_wraith> And it's a dependency of megaparsec
2025-08-05 05:09:57 +0200 <euouae> neat! I use attoparsec, but I do use parser-combinators too I think
2025-08-05 05:10:14 +0200 <euouae> (the whole thing with get/setInput wasn't working out)
2025-08-05 05:10:25 +0200 <c_wraith> yeah, it should be compatible with basically every parsing library.
2025-08-05 05:10:31 +0200 <c_wraith> except Earley, annoyingly.
2025-08-05 05:11:13 +0200caubert(~caubert@user/caubert) caubert
2025-08-05 05:11:14 +0200 <c_wraith> (because Earley needs explicit recursion breakers to build statci tables)
2025-08-05 05:11:52 +0200 <euouae> can nothing be salvaged from parser-combinators for Earley?
2025-08-05 05:12:23 +0200 <c_wraith> A lot of it works, but specific combinators just make it hang when generating the Grammar
2025-08-05 05:12:55 +0200 <c_wraith> So it's like... it works, but there are a few mines.
2025-08-05 05:13:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 05:14:39 +0200 <euouae> fun
2025-08-05 05:17:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-05 05:28:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 05:34:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-05 05:44:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 05:48:06 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-08-05 05:48:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-05 05:50:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-05 05:59:09 +0200aku(aku@65.108.245.241) (Quit: Lost terminal)
2025-08-05 05:59:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 06:00:17 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-05 06:04:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-05 06:10:41 +0200aku(aku@2a01:4f9:c010:836c::1) eagleflo
2025-08-05 06:15:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-05 06:15:34 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)