2025/10/18

2025-10-18 00:06:50 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 248 seconds)
2025-10-18 00:07:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 00:13:02 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-18 00:13:14 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 248 seconds)
2025-10-18 00:13:22 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-18 00:13:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 00:14:00 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 00:14:32 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 00:21:02 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-18 00:25:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 00:26:49 +0200OftenFaded52(~OftenFade@user/tisktisk) OftenFaded
2025-10-18 00:29:05 +0200OftenFaded52(~OftenFade@user/tisktisk) ()
2025-10-18 00:29:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 00:30:58 +0200williu5(~williu5@user/williu5) williu5
2025-10-18 00:36:49 +0200Guest35(~Guest35@2601:445:701:128b:81d2:9396:b0b4:2042)
2025-10-18 00:37:44 +0200Guest35(~Guest35@2601:445:701:128b:81d2:9396:b0b4:2042) (Client Quit)
2025-10-18 00:37:52 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2025-10-18 00:39:21 +0200bggd(~bgg@2a01:e0a:819:1510:f5d2:a275:c958:d954)
2025-10-18 00:40:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 00:45:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 00:46:53 +0200trickard_trickard
2025-10-18 00:47:12 +0200Unicorn_Princes-Unicorn_Princes
2025-10-18 00:52:11 +0200Unicorn_Princes(~Unicorn_P@89.143.18.181) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in)
2025-10-18 00:53:00 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 00:54:10 +0200gustrb(~gustrb@191.243.134.87) (Remote host closed the connection)
2025-10-18 00:54:34 +0200gustrb(~gustrb@191.243.134.87)
2025-10-18 00:56:32 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-18 00:56:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 00:56:51 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-18 01:00:10 +0200synchromesh(~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer)
2025-10-18 01:00:58 +0200synchromesh(~john@2406:5a00:2412:2c00:946e:eb4c:8b28:63bf) synchromesh
2025-10-18 01:01:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 01:09:52 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-18 01:12:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 01:17:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-18 01:19:57 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 01:20:10 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 01:26:41 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-18 01:28:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 01:31:53 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-18 01:32:42 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-10-18 01:32:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 01:34:51 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-18 01:36:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 01:41:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 01:41:25 +0200bcksl(~bcksl@user/bcksl) (Ping timeout: 265 seconds)
2025-10-18 01:41:54 +0200end(~end@user/end/x-0094621) (Ping timeout: 265 seconds)
2025-10-18 01:42:51 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-18 01:42:52 +0200sus0(zero@user/zeromomentum) (Ping timeout: 265 seconds)
2025-10-18 01:51:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 01:58:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 02:02:36 +0200bcksl(~bcksl@user/bcksl) bcksl
2025-10-18 02:05:37 +0200karenw_(~karenw@user/karenw) karenw
2025-10-18 02:07:50 +0200end(~end@user/end/x-0094621) end^
2025-10-18 02:09:25 +0200trickard_trickard
2025-10-18 02:09:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 02:10:32 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-18 02:10:41 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-18 02:12:21 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-10-18 02:14:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 02:15:50 +0200Googulator18(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-18 02:15:50 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-18 02:15:52 +0200pabs3(~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.)
2025-10-18 02:18:53 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-10-18 02:21:37 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:517f:1a3d:2df2:a366)
2025-10-18 02:22:09 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-10-18 02:22:32 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-10-18 02:25:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 02:26:03 +0200synchromesh(~john@2406:5a00:2412:2c00:946e:eb4c:8b28:63bf) (Quit: WeeChat 4.1.1)
2025-10-18 02:28:42 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 248 seconds)
2025-10-18 02:28:45 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-18 02:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 02:32:29 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-18 02:41:23 +0200Esa_(~esa.syt@user/Esa-:33866) Esa_
2025-10-18 02:41:30 +0200Esa_(~esa.syt@user/Esa-:33866) ()
2025-10-18 02:41:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 02:44:13 +0200otto_s(~user@p5de2f2fc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-10-18 02:44:16 +0200califax(~califax@user/califx) califx
2025-10-18 02:45:56 +0200otto_s(~user@p5b044368.dip0.t-ipconnect.de)
2025-10-18 02:45:58 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 246 seconds)
2025-10-18 02:46:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 02:51:57 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-10-18 02:57:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 03:02:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 03:02:40 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2025-10-18 03:05:35 +0200califax_(~califax@user/califx) califx
2025-10-18 03:05:44 +0200califax(~califax@user/califx) (Ping timeout: 272 seconds)
2025-10-18 03:06:50 +0200califax_califax
2025-10-18 03:10:57 +0200acidjnk(~acidjnk@p200300d6e71719070129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-10-18 03:11:33 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-18 03:11:54 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-18 03:13:17 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 03:13:31 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 03:14:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 03:19:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 03:24:44 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-18 03:26:55 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds)
2025-10-18 03:29:55 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 03:30:08 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 03:30:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 03:33:13 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-10-18 03:33:19 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer)
2025-10-18 03:34:59 +0200ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-10-18 03:36:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 03:40:17 +0200 <dcpagan> Is there a parallel evaluation strategy optimized for monoids? Like, it divides a foldable into chunks, evaluates in parallel each chunk into a monoid, and then folds the monoids?
2025-10-18 03:41:03 +0200 <dcpagan> Monoids are associative, and chunking is just association.
2025-10-18 03:41:19 +0200karenw_(~karenw@user/karenw) (Ping timeout: 256 seconds)
2025-10-18 03:43:03 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-18 03:43:33 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-10-18 03:44:25 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-18 03:45:20 +0200 <dcpagan> I wrote my own chunking logic for parallel evaluation with this in mind: https://github.com/DCPagan/Exercism-Haskell/blob/master/parallel-letter-frequency/src/Frequency.hs
2025-10-18 03:46:04 +0200 <dcpagan> It benchmarks pretty well, but is there another evaluation strategy generalized for any monoid?
2025-10-18 03:46:24 +0200Zemy(~Zemy@2600:100c:b0af:f5a4:ccc8:72ff:fe4b:2333)
2025-10-18 03:46:25 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-18 03:47:34 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-18 03:48:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 03:49:15 +0200 <dcpagan> The source code for [parListChunk](https://hackage-content.haskell.org/package/parallel-3.2.2.0/docs/Control-Parallel-Strategies.html…) uses "concat"; is there another that uses a monoidal map with a given parallel strategy, and "mconcat" with a given sequential strategy?
2025-10-18 03:49:15 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds)
2025-10-18 03:49:26 +0200Zemy(~Zemy@2600:100c:b0af:f5a4:ccc8:72ff:fe4b:2333) (Read error: Connection reset by peer)
2025-10-18 03:49:47 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-18 03:49:48 +0200Zemy(~Zemy@2600:100c:b0af:f5a4:28d1:62ff:fe16:e109)
2025-10-18 03:50:23 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-18 03:51:04 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-10-18 03:53:12 +0200ringo__(~ringo@157.230.117.128) (Ping timeout: 252 seconds)
2025-10-18 03:53:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 03:54:18 +0200Zemy(~Zemy@2600:100c:b0af:f5a4:28d1:62ff:fe16:e109) (Ping timeout: 252 seconds)
2025-10-18 03:54:59 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 03:55:12 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 03:55:58 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:517f:1a3d:2df2:a366) (Ping timeout: 246 seconds)
2025-10-18 03:56:32 +0200 <Leary> dcpagan: You can just use the spark system: https://gist.github.com/LSLeary/4a3d918ac1409baba8a5999e18efdcfb
2025-10-18 03:57:34 +0200ringo__(~ringo@157.230.117.128) ringo_
2025-10-18 04:04:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 04:04:15 +0200trickard_trickard
2025-10-18 04:04:50 +0200omnifunctor(~omnifunct@user/semifunctor) ()
2025-10-18 04:08:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 04:09:05 +0200ringo__(~ringo@157.230.117.128) (Ping timeout: 256 seconds)
2025-10-18 04:09:08 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-18 04:09:27 +0200califax(~califax@user/califx) califx
2025-10-18 04:14:21 +0200ringo__(~ringo@157.230.117.128) ringo_
2025-10-18 04:18:37 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2025-10-18 04:20:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 04:24:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 04:32:58 +0200td_(~td@i5387090B.versanet.de) (Ping timeout: 248 seconds)
2025-10-18 04:34:56 +0200td_(~td@i53870927.versanet.de) td_
2025-10-18 04:35:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 04:39:17 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-10-18 04:39:22 +0200myfirstname(~myfirstna@user/myfirstname) (Client Quit)
2025-10-18 04:40:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 04:51:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 04:53:47 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 248 seconds)
2025-10-18 04:56:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 05:07:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 05:12:47 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2025-10-18 05:14:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 05:15:26 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-10-18 05:16:25 +0200cr00k(~cr00k@user/cr00k) cr00k
2025-10-18 05:17:13 +0200cr00k(~cr00k@user/cr00k) (Client Quit)
2025-10-18 05:25:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 05:30:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 05:31:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 05:36:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 05:45:03 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-18 05:45:39 +0200karenw_(~karenw@user/karenw) karenw
2025-10-18 05:47:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 05:52:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 05:55:06 +0200aforemny(~aforemny@2001:9e8:6cf1:8200:5418:7e22:c389:aad3) (Ping timeout: 248 seconds)
2025-10-18 05:55:30 +0200aforemny(~aforemny@i577B12DA.versanet.de) aforemny
2025-10-18 06:02:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 06:07:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-18 06:16:15 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-18 06:18:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 06:22:04 +0200annamalai(~annamalai@157.49.240.32) annamalai
2025-10-18 06:23:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 06:32:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 06:37:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 06:42:33 +0200Guest73(~Guest73@107.151.216.96)
2025-10-18 06:43:45 +0200qqe(~qqq@185.54.23.200)
2025-10-18 06:44:25 +0200Guest73(~Guest73@107.151.216.96) (Client Quit)
2025-10-18 06:47:24 +0200califax(~califax@user/califx) (Ping timeout: 272 seconds)
2025-10-18 06:48:11 +0200califax(~califax@user/califx) califx
2025-10-18 06:48:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 06:53:25 +0200karenw_(~karenw@user/karenw) (Ping timeout: 256 seconds)
2025-10-18 06:55:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 06:57:54 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-10-18 06:58:40 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 246 seconds)
2025-10-18 07:03:07 +0200rvalue-rvalue
2025-10-18 07:04:01 +0200dcb(~dcb@user/dcb) dcb
2025-10-18 07:06:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 07:11:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 07:13:08 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-18 07:17:01 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-10-18 07:17:16 +0200fgarciafgidim
2025-10-18 07:22:13 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 264 seconds)
2025-10-18 07:22:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 07:26:34 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-18 07:27:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 07:33:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 07:35:04 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-10-18 07:38:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 07:40:27 +0200annamalai(~annamalai@157.49.240.32) (Ping timeout: 256 seconds)
2025-10-18 07:43:41 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 07:43:55 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 07:50:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 07:50:28 +0200caconym7478798(~caconym@user/caconym) (Ping timeout: 246 seconds)
2025-10-18 07:53:16 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-18 07:54:16 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-10-18 07:54:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 07:59:42 +0200trickard_trickard
2025-10-18 08:05:17 +0200chewybread(~chewybrea@user/chewybread) chewybread
2025-10-18 08:05:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 08:07:39 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-10-18 08:08:29 +0200annamalai(~annamalai@157.49.239.48) annamalai
2025-10-18 08:10:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 08:12:00 +0200poscat0x04(~poscat@user/poscat) poscat
2025-10-18 08:12:27 +0200chewybread(~chewybrea@user/chewybread) (Remote host closed the connection)
2025-10-18 08:12:48 +0200Square2(~Square@user/square) (Ping timeout: 252 seconds)
2025-10-18 08:13:46 +0200poscat(~poscat@user/poscat) (Ping timeout: 248 seconds)
2025-10-18 08:20:29 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-18 08:21:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 08:26:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-18 08:34:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 08:41:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-18 08:43:33 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 08:43:46 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 08:43:53 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Read error: Connection reset by peer)
2025-10-18 08:52:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 08:58:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 09:00:02 +0200caconym7478798(~caconym@user/caconym) (Quit: bye)
2025-10-18 09:00:44 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-18 09:02:39 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds)
2025-10-18 09:06:16 +0200poscat(~poscat@user/poscat) poscat
2025-10-18 09:07:28 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 246 seconds)
2025-10-18 09:08:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 09:12:08 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb)
2025-10-18 09:13:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 09:22:40 +0200vgtw(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2025-10-18 09:24:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 09:29:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 09:30:39 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-10-18 09:35:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 09:36:01 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-10-18 09:40:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 09:48:14 +0200craunts795335385(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-18 09:49:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 09:54:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 09:54:45 +0200qqe(~qqq@185.54.23.200) (Quit: Lost terminal)
2025-10-18 10:04:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 10:05:59 +0200sus0(zero@user/zeromomentum) zeromomentum
2025-10-18 10:09:05 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-18 10:09:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 10:10:26 +0200poscat(~poscat@user/poscat) poscat
2025-10-18 10:14:59 +0200irfan(~irfan@user/irfan) irfan
2025-10-18 10:20:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 10:26:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-18 10:32:59 +0200acidjnk(~acidjnk@p200300d6e7171983a9099d024dfa47e6.dip0.t-ipconnect.de) acidjnk
2025-10-18 10:33:01 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 10:33:15 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 10:36:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 10:39:52 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-18 10:41:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 10:44:52 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-18 10:52:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 10:57:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 11:00:32 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-18 11:03:41 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 11:03:47 +0200irfan(~irfan@user/irfan) (Quit: WeeChat 4.7.1)
2025-10-18 11:08:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 11:13:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 11:16:54 +0200nek0(~nek0@user/nek0) nek0
2025-10-18 11:24:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 11:29:03 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-18 11:31:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 11:37:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 11:39:35 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds)
2025-10-18 11:42:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 11:50:18 +0200trickard_trickard
2025-10-18 11:53:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 11:57:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 12:00:15 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2025-10-18 12:09:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 12:10:34 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds)
2025-10-18 12:11:46 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-18 12:14:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 12:15:36 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 12:15:49 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 12:24:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 12:27:26 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-18 12:28:07 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-18 12:30:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 12:38:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 12:43:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 12:50:07 +0200qqe(~qqq@185.54.23.200)
2025-10-18 12:50:21 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 12:50:35 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 12:52:27 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-10-18 12:54:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 12:58:48 +0200 <[exa]> ski: the diff in question was this: https://github.com/LCSB-BioCore/remotesom/commit/7b07e14baed8bd06680d1a6b3e112328ccbd5ac8#diff-20e…
2025-10-18 12:58:56 +0200 <[exa]> whoops github diff links are hefty
2025-10-18 12:59:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 13:00:04 +0200caconym7478798(~caconym@user/caconym) (Quit: bye)
2025-10-18 13:01:45 +0200trickard_trickard
2025-10-18 13:02:04 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-18 13:10:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 13:14:43 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 13:14:56 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 13:17:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 13:17:18 +0200 <[exa]> (omg what did it even highlight)
2025-10-18 13:28:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 13:30:43 +0200gustrb(~gustrb@191.243.134.87)
2025-10-18 13:33:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 13:34:25 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-18 13:35:07 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 260 seconds)
2025-10-18 13:36:25 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-18 13:36:59 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-10-18 13:37:44 +0200Lord_of_Life_Lord_of_Life
2025-10-18 13:39:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 13:42:12 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-18 13:45:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 13:54:55 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-18 13:55:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 13:57:27 +0200trickard_trickard
2025-10-18 14:00:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 14:00:36 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-18 14:00:47 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 260 seconds)
2025-10-18 14:08:39 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-18 14:11:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 14:14:13 +0200qqe(~qqq@185.54.23.200) (Quit: Lost terminal)
2025-10-18 14:16:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 14:16:26 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds)
2025-10-18 14:16:52 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-18 14:20:37 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds)
2025-10-18 14:24:03 +0200bggd(~bgg@2a01:e0a:819:1510:f5d2:a275:c958:d954) (Quit: std::move)
2025-10-18 14:27:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 14:32:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-18 14:42:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 14:49:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-18 14:51:49 +0200AlexZenon(~alzenon@85.174.180.124) (Quit: ;-)
2025-10-18 14:52:02 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-18 14:54:00 +0200AlexNoo(~AlexNoo@85.174.180.124) (Quit: Leaving)
2025-10-18 14:57:39 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-10-18 14:58:05 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-10-18 15:00:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 15:06:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 15:09:59 +0200tromp(~textual@2001:1c00:3487:1b00:5da6:eb72:7bdc:37c8)
2025-10-18 15:16:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 15:21:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 15:22:41 +0200AlexNoo(~AlexNoo@85.174.180.124)
2025-10-18 15:28:54 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-18 15:29:18 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-18 15:29:41 +0200AlexZenon(~alzenon@85.174.180.124)
2025-10-18 15:31:40 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 15:32:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 15:37:01 +0200swistak(~swistak@185.21.216.141) (Quit: bye bye)
2025-10-18 15:37:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 15:37:54 +0200swistak(~swistak@185.21.216.141)
2025-10-18 15:39:06 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 248 seconds)
2025-10-18 15:39:18 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-10-18 15:40:34 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-18 15:42:40 +0200swistak(~swistak@185.21.216.141) (Client Quit)
2025-10-18 15:43:44 +0200swistak(~swistak@185.21.216.141)
2025-10-18 15:44:25 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 264 seconds)
2025-10-18 15:46:27 +0200swistak(~swistak@185.21.216.141) (Client Quit)
2025-10-18 15:47:25 +0200swistak(~swistak@185.21.216.141)
2025-10-18 15:47:30 +0200poxel(~poxel@user/poxel) poxel
2025-10-18 15:48:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 15:53:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 15:54:41 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-10-18 15:54:41 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-10-18 15:59:20 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 16:02:05 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 16:02:19 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 16:03:20 +0200chenjf(~chenjf@68.64.178.54)
2025-10-18 16:04:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 16:08:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-18 16:13:25 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 16:13:38 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 16:19:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 16:26:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 16:31:34 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-18 16:35:15 +0200trickard_trickard
2025-10-18 16:37:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 16:41:17 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 16:41:31 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 16:42:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 16:43:39 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 16:50:58 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-10-18 16:52:07 +0200 <tabaqui> Hi! What is the equivalent of the cabal with-ghc option for stack? Specifically, I want to use wasm32-wasi-ghc from a different path.
2025-10-18 16:53:36 +0200chenjf(~chenjf@68.64.178.54) (Remote host closed the connection)
2025-10-18 16:53:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 16:54:03 +0200 <tabaqui> What's kinda strange is that documentation for Stack.Types.DownloadInfo.url suggest using absolute path, but it is not accepted by stack build itself
2025-10-18 16:54:28 +0200chenjf(~chenjf@68.64.178.54)
2025-10-18 16:55:09 +0200chenjf(~chenjf@68.64.178.54) (Client Quit)
2025-10-18 16:58:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 17:00:53 +0200raym(~ray@user/raym) (Ping timeout: 256 seconds)
2025-10-18 17:04:18 +0200 <geekosaur> I think the closest you get to that with stack is to use `system-ghc` and adjust your `PATH`
2025-10-18 17:07:41 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2025-10-18 17:08:07 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 17:09:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 17:09:42 +0200trickard_trickard
2025-10-18 17:09:59 +0200 <EvanR> the amount of times it comes down to having to adjust your PATH can we just stop and admit that's how to do it and stop making elaborate incompatible utilities to do it
2025-10-18 17:12:35 +0200 <tabaqui> I think having an option like "load-env-from" in the stack.yaml file would suffice. However, a link from wasm32-wasi-ghc to ghc is still needed.
2025-10-18 17:14:21 +0200 <geekosaur> right. stack isn't really intended for this
2025-10-18 17:14:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 17:14:50 +0200 <geekosaur> the "right" solution is a wasm-specific snapshot, tbh, but I doubt anyone has plans to make or maintain such
2025-10-18 17:16:05 +0200 <geekosaur> more to the point, stack was designed as a (standard) ghc-specific tool, and there's about zero thought put into alternative uses such as wasm or js backend
2025-10-18 17:16:59 +0200 <geekosaur> (which is not to claim cabal's much better; you can make it work but it takes a certain amount of beating it over the head with a mallet)
2025-10-18 17:17:39 +0200raym(~ray@user/raym) raym
2025-10-18 17:19:55 +0200Square2(~Square@user/square) Square
2025-10-18 17:20:43 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 250 seconds)
2025-10-18 17:25:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 17:28:13 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2025-10-18 17:30:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 17:30:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 17:35:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 17:40:47 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 17:41:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 17:41:55 +0200 <monochrom> And so I made a utility to adjust PATH (and pretty-print it etc) :)
2025-10-18 17:43:07 +0200 <EvanR> every Jedi builds their own light saber. You don't see Jedi download lightsaber of the week and then asking for help on how it works!
2025-10-18 17:43:55 +0200 <EvanR> but also analogy continues, you can lightsaber your own foot easily