Home liberachat/#haskell: Logs Calendar

Logs on 2025-07-13 (liberachat/#haskell)

00:02:18 × jespada quits (~jespada@r179-25-67-255.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
00:04:18 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
00:05:20 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
00:06:34 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
00:07:02 mhatta joins (~mhatta@www21123ui.sakura.ne.jp)
00:08:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:09:19 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
00:12:46 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
00:14:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
00:23:29 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
00:24:37 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:31:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
00:32:24 × califax quits (~califax@user/califx) (Remote host closed the connection)
00:33:32 califax joins (~califax@user/califx)
00:42:40 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:47:40 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
00:49:31 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
00:54:39 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
00:57:06 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
00:58:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:02:09 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 248 seconds)
01:03:13 tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com)
01:03:19 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
01:04:00 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
01:08:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
01:15:23 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
01:19:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:23:55 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
01:24:02 amadaluzia joins (~amadaluzi@user/amadaluzia)
01:24:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
01:33:34 × trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:33:48 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
01:34:26 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
01:35:09 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:39:28 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:39:33 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
01:42:53 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
01:44:32 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
01:48:19 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:50:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:54:40 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
01:55:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
02:05:03 × op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection)
02:05:37 op_4 joins (~tslil@user/op-4/x-9116473)
02:06:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:07:26 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
02:10:25 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
02:10:55 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
02:13:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
02:15:48 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
02:21:34 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
02:23:34 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Changing host)
02:23:35 Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius)
02:24:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:26:13 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
02:29:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
02:32:39 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
02:39:07 × td_ quits (~td@i5387093B.versanet.de) (Ping timeout: 252 seconds)
02:39:11 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
02:40:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:41:04 td_ joins (~td@i53870932.versanet.de)
02:43:55 weary-traveler joins (~user@user/user363627)
02:45:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
02:45:58 prdak joins (~Thunderbi@user/prdak)
02:52:23 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
02:56:02 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:57:25 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
03:01:06 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
03:02:44 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds)
03:03:33 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
03:04:22 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
03:09:42 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
03:09:42 × Square quits (~Square@user/square) (Ping timeout: 272 seconds)
03:11:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:16:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
03:19:37 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:24:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
03:31:46 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
03:35:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:39:58 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
03:40:23 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
03:46:37 aforemny joins (~aforemny@2001:9e8:6ccb:3a00:3bd:430d:af9a:7d16)
03:48:20 × aforemny_ quits (~aforemny@2001:9e8:6cec:a000:7c68:6f78:132a:91a9) (Ping timeout: 272 seconds)
03:51:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:56:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
04:03:03 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
04:04:15 × caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds)
04:06:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:12:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
04:21:13 × amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in)
04:22:36 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
04:22:42 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:22:49 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
04:24:56 amadaluzia joins (~amadaluzi@user/amadaluzia)
04:25:28 caubert joins (~caubert@user/caubert)
04:26:44 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
04:26:58 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
04:27:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
04:28:08 Lord_of_Life_ is now known as Lord_of_Life
04:30:16 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
04:31:15 × tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds)
04:33:00 tomku joins (~tomku@user/tomku)
04:34:00 × amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in)
04:38:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:43:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
04:46:11 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
04:54:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:00:48 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
05:01:36 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
05:03:58 wbooze joins (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de)
05:08:19 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
05:08:33 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
05:10:11 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
05:12:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:15:20 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
05:17:17 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
05:17:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
05:20:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:25:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
05:28:06 × caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds)
05:34:04 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
05:34:42 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
05:34:55 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
05:36:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:40:58 caubert joins (~caubert@user/caubert)
05:41:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
05:47:14 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
05:47:53 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
05:51:01 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
05:52:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:55:23 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
05:57:05 euphores joins (~SASL_euph@user/euphores)
05:57:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:07:55 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:11:36 <Axman6> byorgey: Just watching your ZuriHac talk, I really enjoyed it. I've done a few CTFs in Haskell and found needing a bunch of libraries and having to reinvent things like xoring the cycle of one bytestring with another so frustrating. Did you end up posting the solution to the last problem? (Also, so weird seeing the fase of someone you've only known by an IRC handle for... decades?)
06:12:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
06:14:35 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:14:48 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
06:21:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:26:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:26:32 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:26:46 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
06:29:22 srazkvt joins (~sarah@user/srazkvt)
06:32:14 trickard_ is now known as trickard
06:37:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:38:55 cute-guest joins (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377)
06:39:29 <cute-guest> hello haskell : D
06:39:46 × cute-guest quits (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) (Client Quit)
06:42:25 cute-guest joins (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377)
06:42:32 <cute-guest> oops
06:43:32 <cute-guest> well its pretty late ovr here and so not a lot of people are on probably,,
06:44:02 <EvanR> nobody here but us chicken schemes
06:44:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
06:44:20 <cute-guest> chickn schemes,, hmm
06:44:34 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
06:45:35 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
06:46:06 PoolloverNathan joins (~nathan@user/PoolloverNathan)
06:46:56 <cute-guest> do ya know anything abt effect systems? i think i made one but it probably wasnt v good,, do ya know which ones ppl like the most?
06:47:41 <cute-guest> i saw this one called "capabilites" recently but,, when i downed
06:47:47 <cute-guest> oops
06:48:07 <cute-guest> when i tried using it it had a whole buncha dependencies
06:48:41 <cute-guest> also,,,, whats,, chickn scheme
06:49:04 × cute-guest quits (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) (Quit: Client closed)
06:49:24 cute-guest joins (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377)
06:49:54 × cute-guest quits (~cute-gues@2601:602:57f:26a0:9158:2d3c:13d4:f377) (Client Quit)
06:53:17 <jreicher> Chicken is a compiler for Scheme, which is a Lisp.
06:53:33 × prdak quits (~Thunderbi@user/prdak) (Quit: prdak)
06:55:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:55:23 tromp joins (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925)
06:55:36 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
06:56:55 caubert joins (~caubert@user/caubert)
06:59:56 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
07:00:02 × caconym74 quits (~caconym@user/caconym) (Quit: bye)
07:00:42 caconym74 joins (~caconym@user/caconym)
07:01:29 × caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds)
07:04:29 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
07:11:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:13:13 caubert joins (~caubert@user/caubert)
07:16:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:19:03 <Enrico63> tomsmeding, wow, doing ./hadrian/build and its taking ages, but most of all, GBs. Are 56G enough? :D
07:21:04 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
07:21:25 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
07:22:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:26:28 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
07:28:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
07:34:43 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
07:37:03 × tromp quits (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:38:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:39:08 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
07:39:09 tromp joins (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925)
07:43:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
07:43:26 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
07:45:16 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
07:48:19 × tromp quits (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:51:25 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
07:52:28 × trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
07:52:41 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
07:54:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:59:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
08:01:57 acidjnk joins (~acidjnk@p200300d6e70b6650f56f112433cd0c6a.dip0.t-ipconnect.de)
08:02:58 lxsameer joins (~lxsameer@Serene/lxsameer)
08:04:46 <tomsmeding> Enrico63: RAM or disk? :p
08:05:08 <tomsmeding> my GHC build directory is 17G
08:05:18 <tomsmeding> er, repository -- the _build directory is 11G
08:05:39 <tomsmeding> GHC is big. :)
08:06:27 <Enrico63> I meant disk. Yes, I've completed with ~45G left, I had ~56G
08:07:09 <Enrico63> Now I'm starting ghci.. and that's compiling something else :/
08:08:57 <Enrico63> The next step is to understand/remember where in my config do I set that I want the Vi editing mode.
08:09:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:10:38 <Enrico63> Oh, .haskeline, right
08:13:13 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
08:14:59 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
08:15:21 <Enrico63> Opinion, if "cabal test" in libraries/haskeline fails (at runtime)... what have I done wrong?
08:15:39 <Enrico63> ~Opinion~ Question
08:16:21 tromp joins (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925)
08:16:28 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
08:20:15 <[exa]> Enrico63: haskeline is touching terminal weirdness so there might be cases
08:20:22 <[exa]> what's your system?
08:20:42 caubert joins (~caubert@user/caubert)
08:21:26 <Enrico63> ArchLinux
08:22:27 <Enrico63> Let me clarify: I normally use vi editing mode in GHCi, and my Haskell set up is managed via GHCup.
08:22:27 <Enrico63> Now I'm building it from source because I want to experiment precisely with haskeline, which has really poor support for vi editing mode.
08:23:22 <Enrico63> This is literally all I've done today:
08:23:23 <Enrico63> git clone https://gitlab.haskell.org/ghc/ghc.git
08:23:23 <Enrico63> cd ghc/
08:23:24 <Enrico63> git submodule update --init
08:23:24 <Enrico63> ./boot
08:23:25 <Enrico63> ./configure
08:23:25 <Enrico63> ./hadrian/build -j8
08:23:26 <Enrico63> cd libraries/haskeline
08:23:26 <Enrico63> cabal test
08:23:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:23:48 <mauke> wouldn't it be easier to experiment with haskeline in isolation first?
08:25:38 <[exa]> well to try stuff in ghci you need to build ghci with the modified haskeline
08:26:06 <Enrico63> mauke, how do I do that?
08:26:09 <[exa]> still, don't they have a slightly less overblown test program?
08:26:43 <[exa]> Enrico63: you can run haskeline in a completely stupid mode in a program that doesn't do anything, but the vi-style editing (and other things) should be moreless same as in ghci
08:26:58 <[exa]> wait I should have a sensible one handy
08:27:12 <[exa]> here https://github.com/exaexa/minihm
08:27:42 <tomsmeding> for what it's worth, `cabal test` on haskeline master fails for me too
08:28:38 <Enrico63> Happy it fails, it makes me feel normal, ahah
08:28:48 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
08:29:08 <[exa]> Quickcheck question: is there any good approach to generate test-cases for a program that should do edit merges (like git-merge or diff3 or so) ?
08:29:17 × caubert quits (~caubert@user/caubert) (Ping timeout: 265 seconds)
08:29:43 <[exa]> (even philosophically, what is the "property" to test there)
08:30:00 <tomsmeding> if you can apply a diff, then `apply diff left == right`?
08:30:05 <[exa]> that's for diff
08:30:10 <tomsmeding> oh right
08:30:25 <[exa]> diff is okay because composing patch and diff should kinda be an identity
08:30:28 <tomsmeding> merge has no spec anyway
08:30:41 <tomsmeding> merge is like "yolo if I can make it work it's probably fine"
08:30:44 <[exa]> with diff3 you have this orig+mine+yours and it produces a merged thing
08:30:52 <[exa]> so kinda wondering how to relate it to the originals
08:31:24 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
08:31:35 <[exa]> I could go the hard way and deconstruct the diff-zipping algorithm into a generator but that's more effort than I hoped for
08:32:13 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
08:32:23 <[exa]> hm maybe I generate a random merged file with conflicts, make the orig+mine+yours from that, and see what happens
08:35:01 <tomsmeding> also even if you give merging a spec, if that spec includes behaviour of current conventional merge algorithms, then it's still insufficient to actually be able to trust it in practice
08:35:40 <tomsmeding> because in code, changes are sometimes nonlocal, and merging will consider spacially distant changes to be logically unrelated
08:35:47 trickard_ is now known as trickard
08:36:24 <tomsmeding> so any property to prove/test about a merge algorithm will necessarily have to be lower-level than "it does the right thing"
08:36:38 <tomsmeding> and include some of the arbitrary choices/heuristics made in the algorithm
08:36:46 <tomsmeding> (like "how far is distant enough")
08:39:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:39:51 × tromp quits (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:41:10 caubert joins (~caubert@user/caubert)
08:44:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
08:47:20 × poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection)
08:47:35 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
08:48:23 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
08:50:24 poscat joins (~poscat@user/poscat)
08:51:55 fp1 joins (~Thunderbi@hof1.kyla.fi)
08:52:33 <Enrico63> [exa], wonderful, thanks!!!
08:53:26 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
08:55:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:58:43 <[exa]> tomsmeding: yeah well aware of that
08:59:14 <[exa]> spoiler: I got some stuff to merge that is so messed up that yakshaving a new mergetool will save an order of magnitude of effort
08:59:57 <tomsmeding> O.o
08:59:59 sprotte24 joins (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de)
09:00:04 <tomsmeding> my condolences
09:00:06 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
09:00:56 <Enrico63> [exa] 3 way merge, then ?
09:01:08 ljdarj joins (~Thunderbi@user/ljdarj)
09:01:30 <[exa]> this is 3 large refactors all of which included complete reformat of the code
09:01:38 <[exa]> (with incompatible formatters)
09:02:08 <tomsmeding> reformat all versions with the same formatter now, and _then_ merge?
09:02:24 <tomsmeding> also how are you even planning to attack that with a custom merge tool
09:03:21 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
09:03:24 <tomsmeding> merging two incompatible large refactors of a codebase sounds like a hopeless task for any automated system
09:10:03 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
09:10:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:15:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
09:16:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:17:23 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
09:18:08 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
09:18:52 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
09:22:06 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
09:23:07 Square joins (~Square@user/square)
09:23:27 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
09:24:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:28:12 michalz joins (~michalz@185.246.207.197)
09:29:12 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:31:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
09:31:45 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
09:34:19 × acidjnk quits (~acidjnk@p200300d6e70b6650f56f112433cd0c6a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
09:42:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:43:04 × fp1 quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 268 seconds)
09:44:17 × caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds)
09:44:30 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
09:47:00 × sprotte24 quits (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) (Quit: Leaving)
09:47:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
09:47:42 <haskellbridge> <maralorn> [exa] Are you aware of mergiraf.org?
09:48:10 <haskellbridge> <maralorn> Maybe it could help.
09:49:17 sprotte24 joins (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de)
09:54:33 __monty__ joins (~toonn@user/toonn)
09:54:44 × trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
09:54:57 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
09:57:04 caubert joins (~caubert@user/caubert)
09:58:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:59:24 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
10:01:07 wootehfoot joins (~wootehfoo@user/wootehfoot)
10:01:25 tromp joins (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925)
10:02:29 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
10:03:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
10:05:19 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
10:07:14 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
10:14:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:14:34 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:14:48 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
10:19:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
10:24:32 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
10:25:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:29:32 trickard_ is now known as trickard
10:30:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
10:31:29 acidjnk joins (~acidjnk@p200300d6e70b6650c95b36139ef284f9.dip0.t-ipconnect.de)
10:36:04 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
10:36:25 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
10:36:29 <[exa]> maralorn: that looks like quite a bit of overkill
10:37:09 <tomsmeding> [exa]: how is an off-the-shelf tool overkill but writing your own merge tool not
10:37:35 <[exa]> no like, the amount of code there ain't small
10:38:51 <tomsmeding> I'm curious what conflicts you have that are not solvable using a code formatter and manual conflict resolution, but for which writing your own merge tool is feasible
10:39:13 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.9.1 - https://znc.in)
10:39:40 <[exa]> ah they depend on tree-sitter and tree matching, okay that's a fair shot
10:39:45 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds)
10:40:43 rembo10 joins (~rembo10@main.remulis.com)
10:40:59 wootehfoot joins (~wootehfoo@user/wootehfoot)
10:41:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:43:48 <[exa]> tomsmeding: biocuration outputs, there's plenty of freetext there ("comments") which have to be merged sensibly as well
10:44:33 <tomsmeding> ah I see
10:44:37 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
10:44:53 <tomsmeding> where possibly, if comments changed differently in both versions, it's fine to just keep both?
10:45:21 <tomsmeding> which would be something that's not too hard to build but not done by existing merge tools
10:45:24 × califax quits (~califax@user/califx) (Remote host closed the connection)
10:46:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
10:47:11 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
10:47:39 califax joins (~califax@user/califx)
10:48:31 lxsameer joins (~lxsameer@Serene/lxsameer)
10:50:10 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
10:50:53 <[exa]> tomsmeding: nah the plaintext changes are the main issue
10:51:18 <[exa]> if these wouldn't be the problem I'd just forceformat everything
10:52:43 <[exa]> hm for the closest picture imagine merging changes in a TeX paper where 2 mathematicians very zealous about tex macros have each spent a month working independently, one of them force-justifying stuff to 80chars and other one to 120chars
10:53:08 <[exa]> nvm it's almost done :D
10:57:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:00:38 × lambdap2371 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection)
11:00:53 lambdap23717 joins (~lambdap@static.167.190.119.168.clients.your-server.de)
11:01:10 jespada joins (~jespada@r167-61-141-199.dialup.adsl.anteldata.net.uy)
11:01:46 × sprotte24 quits (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
11:02:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
11:03:28 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
11:06:18 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
11:08:40 × tromp quits (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:11:57 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
11:12:55 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:14:04 × califax quits (~califax@user/califx) (Ping timeout: 244 seconds)
11:16:45 <tomsmeding> [exa]: hope you're being paid for this
11:17:17 <tomsmeding> and that there's a domain expert thoroughly checking the output of your merging process :p
11:18:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
11:18:59 <tomsmeding> [exa]: for the TeX hypothetical you described, what I'd do is open the two side-to-side in vimdiff and manually manipulate both documents until they are at some point equal
11:19:16 <tomsmeding> "manually" as in, using formatting/reflowing/regex tools, but otherwise manually eyeballing
11:19:24 <tomsmeding> you can't auto-merge mathematical arguments
11:21:24 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
11:21:42 × patri_ quits (~patri@user/patri) (Ping timeout: 276 seconds)
11:23:00 califax joins (~califax@user/califx)
11:23:25 tromp joins (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925)
11:23:50 gmg joins (~user@user/gehmehgeh)
11:26:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:29:24 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
11:30:40 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
11:32:57 <haskellbridge> <maralorn> It might be overkill but it works great and I love that it exists
11:40:27 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
11:41:54 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:44:06 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
11:47:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
11:50:12 <[exa]> maralorn: yeah if this was pure source code it would probably just do it
11:50:54 <[exa]> just curious, what does it do if the source code is invalid?
11:51:05 <[exa]> (or if someone comments out half of the file or so)
11:57:42 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:59:06 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
12:02:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
12:03:26 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
12:04:39 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
12:05:13 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
12:05:13 <[exa]> anyway turns out that just cutting the source to pieces by spaces AND having a diff3 that ignores the space conflicts almost does it for me
12:11:47 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
12:12:18 × trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
12:12:31 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
12:12:48 wootehfoot joins (~wootehfoo@user/wootehfoot)
12:13:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:15:12 caubert joins (~caubert@user/caubert)
12:18:24 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
12:20:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
12:22:32 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
12:27:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:29:56 weary-traveler joins (~user@user/user363627)
12:30:23 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
12:31:14 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
12:33:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
12:43:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:45:58 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
12:48:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
12:52:38 × califax quits (~califax@user/califx) (Remote host closed the connection)
12:54:18 califax joins (~califax@user/califx)
12:55:32 sprotte24 joins (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de)
12:57:16 × califax quits (~califax@user/califx) (Remote host closed the connection)
12:57:28 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
12:58:08 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
12:58:50 califax joins (~califax@user/califx)
12:59:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:01:11 × califax quits (~califax@user/califx) (Remote host closed the connection)
13:02:34 califax joins (~califax@user/califx)
13:03:34 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
13:04:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
13:07:22 × califax quits (~califax@user/califx) (Remote host closed the connection)
13:08:40 califax joins (~califax@user/califx)
13:10:04 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:10:17 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
13:10:27 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
13:11:03 <tomsmeding> :)
13:11:21 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
13:14:04 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
13:14:49 × califax quits (~califax@user/califx) (Remote host closed the connection)
13:14:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:16:00 caubert joins (~caubert@user/caubert)
13:16:02 califax joins (~califax@user/califx)
13:19:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
13:20:53 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
13:27:25 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
13:30:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:32:50 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
13:35:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
13:35:35 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
13:36:09 × califax quits (~califax@user/califx) (Ping timeout: 244 seconds)
13:39:39 lxsameer joins (~lxsameer@Serene/lxsameer)
13:43:47 califax joins (~califax@user/califx)
13:46:05 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
13:46:25 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:48:02 Lycurgus joins (~juan@user/Lycurgus)
13:52:15 × acidjnk quits (~acidjnk@p200300d6e70b6650c95b36139ef284f9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
13:52:53 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
13:54:13 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
13:55:11 × Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
13:55:27 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
13:58:31 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
14:04:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:05:59 falafel joins (~falafel@2a0c:5a87:3104:8f01::f709)
14:07:18 poscat0x04 joins (~poscat@user/poscat)
14:09:04 × poscat quits (~poscat@user/poscat) (Ping timeout: 260 seconds)
14:09:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
14:09:35 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
14:10:22 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
14:13:14 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds)
14:14:14 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
14:14:38 × falafel quits (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
14:15:24 haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
14:15:24 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
14:15:24 haritz joins (~hrtz@user/haritz)
14:19:06 × caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds)
14:20:15 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:21:18 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
14:21:48 caubert joins (~caubert@user/caubert)
14:25:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
14:26:19 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
14:33:02 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
14:33:07 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
14:35:22 × califax quits (~califax@user/califx) (Remote host closed the connection)
14:36:02 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:36:37 califax joins (~califax@user/califx)
14:39:34 acidjnk joins (~acidjnk@p200300d6e70b6600c95b36139ef284f9.dip0.t-ipconnect.de)
14:41:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
14:43:08 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
14:45:54 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
14:46:52 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
14:47:11 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
14:48:21 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit)
14:51:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:57:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
14:59:14 wootehfoot joins (~wootehfoo@user/wootehfoot)
14:59:27 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Client Quit)
15:05:07 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
15:05:21 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
15:07:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:12:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
15:20:58 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:21:55 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
15:22:16 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
15:22:19 × tromp quits (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:22:39 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
15:23:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:29:59 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
15:35:41 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
15:36:06 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
15:36:27 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
15:37:29 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
15:41:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:42:34 × ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3)
15:45:03 Lycurgus joins (~juan@user/Lycurgus)
15:46:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
15:52:24 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
15:55:10 ouilemur joins (~jgmerritt@user/ouilemur)
15:56:55 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:57:53 tromp joins (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925)
16:01:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
16:10:16 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
16:15:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:15:50 lol_ joins (~lol@2603:3016:1e01:b960:68f4:f810:ede6:3c8e)
16:17:05 × MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Quit: WeeChat 4.5.2)
16:17:29 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
16:19:24 × jcarpenter2 quits (~lol@2603:3016:1e01:b960:2508:4591:90ad:e4) (Ping timeout: 276 seconds)
16:19:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
16:21:10 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
16:22:57 amadaluzia joins (~amadaluzi@user/amadaluzia)
16:26:20 × caubert quits (~caubert@user/caubert) (Ping timeout: 265 seconds)
16:28:15 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
16:30:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:35:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
16:36:33 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
16:39:15 caubert joins (~caubert@user/caubert)
16:39:27 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit)
16:42:26 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
16:42:29 × Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
16:44:37 humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net)
16:45:30 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
16:46:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:50:56 humasect_ is now known as humasect
16:51:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
16:59:34 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
17:01:06 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
17:02:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:09:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
17:11:13 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
17:13:51 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
17:14:17 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
17:17:59 wootehfoot joins (~wootehfoo@user/wootehfoot)
17:20:11 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:21:35 visilii_ joins (~visilii@213.24.126.48)
17:21:47 × visilii quits (~visilii@188.254.126.241) (Ping timeout: 244 seconds)
17:24:33 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
17:27:32 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
17:29:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:34:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
17:35:57 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
17:36:05 jmcantrell joins (~weechat@user/jmcantrell)
17:36:18 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
17:41:04 × jespada quits (~jespada@r167-61-141-199.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
17:41:49 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
17:42:01 jespada joins (~jespada@r167-61-141-199.dialup.adsl.anteldata.net.uy)
17:45:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:47:28 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
17:49:57 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
17:50:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
17:53:16 caubert joins (~caubert@user/caubert)
18:00:17 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
18:01:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:02:24 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
18:04:58 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
18:06:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
18:07:10 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
18:07:19 × califax quits (~califax@user/califx) (Remote host closed the connection)
18:07:36 califax joins (~califax@user/califx)
18:09:52 × amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in)
18:10:48 amadaluzia joins (~amadaluzi@user/amadaluzia)
18:13:59 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
18:15:32 × amadaluzia quits (~amadaluzi@user/amadaluzia) (Client Quit)
18:16:21 amadaluzia joins (~amadaluzi@user/amadaluzia)
18:16:26 prdak joins (~Thunderbi@user/prdak)
18:16:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:21:50 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
18:22:05 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
18:22:48 gmg joins (~user@user/gehmehgeh)
18:23:25 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
18:32:20 × kimiamania99 quits (~65804703@user/kimiamania) (Quit: PegeLinux)
18:32:43 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:33:39 kimiamania99 joins (~65804703@user/kimiamania)
18:34:49 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
18:37:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
18:38:58 × kimiamania99 quits (~65804703@user/kimiamania) (Quit: PegeLinux)
18:40:41 kimiamania99 joins (~65804703@user/kimiamania)
18:44:42 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
18:45:14 lol_ is now known as jcarpenter2
18:47:12 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
18:48:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:54:05 × tromp quits (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:55:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
18:55:29 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
19:00:03 × srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!)
19:00:06 × caconym74 quits (~caconym@user/caconym) (Quit: bye)
19:00:46 caconym74 joins (~caconym@user/caconym)
19:03:25 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
19:05:44 × turlando quits (~turlando@user/turlando) ()
19:06:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:07:42 turlando joins (~turlando@user/turlando)
19:09:39 × turlando quits (~turlando@user/turlando) (Client Quit)
19:11:03 caubert joins (~caubert@user/caubert)
19:11:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
19:12:41 qqe joins (~qqq@185.54.21.199)
19:12:47 turlando joins (~turlando@user/turlando)
19:16:06 × yin quits (~zero@user/zero) (Ping timeout: 252 seconds)
19:19:31 prdak1 joins (~Thunderbi@user/prdak)
19:20:23 yin joins (~zero@user/zero)
19:22:13 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
19:22:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:22:44 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 268 seconds)
19:22:44 prdak1 is now known as prdak
19:24:09 × phma quits (~phma@2001:5b0:2172:f888:5e4a:1c85:98a6:a86f) (Read error: Connection reset by peer)
19:27:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
19:28:55 tromp joins (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925)
19:30:57 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
19:31:05 phma joins (~phma@2001:5b0:210b:8188:27d4:ce33:1208:51e3)
19:31:52 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
19:34:58 × yin quits (~zero@user/zero) (Ping timeout: 245 seconds)
19:37:25 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
19:38:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:43:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
19:45:00 yin joins (~zero@user/zero)
19:51:40 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
19:51:52 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
19:53:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:58:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
19:59:07 trickard_ is now known as trickard
20:06:14 target_i joins (~target_i@user/target-i/x-6023099)
20:07:47 × euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
20:07:58 Sgeo joins (~Sgeo@user/sgeo)
20:09:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:11:15 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
20:11:44 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
20:12:31 ljdarj1 joins (~Thunderbi@user/ljdarj)
20:14:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
20:15:24 × trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
20:15:38 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
20:16:13 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
20:17:18 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
20:17:18 ljdarj1 is now known as ljdarj
20:17:32 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
20:18:09 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
20:18:48 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
20:24:24 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
20:25:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:26:17 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
20:27:34 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
20:29:18 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
20:31:11 × acidjnk quits (~acidjnk@p200300d6e70b6600c95b36139ef284f9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
20:31:19 Lycurgus joins (~juan@user/Lycurgus)
20:31:47 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
20:32:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
20:33:34 notzmv joins (~umar@user/notzmv)
20:35:10 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds)
20:35:28 <[exa]> maralorn: re the merge yakshaving quest, in the end this kinda worked for me https://github.com/exaexa/werge
20:37:27 gmg joins (~user@user/gehmehgeh)
20:38:13 <[exa]> (there's still one issue, if there's a space-only conflict next to a mergeable non-space change, both end up as a conflict irrespectively of the "ignore space conflict" settings... so in my megamerge I fixed that with a bit of extra regex and now we're merged)
20:40:27 <[exa]> without the options parser it's ~300LoC hack, I somehow like it
20:41:02 caubert joins (~caubert@user/caubert)
20:43:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:46:15 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
20:47:19 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
20:47:38 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
20:48:19 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jsvkjsdbkj)
20:49:10 acidjnk joins (~acidjnk@p200300d6e70b6600c95b36139ef284f9.dip0.t-ipconnect.de)
20:49:37 × michalz quits (~michalz@185.246.207.197) (Remote host closed the connection)
20:52:37 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
20:58:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:59:56 caubert joins (~caubert@user/caubert)
21:02:13 × Square quits (~Square@user/square) (Ping timeout: 248 seconds)
21:02:58 × Miroboru quits (~myrvoll@84.215.249.36) (Quit: Lost terminal)
21:04:06 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
21:04:51 prdak joins (~Thunderbi@user/prdak)
21:04:58 randomstuff joins (~randomstu@37.120.80.229)
21:06:32 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
21:08:18 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
21:09:05 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
21:09:17 ttybitnik joins (~ttybitnik@user/wolper)
21:10:48 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
21:11:01 × tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds)
21:12:22 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
21:14:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:14:47 × ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection)
21:19:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
21:21:39 × Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
21:21:45 caubert joins (~caubert@user/caubert)
21:23:45 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
21:24:05 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
21:24:21 prdak joins (~Thunderbi@user/prdak)
21:28:34 arandombit joins (~halloy786@user/arandombit)
21:28:58 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
21:29:11 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
21:29:22 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
21:30:09 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:32:17 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 265 seconds)
21:33:03 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
21:35:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
21:41:26 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
21:42:01 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
21:43:47 × hc quits (~hc@mail.hce.li) (Remote host closed the connection)
21:44:22 <tomsmeding> [exa]: what does "use it accordingly" mean in this context :p
21:45:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:48:02 × tromp quits (~textual@2001:1c00:3487:1b00:89d3:7d92:7b20:925) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:51:33 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
21:52:32 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
21:53:07 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
21:58:16 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:58:17 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
21:58:58 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
22:01:43 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:02:46 ljdarj1 joins (~Thunderbi@user/ljdarj)
22:05:48 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
22:05:51 ljdarj1 is now known as ljdarj
22:06:31 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
22:08:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
22:09:10 poxel joins (~poxel@user/poxel)
22:09:45 × jespada quits (~jespada@r167-61-141-199.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
22:10:21 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
22:10:31 jespada joins (~jespada@r179-25-152-178.dialup.adsl.anteldata.net.uy)
22:11:49 × poxel quits (~poxel@user/poxel) (Client Quit)
22:12:08 poxel joins (~poxel@user/poxel)
22:12:33 × poxel quits (~poxel@user/poxel) (Client Quit)
22:17:26 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
22:18:30 <ii8> Is there a way to download a tarball of a package from hackage.org that has a fixed hash? Maybe something like https://hackage.haskell.org/package/cborg-0.2.10.0/cborg-0.2.10.0.tar.gz?index-state=2025-02-02T20:29:37Z
22:18:38 prdak joins (~Thunderbi@user/prdak)
22:18:44 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
22:19:14 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
22:22:25 pavonia joins (~user@user/siracusa)
22:23:43 ttybitnik joins (~ttybitnik@user/wolper)
22:25:11 × trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
22:25:24 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
22:25:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:26:00 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
22:30:00 × amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in)
22:31:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
22:36:25 trickard_ is now known as trickard
22:38:19 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
22:41:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:42:10 prdak joins (~Thunderbi@user/prdak)
22:42:45 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
22:43:07 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
22:46:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
22:47:04 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 272 seconds)
22:48:10 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
22:48:31 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
22:53:52 × trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
22:54:05 trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au)
22:54:21 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
22:54:42 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
22:57:10 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:58:29 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
23:02:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
23:04:19 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
23:05:22 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
23:08:21 <monochrom> I only know how to split that into a set-index-state step and a download step. cabal update hackage.haskell.org,2025-02-02T20:29:37Z ; cabal get cborg-0.2.10.0
23:09:14 <monochrom> Oh oops it could have been cabal get --index-state=2025-02-02T20:29:37Z cborg-0.2.10.0
23:09:38 <monochrom> (`cabal get --help` was helpful)
23:11:26 weary-traveler joins (~user@user/user363627)
23:12:55 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:14:21 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
23:14:29 × acidjnk quits (~acidjnk@p200300d6e70b6600c95b36139ef284f9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
23:14:57 <ii8> Ah but I don't have cabal. Cabal is what I'm trying to build and the bootstrap script is just downloading the tarballs and then checking the hashes
23:15:04 <ii8> But the hashes on hackage don't seem to be stable
23:15:40 <ii8> So I'd need something that I can just put on the download url
23:16:04 <ii8> I'm trying to read the cabal source code to see how it does it, but there's a lot of it..
23:16:18 × randomstuff quits (~randomstu@37.120.80.229) (Quit: Client closed)
23:17:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:18:09 prdak joins (~Thunderbi@user/prdak)
23:18:17 <ii8> Oh, hackage actually claims that the tarball is never changed, so it must be the metadata then that is failing the hash
23:20:03 × arandombit quits (~halloy786@user/arandombit) (Remote host closed the connection)
23:22:25 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
23:23:55 <ii8> Must have been a transient network error. ty monochrom
23:25:40 <geekosaur> I was wondering, I'm running the bootstrap for 3.14 with ghc-9.8.2 and not getting any hash mismatches
23:25:48 × ZLima12 quits (~zlima12@user/meow/ZLima12) (Remote host closed the connection)
23:26:07 <geekosaur> and master and 3.16-to-be are checked with every PR
23:26:57 ZLima12 joins (~zlima12@user/meow/ZLima12)
23:28:35 <geekosaur> also what system/arch are you on that you need to bootstrap?
23:28:44 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:30:06 <ii8> Yea I wasn't getting mismatches either on x86_64 it was reported by someone on aarch64. But I think it was transient
23:30:40 <ii8> I am packaging for void-linux on i686, x86_64, x86_64 musl libc, aarch64 and aarch64 musl
23:30:48 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
23:31:46 <ii8> If you want to have a look: https://github.com/void-linux/void-packages/pull/56112
23:32:47 × sprotte24 quits (~sprotte24@p200300d16f118b009de684e40fbf0935.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
23:33:02 <geekosaur> interesting. I don't think we have access to any linux aarch64 builders
23:33:23 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
23:33:23 <jackdk> Is anyone else having trouble acquiring gnulib? I'm trying the `live-bootstrap/rootfs.py` script and getting `requests.exceptions.RequestException: [Errno Unable to download _ from ] any mirror or original` when trying to fetch gnulib-8e128r.tar.gz
23:33:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
23:34:54 <geekosaur> are you asking in the right channel?
23:38:48 prdak joins (~Thunderbi@user/prdak)
23:39:38 jmcantrell joins (~weechat@user/jmcantrell)
23:40:27 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
23:43:16 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
23:44:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:49:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
23:55:00 falafel joins (~falafel@90.160.16.54)
23:56:31 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
23:57:25 prdak joins (~Thunderbi@user/prdak)
23:59:13 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)

All times are in UTC on 2025-07-13.