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
2025-10-18 17:46:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 17:46:35 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2025-10-18 17:47:04 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-18 17:50:19 +0200 <tabaqui> Yes, I'm slowly shifting towards raw Cabal. (Makefile means complete nudity, which is illegal in most places.)
2025-10-18 17:51:46 +0200tabaqui1(~tabaqui@167.71.80.236) tabaqui
2025-10-18 17:55:34 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-18 17:57:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 18:00:11 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-10-18 18:02:39 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 256 seconds)
2025-10-18 18:04:42 +0200Psychotic1(~Psychotic@2600:1007:b038:deca:b1b1:afa4:557b:d818)
2025-10-18 18:06:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-18 18:12:04 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-18 18:14:38 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 18:15:04 +0200Psychotic1(~Psychotic@2600:1007:b038:deca:b1b1:afa4:557b:d818) (Remote host closed the connection)
2025-10-18 18:17:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 18:20:04 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-18 18:22:21 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-18 18:23:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 18:25:43 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 18:31:34 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-18 18:33:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 18:38:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-18 18:39:13 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-18 18:49:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 18:52:04 +0200Everything(~Everythin@46.96.48.125) Everything
2025-10-18 18:54:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 19:05:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 19:06:38 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-18 19:07:49 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-18 19:09:14 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 248 seconds)
2025-10-18 19:10:03 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-10-18 19:10:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 19:12:56 +0200dtman34_(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2025-10-18 19:13:58 +0200 <dminuoso> tabaqui1: By Cabal you mean cabal-install?
2025-10-18 19:15:10 +0200 <tabaqui1> dminuoso: yes, like cabal project with dependency hell and manual resolution of conflicts
2025-10-18 19:15:33 +0200 <dminuoso> tabaqui1: dependency hell hasnt been a thing for nearly a decade now, with v2-style builds.
2025-10-18 19:16:02 +0200 <dminuoso> And conflict resolution I haven't really noticed much
2025-10-18 19:16:19 +0200 <tabaqui1> well, it was the time when I switched on stack projects
2025-10-18 19:16:48 +0200 <dminuoso> tabaqui1: for many years cabal has switched to a nix-inspired build style.
2025-10-18 19:17:02 +0200 <dminuoso> which used to be called v2-* or v2 commands, v2-build, etc..
2025-10-18 19:17:16 +0200 <dminuoso> But for a long time `cabal build` has been using v2-build now.
2025-10-18 19:17:18 +0200hseg_(~hseg_@46.120.21.40) hseg
2025-10-18 19:17:19 +0200 <tabaqui1> dminuoso: Nice to hear that, thansk
2025-10-18 19:18:17 +0200 <dminuoso> So in essence cabal builds and places its build artifacts into a store prefixed with a hash, allowing multiple versions to co-exist.
2025-10-18 19:18:45 +0200 <dminuoso> (or multiple flavours, like with different flags)
2025-10-18 19:19:07 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-18 19:22:59 +0200weary-traveler(~user@user/user363627) user363627
2025-10-18 19:27:36 +0200Zemy(~Zemy@2600:100c:b0a7:4bfb:f0d2:72ff:fe86:260e)
2025-10-18 19:27:50 +0200hseg_(~hseg_@46.120.21.40) (Remote host closed the connection)
2025-10-18 19:28:10 +0200hseg_(~hseg_@46.120.21.40) hseg
2025-10-18 19:29:06 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-18 19:31:03 +0200Zemy_(~Zemy@72.178.108.235) (Ping timeout: 256 seconds)
2025-10-18 19:31:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 19:31:41 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 19:32:44 +0200 <EvanR> hell was the paradigm where everyone pretends there is only one version of every library, the latest version. And it's a shared reality between all developers and all instances of a program running
2025-10-18 19:32:53 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-10-18 19:36:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-18 19:37:19 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-18 19:38:02 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 19:41:40 +0200poscat0x04(~poscat@user/poscat) poscat
2025-10-18 19:43:36 +0200poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-10-18 19:44:53 +0200Guest37(~Guest37@106.222.202.101)
2025-10-18 19:46:52 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-18 19:47:15 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-18 19:47:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 19:52:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 19:54:58 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-10-18 20:00:34 +0200Guest37(~Guest37@106.222.202.101) (Quit: Client closed)
2025-10-18 20:03:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 20:07:54 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-18 20:07:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 20:13:32 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2025-10-18 20:13:55 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 20:18:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 20:24:59 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-10-18 20:25:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-18 20:25:59 +0200hseg_(~hseg_@46.120.21.40) (Remote host closed the connection)
2025-10-18 20:26:01 +0200Square2(~Square@user/square) (Ping timeout: 256 seconds)
2025-10-18 20:31:18 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-10-18 20:33:30 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2025-10-18 20:36:07 +0200 <mreh> can you not use a type family from a superclass in a typeclass definition?
2025-10-18 20:36:34 +0200 <mreh> class ColourSampleable a => ColourRenderable a where
2025-10-18 20:36:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 20:36:49 +0200 <mreh> colourToGlsl :: Colour a (ColourComponent a) -> ByteString
2025-10-18 20:37:08 +0200 <mreh> Colour and ColourComponent are associated types from ColourSampleable
2025-10-18 20:38:08 +0200 <mreh> oh, you have to do `colourToGlsl :: a -> Colour a (ColourComponent a) -> ByteString`
2025-10-18 20:41:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 20:41:43 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2025-10-18 20:42:38 +0200 <dcpagan> The time package does not account for the Gregorian shift.
2025-10-18 20:44:01 +0200 <dcpagan> The British empire and its contemporary colonies, including America, adopted the Gregorian calendar in September 1752. If you live in a former British colony, like the United States, running in Linux the command "cal 9 1752" will show that 11 days are missing.
2025-10-18 20:44:55 +0200 <dcpagan> However, with the time package in Haskell, the following code is wrong:
2025-10-18 20:44:59 +0200 <dcpagan> import Data.Time.Calendar
2025-10-18 20:45:03 +0200 <dcpagan> dayOfWeek $ fromGregorian 1752 9 2
2025-10-18 20:45:57 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-18 20:47:38 +0200poxel(~poxel@user/poxel) (Quit: WeeChat 4.6.3)
2025-10-18 20:47:46 +0200 <dcpagan> mreh: With the language feature "TypeSynonymInstances", you can define type class instances for type synonyms.
2025-10-18 20:47:48 +0200 <dcpagan> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/instances.html#extension-TypeSynony…
2025-10-18 20:52:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 20:53:53 +0200 <mreh> dcpagan, does that apply to associated types?
2025-10-18 20:53:54 +0200 <int-e> This is by design; the package supports ISO 8601 dates which apply the Gregorian calendar "backwards" https://en.wikipedia.org/wiki/Proleptic_Gregorian_calendar#Usage
2025-10-18 20:53:56 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Leaving)
2025-10-18 20:54:49 +0200 <int-e> It's also a bunch of pure functions so there isn't much room for localization support
2025-10-18 20:55:14 +0200 <int-e> which otherwise you'd have to apply to account for all the different adaptation dates around the world
2025-10-18 20:56:13 +0200 <dcpagan> :mreh I'm pretty sure; an associated type is just a type family with its members declared in other type class instances.
2025-10-18 20:56:33 +0200 <dcpagan> Try enabling "FlexibleInstances".
2025-10-18 20:57:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 20:57:45 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-10-18 21:00:01 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds)
2025-10-18 21:00:07 +0200caconym7478798(~caconym@user/caconym) (Quit: bye)
2025-10-18 21:00:50 +0200 <mreh> hmm, I do already
2025-10-18 21:00:51 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-18 21:01:10 +0200 <mreh> I found a fix, anyway
2025-10-18 21:01:55 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-18 21:01:56 +0200 <mreh> I'm used to class methods always needing a value of the same type from the instance head
2025-10-18 21:05:39 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-18 21:08:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 21:12:53 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-18 21:13:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 21:17:33 +0200 <EvanR> dcpagan, proleptic gregorian calendar
2025-10-18 21:17:55 +0200 <EvanR> it goes before gregorian calendar was adopted, even into the years less than zero
2025-10-18 21:18:11 +0200 <EvanR> which are off by 1 vs years BC
2025-10-18 21:18:22 +0200 <EvanR> same days, different calendar
2025-10-18 21:18:42 +0200 <dcpagan> I just read the Wikipedia article, thanks for the reference.
2025-10-18 21:18:50 +0200 <dcpagan> I did not know that about ISO-8601.
2025-10-18 21:20:22 +0200 <monochrom> mreh: You can also consider "p a -> Colour a (ColourComponent a) -> ByteString". The user will usually supply "Proxy :: Proxy MyType", then a = MyType.
2025-10-18 21:21:43 +0200forell(~forell@user/forell) (Ping timeout: 265 seconds)
2025-10-18 21:23:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 21:28:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-18 21:30:38 +0200karenw_(~karenw@user/karenw) karenw
2025-10-18 21:36:38 +0200 <mreh> monochrom: I usually settle with (undefined :: a)
2025-10-18 21:37:21 +0200 <mreh> it's only for internal use
2025-10-18 21:37:34 +0200 <mreh> so I feel I can get away with it
2025-10-18 21:38:27 +0200 <EvanR> Proxy is pretty easy and doesn't explode in your face
2025-10-18 21:38:27 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2025-10-18 21:39:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 21:44:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-18 21:48:47 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-10-18 21:50:13 +0200Unicorn_Princes-(~Unicorn_P@89.143.18.181)
2025-10-18 21:54:43 +0200 <monochrom> If you turn on TypeApplication, then "Proxy :: Proxy MyType" can be compressed to "Proxy @MyType". It's very pleasing if you came from a System-F background. I did that en masse recently. :)
2025-10-18 21:55:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 21:55:18 +0200werneta(~werneta@71.83.160.242) werneta
2025-10-18 21:55:42 +0200 <monochrom> I write a type sig "foo :: Modulus m => ..." and the the implementation goes like "foo ... = ... method (Proxy @m) ...".
2025-10-18 21:56:05 +0200 <monochrom> ("method" is like "method :: p m -> Integer")
2025-10-18 21:56:55 +0200Unicorn_Princes-Unicorn_Princes
2025-10-18 21:57:09 +0200werneta(~werneta@71.83.160.242) (Remote host closed the connection)
2025-10-18 21:57:12 +0200 <monochrom> If you take TypeApplication to the extreme, you can even change "method"'s type to "method :: Integer" and then the use site goes like "method @m". But I am not that extremist yet. :)
2025-10-18 21:57:59 +0200 <EvanR> a variable constant
2025-10-18 21:59:59 +0200 <EvanR> everything's a function, including Integers
2025-10-18 22:00:31 +0200 <monochrom> I recommend Proxy over undefined for these use cases because going Proxy does not take you more time than going undefined. (OK, apart from scrolling to the top to add "import Data.Proxy".)
2025-10-18 22:01:08 +0200 <monochrom> But otherwise I am against over-engineering too.
2025-10-18 22:01:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-18 22:03:05 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 22:03:18 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 22:03:32 +0200 <monochrom> (Just replied on the discourse why I would use Maybe even though in general there are a million different causes of errors and Maybe doesn't tell you which. Oh because sometimes there is only one cause, and some other times it doesn't matter.)
2025-10-18 22:07:17 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-10-18 22:09:08 +0200forell(~forell@user/forell) forell
2025-10-18 22:11:18 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-18 22:12:07 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-18 22:13:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 22:13:46 +0200 <mreh> monochrom: that's a nice use of type applications I hadn't thought of
2025-10-18 22:14:14 +0200morj(~morj@user/morj) morj
2025-10-18 22:14:15 +0200 <mreh> I've already got it turned on, so I might start using that instead
2025-10-18 22:14:49 +0200 <morj> If you want to be fancy, you can also use an abstract proxy type: class Who a where whodis :: forall (proxy :: Type -> Type). proxy a -> String
2025-10-18 22:15:23 +0200 <mreh> don't you also have to turn on AllowAmbiguousTypes?
2025-10-18 22:15:24 +0200 <morj> Then this works with Proxy from base, or anything else the user has defined themselves
2025-10-18 22:16:01 +0200 <morj> As a fun bonus, you can also do like `whodis ["a string"]`, which gives you the instance for the string
2025-10-18 22:16:20 +0200 <EvanR> knock knock
2025-10-18 22:16:28 +0200 <EvanR> whodis
2025-10-18 22:16:29 +0200 <mreh> morj: that's funny
2025-10-18 22:16:31 +0200 <EvanR> ["a string"]
2025-10-18 22:18:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 22:19:41 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-10-18 22:20:14 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-18 22:22:27 +0200Zemy(~Zemy@2600:100c:b0a7:4bfb:f0d2:72ff:fe86:260e) (Ping timeout: 260 seconds)
2025-10-18 22:27:13 +0200 <mreh> I have so many Arrows that I need from some instance, which I don't always use to compute an actual value, so I'm always feeding undefined into those too
2025-10-18 22:28:15 +0200 <monochrom> whodunit
2025-10-18 22:28:44 +0200 <monochrom> Yeah the extreme way requires AllowAmbiguousTypes too.
2025-10-18 22:29:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 22:29:32 +0200 <mreh> monochrom: it's pretty easy to translate to that form, and you only need AllowAmbiguousTypes on the file with the Class in
2025-10-18 22:31:27 +0200Zemy(~Zemy@2600:100c:b0a7:4bfb:24c8:fcff:fe1d:80e8)
2025-10-18 22:31:28 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-18 22:31:45 +0200morj(~morj@user/morj) (Quit: Konversation terminated!)
2025-10-18 22:31:46 +0200 <mreh> is there any downside to AllowAmbiguousTypes project wide?
2025-10-18 22:32:02 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-18 22:32:11 +0200 <EvanR> doesn't that cripple the entire cool part of type classes
2025-10-18 22:32:47 +0200 <EvanR> if you get an instance you know it was the right one for that type
2025-10-18 22:33:33 +0200 <mreh> wouldn't you need to turn on OverlappingIstances too for that to fail?
2025-10-18 22:34:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 22:34:27 +0200Zemy(~Zemy@2600:100c:b0a7:4bfb:24c8:fcff:fe1d:80e8) (Read error: Connection reset by peer)
2025-10-18 22:37:34 +0200 <EvanR> yes... nevermind that. But I do see GHC warns that AllowAmbiguousTypes may not interact nice with RankN
2025-10-18 22:39:08 +0200Zemy(~Zemy@2600:100c:b0a7:4bfb:cc4d:4cff:fea8:fd90)
2025-10-18 22:39:09 +0200Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-18 22:39:43 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-18 22:40:11 +0200Everything(~Everythin@46.96.48.125) (Quit: leaving)
2025-10-18 22:41:58 +0200fgidim(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-10-18 22:42:39 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-10-18 22:43:19 +0200Zemy(~Zemy@2600:100c:b0a7:4bfb:cc4d:4cff:fea8:fd90) (Ping timeout: 246 seconds)
2025-10-18 22:43:49 +0200fgarciafgidim
2025-10-18 22:44:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 22:45:33 +0200pavonia(~user@user/siracusa) siracusa
2025-10-18 22:49:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 22:51:37 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-10-18 23:00:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-18 23:04:21 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)