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