2025/08/21

2025-08-21 00:01:16 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 255 seconds)
2025-08-21 00:04:13 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-21 00:05:10 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 00:05:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 00:07:44 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-08-21 00:07:44 +0000ljdarj1ljdarj
2025-08-21 00:09:54 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-21 00:10:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 00:10:30 +0000ludat(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) ludat
2025-08-21 00:13:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 00:17:01 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-21 00:20:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 00:23:29 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-21 00:29:56 +0000lol_(~lol@2603:3016:1e01:b960:a521:2571:4042:b249)
2025-08-21 00:31:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 00:34:18 +0000jcarpenter2(~lol@2603:3016:1e01:b960:61b9:84a6:6553:ea15) (Ping timeout: 276 seconds)
2025-08-21 00:34:33 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-21 00:34:51 +0000xff0x(~xff0x@2405:6580:b080:900:5de7:9d06:9fef:17be) (Ping timeout: 252 seconds)
2025-08-21 00:35:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 00:40:20 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 00:46:02 +0000haritzondo(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-21 00:46:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 00:46:43 +0000haritz(~hrtz@user/haritz) (Ping timeout: 255 seconds)
2025-08-21 00:51:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 01:02:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 01:06:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 01:12:41 +0000Buliarous(~gypsydang@46.232.210.139) (Quit: leaving)
2025-08-21 01:15:19 +0000Guest42(~Guest42@103.29.86.22)
2025-08-21 01:17:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 01:21:16 +0000Guest42(~Guest42@103.29.86.22) (Quit: Client closed)
2025-08-21 01:21:32 +0000Turns(~Turns@103.29.86.22)
2025-08-21 01:22:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 01:25:38 +0000trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 01:25:52 +0000trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-21 01:26:54 +0000todi1(~todi@p57803331.dip0.t-ipconnect.de)
2025-08-21 01:27:19 +0000todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-08-21 01:30:03 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-21 01:31:09 +0000 <Axman6> Does GHC have the ability to unpack sum types natively yet? Anonymous sum types were added to support it but I can't remember seeing anything that would let you write data Foo = Foo {-#UNPACK#-}!Int {-#UNPACK#-}!(Maybe Int). Also wondering if traditional Enum style sum types can be unpacked yet or not
2025-08-21 01:32:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 01:33:31 +0000Igloo(~ian@81.2.99.210) (Ping timeout: 255 seconds)
2025-08-21 01:35:11 +0000Igloo(~ian@45.130.105.76) Igfoo
2025-08-21 01:36:46 +0000lol_jcarpenter2
2025-08-21 01:37:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 01:40:16 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-21 01:41:00 +0000 <geekosaur> I vaguely recall that it can in some circumstances now
2025-08-21 01:41:04 +0000 <Leary> Axman6: "Since 9.6.1, data types with multiple constructors can also be unpacked, effectively transforming the field into an unboxed sum of the unpackings of each constructor (see UnboxedSums)."
2025-08-21 01:41:13 +0000 <Leary> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#pragma-UNPACK
2025-08-21 01:42:05 +0000 <geekosaur> aaah, I was trying to find it in the release notes
2025-08-21 01:48:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 01:50:17 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-21 01:52:53 +0000ft(~ft@p508db5fa.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-08-21 01:54:42 +0000ft(~ft@p4fc2a016.dip0.t-ipconnect.de) ft
2025-08-21 01:54:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-21 01:58:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 02:02:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 02:02:46 +0000Igloo(~ian@45.130.105.76) (Ping timeout: 255 seconds)
2025-08-21 02:04:45 +0000Igloo(~ian@81.2.99.210) Igfoo
2025-08-21 02:10:08 +0000MironZ3(~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds))
2025-08-21 02:10:27 +0000MironZ3(~MironZ@nat-infra.ehlab.uk)
2025-08-21 02:11:34 +0000amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-08-21 02:13:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 02:13:46 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-21 02:14:08 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 02:16:41 +0000trickard_trickard
2025-08-21 02:18:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-21 02:22:44 +0000 <monochrom> [exa]: I think it can be done by "Env -> Parser a" and use Env to track in-scope variables. Based on how everything else --- type checking, denotational semantics, operational semantics, interpreters --- does that.
2025-08-21 02:26:29 +0000Square2(~Square@user/square) Square
2025-08-21 02:26:46 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 02:27:34 +0000Buliarou1(~gypsydang@46.232.210.139) Buliarous
2025-08-21 02:27:44 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-21 02:27:51 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 02:28:24 +0000Square2(~Square@user/square) (Read error: Connection reset by peer)
2025-08-21 02:28:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 02:30:21 +0000Square(~Square@user/square) Square
2025-08-21 02:33:21 +0000rekahsoft(~rekahsoft@174.95.4.83) rekahsoft
2025-08-21 02:33:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 02:36:04 +0000pyooque(~puke@user/puke) puke
2025-08-21 02:36:04 +0000pukeGuest4107
2025-08-21 02:36:04 +0000pyooquepuke
2025-08-21 02:36:10 +0000puke(~puke@user/puke) (Remote host closed the connection)
2025-08-21 02:36:31 +0000Guest4107(~puke@user/puke) (Read error: Connection reset by peer)
2025-08-21 02:44:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 02:48:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 02:59:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:04:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:09:53 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-08-21 03:12:53 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-21 03:15:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:19:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:30:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:35:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 03:36:21 +0000aforemny(~aforemny@2001:9e8:6ce5:a500:3aae:62bd:8c6e:65de) (Ping timeout: 252 seconds)
2025-08-21 03:36:22 +0000aforemny_(~aforemny@2001:9e8:6cc5:1100:e216:5da2:2886:cf6e) aforemny
2025-08-21 03:41:48 +0000Alleria(~Alleria@user/alleria) Alleria
2025-08-21 03:45:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:46:38 +0000 <Axman6> Ah fantastic, thanks Leary and geekosaur. I'd been waiting for that for quite some time and must have missed it.
2025-08-21 03:50:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:58:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:03:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-21 04:14:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:18:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 04:29:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:34:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-21 04:35:23 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
2025-08-21 04:37:30 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-21 04:45:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:45:36 +0000Square2(~Square4@user/square) Square
2025-08-21 04:49:01 +0000Square(~Square@user/square) (Ping timeout: 256 seconds)
2025-08-21 04:51:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 04:53:39 +0000mange(~mange@user/mange) mange
2025-08-21 04:59:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 05:02:03 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-21 05:04:49 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 05:04:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 05:04:55 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-21 05:06:50 +0000werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-08-21 05:15:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 05:18:48 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-21 05:19:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 05:22:49 +0000amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-21 05:22:55 +0000michalz(~michalz@185.246.207.217)
2025-08-21 05:30:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 05:30:45 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-21 05:35:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 05:38:13 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-21 05:44:55 +0000kimiamania994(~65804703@user/kimiamania) kimiamania
2025-08-21 05:46:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 05:46:31 +0000kimiamania99(~65804703@user/kimiamania) (Read error: Connection reset by peer)
2025-08-21 05:46:31 +0000kimiamania994kimiamania99
2025-08-21 05:47:43 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-21 05:50:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-21 05:53:52 +0000haritzondo(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-21 05:55:58 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-21 06:00:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 06:05:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-21 06:05:21 +0000 <[exa]> monochrom: ok I kindof expected that
2025-08-21 06:05:30 +0000 <[exa]> thanks for confirm then :)
2025-08-21 06:09:15 +0000werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-21 06:12:30 +0000Turns(~Turns@103.29.86.22) (Quit: Client closed)
2025-08-21 06:16:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 06:21:56 +0000puke(~puke@user/puke) puke
2025-08-21 06:23:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 06:26:19 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 06:28:00 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 06:34:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 06:39:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-21 06:49:32 +0000ft(~ft@p4fc2a016.dip0.t-ipconnect.de) (Quit: leaving)
2025-08-21 06:49:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 06:51:48 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-21 06:52:48 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-21 06:54:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-21 06:54:38 +0000trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 06:54:38 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-21 06:54:51 +0000trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-21 06:55:13 +0000collide2954(~collide29@user/collide2954) collide2954
2025-08-21 07:00:02 +0000caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-21 07:00:30 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-08-21 07:00:42 +0000caconym747(~caconym@user/caconym) caconym
2025-08-21 07:01:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 07:06:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 07:13:05 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 07:13:44 +0000trickard_trickard
2025-08-21 07:17:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 07:18:38 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2025-08-21 07:22:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 07:22:53 +0000acidjnk(~acidjnk@p200300d6e7171914f0b5406b8759cfb5.dip0.t-ipconnect.de) acidjnk
2025-08-21 07:31:39 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-21 07:35:04 +0000jreicher(~user@user/jreicher) (Quit: In transit)
2025-08-21 07:36:01 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-21 07:50:22 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-08-21 07:59:15 +0000__monty__(~toonn@user/toonn) toonn
2025-08-21 08:00:58 +0000merijn(~merijn@77.242.116.146) merijn
2025-08-21 08:06:12 +0000trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 08:06:26 +0000trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-21 08:11:10 +0000ludat(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed)
2025-08-21 08:19:54 +0000jreicher(~user@user/jreicher) jreicher
2025-08-21 08:22:01 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 08:26:40 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-08-21 08:30:16 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 08:36:47 +0000jreicher(~user@user/jreicher) (Quit: In transit)
2025-08-21 08:38:15 +0000gawen(~gawen@user/gawen) (Quit: cya)
2025-08-21 08:39:03 +0000gawen(~gawen@user/gawen) gawen
2025-08-21 08:41:40 +0000petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.0 - https://znc.in)
2025-08-21 08:43:43 +0000petrichor(~jez@user/petrichor) petrichor
2025-08-21 08:44:15 +0000merijn(~merijn@77.242.116.146) (Quit: Reconnecting)
2025-08-21 08:44:30 +0000petrichor(~jez@user/petrichor) (Client Quit)
2025-08-21 08:44:30 +0000merijn(~merijn@77.242.116.146) merijn
2025-08-21 08:45:13 +0000petrichor(~jez@user/petrichor) petrichor
2025-08-21 08:49:14 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-21 08:50:14 +0000petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.0 - https://znc.in)
2025-08-21 08:52:37 +0000petrichor(~jez@user/petrichor) petrichor
2025-08-21 08:58:56 +0000chele(~chele@user/chele) chele
2025-08-21 08:59:29 +0000tabemann__(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Server closed connection)
2025-08-21 09:00:02 +0000tabemann__(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2025-08-21 09:17:38 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 09:21:27 +0000tccq`(~user@97-120-249-160.ptld.qwest.net)
2025-08-21 09:22:20 +0000tccq(~user@user/tccq) (Read error: Connection reset by peer)
2025-08-21 09:22:27 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 09:23:31 +0000sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de)
2025-08-21 09:24:30 +0000sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) (Client Quit)
2025-08-21 09:24:42 +0000sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de)
2025-08-21 09:24:57 +0000jreicher(~user@user/jreicher) jreicher
2025-08-21 09:25:56 +0000Square2(~Square4@user/square) (Remote host closed the connection)
2025-08-21 09:27:04 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-21 09:28:07 +0000Square2(~Square4@user/square) Square
2025-08-21 09:28:19 +0000Square2(~Square4@user/square) (Remote host closed the connection)
2025-08-21 09:29:47 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-21 09:31:10 +0000sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-21 09:32:49 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 09:35:00 +0000trickard_(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 09:35:12 +0000trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-21 09:38:02 +0000athan(~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-21 09:42:26 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-21 09:47:42 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 09:58:49 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 10:03:49 +0000vgtw_(~vgtw@user/vgtw) (Server closed connection)
2025-08-21 10:04:41 +0000vgtw(~vgtw@user/vgtw) vgtw
2025-08-21 10:06:21 +0000tremon(~tremon@83.80.159.219) tremon
2025-08-21 10:06:42 +0000 <Athas> Under which circumstances will GHC encode characters read from a handle as '?'?
2025-08-21 10:06:55 +0000 <Athas> I am trying to debug a test bug that appears only in CI, and which I cannot reproduce locally.
2025-08-21 10:07:26 +0000 <Athas> From what I can see, anything non-ASCII is turned into '?'.
2025-08-21 10:09:26 +0000pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-08-21 10:09:49 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-21 10:10:39 +0000fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-21 10:10:52 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-21 10:11:32 +0000 <ncf> see https://hackage.haskell.org/package/base-4.21.0.0/docs/System-IO.html#g:22
2025-08-21 10:11:46 +0000trickard_trickard
2025-08-21 10:11:46 +0000 <ncf> tldr your CI's environment is probably not using a unicode locale, try setting LC_ALL=C.UTF-8
2025-08-21 10:14:13 +0000 <Athas> I am pretty sure I already tried setting LC_ALL before (and LANG is already C.UTF-8), but let me try again.
2025-08-21 10:15:07 +0000pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-08-21 10:17:56 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-08-21 10:19:32 +0000 <merijn> Athas: Are you using text/bytestring?
2025-08-21 10:19:45 +0000 <Athas> Yeah, no difference.
2025-08-21 10:20:21 +0000 <Athas> merijn: this is in the haskeline test suite. I am using a combination of ByteString and raw C strings to communicate with another process.
2025-08-21 10:20:24 +0000 <merijn> With explicit decoding from bytestring to text you can specify how to handle parse errors
2025-08-21 10:20:41 +0000 <Athas> That's part of my debugging challenge: not only can I not reproduce outside of CI, but I also don't know exactly where the encoding gets fucked up.
2025-08-21 10:20:42 +0000 <merijn> Athas: Oh, sadly Haskeline isn't very principled in its API
2025-08-21 10:20:59 +0000 <merijn> At least, it wasn't last I used it (admittedly a while ago)
2025-08-21 10:21:21 +0000 <merijn> I assume the decoding happening inside it is doing that?
2025-08-21 10:21:53 +0000 <Athas> Or maybe the encoding - I am also sending non-ASCII to the other process.
2025-08-21 10:22:15 +0000 <Athas> The encoding is explicitly done with encodeUtf8 so that is fine, but something is turning all non-ASCII bytes into question marks.
2025-08-21 10:22:54 +0000 <Athas> The test suite explicitly sets LANG to en_US.UTF-8, so it should not be sensitive to the system environment.
2025-08-21 10:23:26 +0000 <Athas> This captures pretty well what I am looking at: https://github.com/haskell/haskeline/actions/runs/17124026707/job/48571413738?pr=203#step:23:39
2025-08-21 10:25:50 +0000 <Athas> Oh, the writes are also done by turning the bytestring into a C array and writing the raw bytes to a handle. There should be no non-explicit encoding/decoding anywhere!
2025-08-21 10:26:23 +0000 <jreicher> Athas: are you writing to a file?
2025-08-21 10:26:50 +0000 <Athas> jreicher: no, a pipe connected to a subprocess.
2025-08-21 10:27:25 +0000 <Athas> Well, actually a handle produced by openPseudoTerminal.
2025-08-21 10:27:38 +0000 <Athas> But I guess it is a pipe at the kernel level.
2025-08-21 10:27:53 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-08-21 10:29:21 +0000 <Athas> This is the program that is the other side of the pipe: https://github.com/haskell/haskeline/blob/master/examples/Test.hs Now I am trying to figure out if that is doing something wrong. It certainly has all the encoding/decoding machinery in operation.
2025-08-21 10:37:45 +0000 <jreicher> Can you capture a copy of the bytes before they go into the pipe?
2025-08-21 10:38:23 +0000 <Athas> I don't see why not; it's just tedious to debug with such a high roundtrip latency.
2025-08-21 10:39:09 +0000 <jreicher> It's just to cover off the possibility that the bytes are fine and the problem is somewhere else.
2025-08-21 10:39:43 +0000 <jreicher> For example I'm always suspicious of seeing things like ? in a terminal. I don't know if it's the terminal emulator doing that or if it's the actual process output.
2025-08-21 10:39:50 +0000 <jreicher> So I send to a file and examine the file.
2025-08-21 10:40:25 +0000merijn(~merijn@77.242.116.146) merijn
2025-08-21 10:42:37 +0000 <Athas> It's not the terminal emulator for sure, since there is none.
2025-08-21 10:43:18 +0000 <Athas> But now I also found another case of flakiness, as it is apparently system-dependent whether a line is terminated by \r\n or \ESCE...
2025-08-21 10:43:29 +0000 <Athas> God damn do I dislike the Unix tty system.
2025-08-21 10:43:55 +0000 <Athas> I have a hunch the haskeline tests never actually worked reliably, but just happened to work on the original author's machine.
2025-08-21 10:47:10 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-08-21 10:49:17 +0000 <jreicher> I was worried the use of tty might play into it, but I actually don't have any real knowledge about that system. Is there a binary mode that might cut out having an EOL convention at all?
2025-08-21 10:49:28 +0000merijn(~merijn@77.242.116.146) merijn
2025-08-21 10:50:46 +0000 <Athas> Yes, and from what I can see all the tests that use files work fine.
2025-08-21 10:51:03 +0000 <Athas> It is definitely some tty thing.
2025-08-21 10:52:07 +0000 <[exa]> Athas: tbh I'd expect some very weird tty settings on the github CI side
2025-08-21 10:53:20 +0000 <Athas> [exa]: I am also seeing different tty behaviour between my system and some department server. And that's just NixOS vs RHEL, and with the same environments from my .profile...
2025-08-21 10:53:56 +0000 <Athas> I am increasingly confident I don't want to spend the time needed to figure this one out. Haskeline does actually work fine; it's just that its tests don't.
2025-08-21 10:54:39 +0000 <[exa]> if I got it right, the test is throwing random valid unicode at the terminal and expects it to get through right?
2025-08-21 10:54:45 +0000 <Athas> Yes.
2025-08-21 10:55:15 +0000 <Athas> But that is not actually all; *something* is also *sometimes* turning linebreaks into \ESCE, but I expect that to be some Haskeline-logic based on what it thinks the terminal might be like.
2025-08-21 10:56:12 +0000 <[exa]> can you run the whole thing with TERM= set to something very safe?
2025-08-21 10:56:34 +0000 <[exa]> also the warnings that setlocale can't set locale don't spawn much confidence
2025-08-21 10:58:04 +0000 <Athas> I have also tried with locales (C.UTF-8) that didn't trigger that warning, with no apparent effect. TERM=dumb and TERM=xterm has no apparent effect.
2025-08-21 11:00:04 +0000caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-21 11:00:43 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-21 11:03:54 +0000caconym747(~caconym@user/caconym) caconym
2025-08-21 11:06:25 +0000 <Athas> Actually that was a useful clue, because after changing the haskeline test suite to explicit set C-UTF-8 (instead of en_US.UTF-8), those encoding errors seem to go away.
2025-08-21 11:06:40 +0000 <Athas> But it didn't warn about those; only when I hacked in some explicit environments in the CI config. Annoying.
2025-08-21 11:07:02 +0000 <Athas> Now there is just some tab completion problem left, which is probably related to working directories.
2025-08-21 11:09:30 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-21 11:18:35 +0000xff0x(~xff0x@2405:6580:b080:900:5c56:788a:c6b4:ed46)
2025-08-21 11:19:09 +0000trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-08-21 11:19:28 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-08-21 11:20:58 +0000merijn(~merijn@77.242.116.146) merijn
2025-08-21 11:23:41 +0000fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Quit: fp)
2025-08-21 11:24:22 +0000fp(~Thunderbi@2001:708:150:10::72df) fp
2025-08-21 11:24:57 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-08-21 11:28:33 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-21 11:30:30 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-21 11:31:10 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 11:31:38 +0000trickard_trickard
2025-08-21 11:33:00 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-21 11:33:23 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 11:37:09 +0000Square2(~Square4@user/square) Square
2025-08-21 11:40:00 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 11:50:01 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 11:50:14 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 11:52:53 +0000poscat0x04(~poscat@user/poscat) poscat
2025-08-21 11:54:39 +0000poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-08-21 11:55:52 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-08-21 12:02:49 +0000weary-traveler(~user@user/user363627) user363627
2025-08-21 12:08:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 12:11:33 +0000liskin(~liskin@xmonad/liskin) (Server closed connection)
2025-08-21 12:11:51 +0000liskin(~liskin@xmonad/liskin) Liskni_si
2025-08-21 12:15:53 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-21 12:15:54 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 12:18:10 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 12:26:18 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 12:28:47 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 12:42:45 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-21 12:42:45 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-08-21 12:42:45 +0000haritz(~hrtz@user/haritz) haritz
2025-08-21 12:43:09 +0000comonad(~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-08-21 12:46:03 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 12:46:15 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-21 12:56:14 +0000simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection)
2025-08-21 13:00:36 +0000petrichor(~jez@user/petrichor) (Remote host closed the connection)
2025-08-21 13:01:04 +0000simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-08-21 13:06:58 +0000ds_(~ds@2a02:8071:884:db60:3481:5f23:7fdc:613)
2025-08-21 13:07:04 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-21 13:10:08 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 13:19:10 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 13:19:23 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 13:28:54 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-21 13:29:16 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 13:30:59 +0000ystael(~ystael@user/ystael) ystael
2025-08-21 13:32:09 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-21 13:33:53 +0000petrichor(~jez@user/petrichor) petrichor
2025-08-21 13:36:19 +0000mange(~mange@user/mange) (Quit: Zzz...)
2025-08-21 13:37:23 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 13:39:09 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 13:39:38 +0000rekahsoft(~rekahsoft@174.95.4.83) (Remote host closed the connection)
2025-08-21 13:41:18 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-08-21 13:44:01 +0000trickard_trickard
2025-08-21 13:45:28 +0000rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-08-21 13:45:40 +0000fp(~Thunderbi@2001:708:150:10::72df) (Ping timeout: 255 seconds)
2025-08-21 13:55:44 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-21 14:03:24 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-21 14:14:24 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-21 14:14:46 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 14:19:12 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-21 14:19:36 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-21 14:23:07 +0000hughjfchen(~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.7.0)
2025-08-21 14:23:35 +0000hughjfchen(~hughjfche@vmi2417424.contaboserver.net) hughjfchen
2025-08-21 14:24:11 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-21 14:28:10 +0000ds_(~ds@2a02:8071:884:db60:3481:5f23:7fdc:613) (Remote host closed the connection)
2025-08-21 14:28:28 +0000ds_(~ds@2a02:8071:884:db60:13f1:2448:d775:ba99)
2025-08-21 14:29:51 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-08-21 14:31:24 +0000merijn(~merijn@77.242.116.146) merijn
2025-08-21 14:44:06 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 15:16:54 +0000ds_(~ds@2a02:8071:884:db60:13f1:2448:d775:ba99) (Ping timeout: 244 seconds)
2025-08-21 15:17:44 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-21 15:28:52 +0000qqe(~qqq@185.54.20.59) (Quit: Lost terminal)
2025-08-21 15:32:28 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 15:35:20 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-21 15:38:02 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-08-21 15:48:00 +0000ystael(~ystael@user/ystael) (Ping timeout: 258 seconds)
2025-08-21 15:49:40 +0000ystael(~ystael@user/ystael) ystael
2025-08-21 15:51:20 +0000chele(~chele@user/chele) (Remote host closed the connection)
2025-08-21 15:52:37 +0000merijn(~merijn@77.242.116.146) merijn
2025-08-21 15:53:38 +0000jackdk(uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity)
2025-08-21 15:55:50 +0000ft(~ft@p4fc2a016.dip0.t-ipconnect.de) ft
2025-08-21 15:56:35 +0000Guest38(~Guest38@2404:ab80:2:6366:9cb3:9d91:f4d7:f346)
2025-08-21 16:01:02 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 16:09:05 +0000Guest38(~Guest38@2404:ab80:2:6366:9cb3:9d91:f4d7:f346) (Ping timeout: 250 seconds)
2025-08-21 16:10:32 +0000ystael(~ystael@user/ystael) (Ping timeout: 248 seconds)
2025-08-21 16:12:28 +0000ystael(~ystael@user/ystael) ystael
2025-08-21 16:12:41 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-21 16:22:22 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 16:22:27 +0000ouroboros(~ouroboros@user/ouroboros) (Server closed connection)
2025-08-21 16:23:48 +0000ouroboros(~ouroboros@user/ouroboros) ouroboros
2025-08-21 16:24:26 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-08-21 16:27:22 +0000mjrosenb(~mjrosenb@70.18.10.118) mrosenbe
2025-08-21 16:28:30 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-21 16:28:52 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 16:28:53 +0000wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Server closed connection)
2025-08-21 16:29:10 +0000wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2025-08-21 16:29:34 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-08-21 16:31:57 +0000mjrosenb(~mjrosenb@70.18.10.118) (Read error: Connection reset by peer)
2025-08-21 16:34:01 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-08-21 16:34:50 +0000mjrosenb(~mjrosenb@70.18.10.118) mrosenbe
2025-08-21 16:36:08 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-21 16:37:19 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-21 16:40:31 +0000ystael(~ystael@user/ystael) (Ping timeout: 258 seconds)
2025-08-21 16:42:23 +0000ystael(~ystael@user/ystael) ystael
2025-08-21 16:45:09 +0000 <mjrosenb> so, cabal.project is new to me, is there any documentation on what it can do?
2025-08-21 16:45:31 +0000 <mjrosenb> (also, how it is different from foo.cabal)?
2025-08-21 16:49:27 +0000 <mauke> https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html
2025-08-21 16:49:30 +0000 <c_wraith> foo.cabal provides information about a single package. cabal.project provides information about a whole project.
2025-08-21 16:50:08 +0000 <c_wraith> You can use it to set options for packages, to specify multiple local packages to use together, etc
2025-08-21 16:51:39 +0000 <c_wraith> Or even non-local. I'm using it to specify a git repository for a package that's not on hackage, in one case.
2025-08-21 16:55:43 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) (Read error: Connection reset by peer)
2025-08-21 17:13:38 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 17:16:17 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 17:16:50 +0000yinzzz
2025-08-21 17:17:04 +0000kilt(~yin@104.74.114.89.rev.vodafone.pt) (Quit: leaving)
2025-08-21 17:17:08 +0000Hafydd(~Hafydd@user/hafydd) (Server closed connection)
2025-08-21 17:17:26 +0000Hafydd(~Hafydd@user/hafydd) Hafydd
2025-08-21 17:23:55 +0000biberu(~biberu@user/biberu) biberu
2025-08-21 17:27:51 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-08-21 17:29:35 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds)
2025-08-21 17:34:56 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 17:38:15 +0000amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-08-21 17:42:47 +0000Square2(~Square4@user/square) (Ping timeout: 244 seconds)
2025-08-21 17:43:04 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-08-21 17:48:03 +0000polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2025-08-21 17:48:20 +0000polykernel(~polykerne@user/polykernel) polykernel
2025-08-21 17:50:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 17:51:47 +0000amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-21 17:52:12 +0000Buliarou1(~gypsydang@46.232.210.139) (Quit: leaving)
2025-08-21 17:54:41 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 17:55:42 +0000chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds)
2025-08-21 17:56:19 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-21 17:57:34 +0000chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-08-21 17:57:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-21 17:59:06 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 258 seconds)
2025-08-21 18:04:33 +0000rvaluel|r
2025-08-21 18:06:28 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-21 18:08:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 18:09:56 +0000buliarous(~buliarous@45.86.221.218) Buliarous
2025-08-21 18:12:04 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 18:13:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 18:21:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 18:22:36 +0000plitter(~plitter@user/plitter) (Server closed connection)
2025-08-21 18:22:48 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-08-21 18:22:58 +0000plitter(~plitter@user/plitter) plitter
2025-08-21 18:25:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-21 18:29:02 +0000[exa](~exa@user/exa/x-3587197) (Server closed connection)
2025-08-21 18:29:24 +0000[exa](~exa@2001:15e8:110:7d00::117)
2025-08-21 18:31:31 +0000Buliarou1(~gypsydang@46.232.210.139) Buliarous
2025-08-21 18:36:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 18:36:55 +0000notzmv(~umar@user/notzmv) (Ping timeout: 256 seconds)
2025-08-21 18:37:51 +0000LycurgusColinRobinson
2025-08-21 18:38:30 +0000ColinRobinson(~juan@user/Lycurgus) (Changing host)
2025-08-21 18:38:30 +0000ColinRobinson(~juan@user/JuanDaugherty) JuanDaugherty
2025-08-21 18:41:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 18:42:56 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-21 18:52:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 18:56:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 19:00:03 +0000caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-21 19:00:42 +0000caconym747(~caconym@user/caconym) caconym
2025-08-21 19:00:53 +0000Everything(~Everythin@178-133-180-210.mobile.vf-ua.net) Everything
2025-08-21 19:01:47 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 19:04:24 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2025-08-21 19:07:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 19:07:38 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-21 19:11:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 19:12:04 +0000karenw(~karenw@user/karenw) karenw
2025-08-21 19:16:40 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-08-21 19:17:24 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 19:17:37 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 19:19:13 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 258 seconds)
2025-08-21 19:23:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 19:23:59 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-08-21 19:27:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 19:27:41 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-21 19:28:06 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-21 19:30:27 +0000ColinRobinson(~juan@user/JuanDaugherty) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-21 19:31:06 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-21 19:31:06 +0000ljdarj1ljdarj
2025-08-21 19:31:31 +0000sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de)
2025-08-21 19:32:40 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-21 19:33:27 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 19:35:22 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-08-21 19:38:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 19:39:55 +0000ds_(~ds@2a02:8071:884:db60:f6e5:c6af:f055:3ad0)
2025-08-21 19:43:22 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-08-21 19:44:06 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-21 19:44:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 19:56:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 19:58:48 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-21 20:00:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 20:01:05 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 20:10:07 +0000Everything(~Everythin@178-133-180-210.mobile.vf-ua.net) (Quit: leaving)
2025-08-21 20:11:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 20:12:51 +0000karenw(~karenw@user/karenw) (Read error: Connection reset by peer)
2025-08-21 20:13:45 +0000karenw(~karenw@user/karenw) karenw
2025-08-21 20:16:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 20:21:03 +0000fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Remote host closed the connection)
2025-08-21 20:22:44 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 20:23:20 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-21 20:25:18 +0000fp(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) fp
2025-08-21 20:27:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 20:29:30 +0000fp1(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) fp
2025-08-21 20:31:52 +0000fp(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 248 seconds)
2025-08-21 20:31:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 20:33:40 +0000fp(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) fp
2025-08-21 20:35:36 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-08-21 20:36:08 +0000fp1(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 248 seconds)
2025-08-21 20:36:13 +0000fp(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Remote host closed the connection)
2025-08-21 20:42:02 +0000polykernel_(~polykerne@user/polykernel) polykernel
2025-08-21 20:42:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 20:43:20 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 20:43:36 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 248 seconds)
2025-08-21 20:43:36 +0000polykernel_polykernel
2025-08-21 20:46:21 +0000notzmv(~umar@user/notzmv) notzmv
2025-08-21 20:47:19 +0000myme(~myme@2a01:799:d5e:5f00:f352:6657:b092:5000) (Ping timeout: 260 seconds)
2025-08-21 20:47:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 20:47:54 +0000myme(~myme@2a01:799:d5e:5f00:f3b1:73c3:e8c3:8d9a) myme
2025-08-21 20:56:14 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-21 20:57:59 +0000ystael(~ystael@user/ystael) (Quit: Lost terminal)
2025-08-21 20:58:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 20:59:12 +0000l|rrvalue
2025-08-21 21:01:02 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-21 21:02:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 21:09:40 +0000ystael(~ystael@user/ystael) ystael
2025-08-21 21:13:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 21:20:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 21:27:54 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-08-21 21:30:35 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-21 21:31:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 21:33:22 +0000trickard_trickard
2025-08-21 21:34:10 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-08-21 21:36:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-21 21:39:56 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-08-21 21:40:20 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-08-21 21:40:39 +0000michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-08-21 21:46:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 21:49:50 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-21 21:50:34 +0000acidjnk_new(~acidjnk@p200300d6e71719923596d1db434d6d14.dip0.t-ipconnect.de) acidjnk
2025-08-21 21:50:54 +0000acidjnk(~acidjnk@p200300d6e7171914f0b5406b8759cfb5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-08-21 21:51:09 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-21 21:51:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-21 22:02:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 22:06:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 22:11:38 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 248 seconds)
2025-08-21 22:12:12 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-08-21 22:13:04 +0000tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 22:17:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 22:22:12 +0000YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 252 seconds)
2025-08-21 22:22:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 22:22:42 +0000YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW
2025-08-21 22:25:47 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-21 22:28:48 +0000trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 22:28:50 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-21 22:28:50 +0000ljdarj1ljdarj
2025-08-21 22:29:02 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 22:33:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 22:37:19 +0000pavonia(~user@user/siracusa) siracusa
2025-08-21 22:37:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 22:45:05 +0000Alleria_(~Alleria@user/alleria) Alleria
2025-08-21 22:47:24 +0000Alleria(~Alleria@user/alleria) (Ping timeout: 256 seconds)
2025-08-21 22:47:46 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 22:48:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 22:49:15 +0000fgarcia(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-08-21 22:50:46 +0000fgarcia(~lei@user/fgarcia) fgarcia
2025-08-21 22:51:44 +0000ubert(~Thunderbi@178.115.39.216.wireless.dyn.drei.com) ubert
2025-08-21 22:55:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 22:59:14 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-21 23:00:10 +0000ds_(~ds@2a02:8071:884:db60:f6e5:c6af:f055:3ad0) (Ping timeout: 248 seconds)
2025-08-21 23:00:26 +0000xff0x(~xff0x@2405:6580:b080:900:5c56:788a:c6b4:ed46) (Ping timeout: 256 seconds)
2025-08-21 23:04:56 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-08-21 23:06:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 23:07:24 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 23:07:37 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 23:11:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-21 23:13:17 +0000xff0x(~xff0x@2405:6580:b080:900:5c56:788a:c6b4:ed46)
2025-08-21 23:14:49 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-08-21 23:17:49 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-21 23:18:32 +0000nckx(~nckx@libera/staff/owl/nckx) (Server closed connection)
2025-08-21 23:21:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 23:22:03 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-08-21 23:24:08 +0000acidjnk_new(~acidjnk@p200300d6e71719923596d1db434d6d14.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-21 23:26:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 23:26:53 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 23:27:06 +0000trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 23:28:47 +0000weary-traveler(~user@user/user363627) user363627
2025-08-21 23:29:28 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-08-21 23:31:36 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-21 23:33:24 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 23:37:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 23:37:49 +0000comonad(~comonad@p200300d0270a4d00dd81877f81551ca0.dip0.t-ipconnect.de)
2025-08-21 23:41:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-21 23:44:24 +0000karenw(~karenw@user/karenw) (Ping timeout: 248 seconds)
2025-08-21 23:44:47 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-21 23:47:03 +0000weary-traveler(~user@user/user363627) user363627
2025-08-21 23:48:42 +0000tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-08-21 23:49:01 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-21 23:49:22 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-21 23:52:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 23:53:23 +0000sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-21 23:57:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)