| 2025-10-18 00:06:50 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2025-10-18 00:07:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 00:13:02 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-18 00:13:14 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 248 seconds) |
| 2025-10-18 00:13:22 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-18 00:13:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 00:14:00 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 00:14:32 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 00:21:02 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-18 00:25:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 00:26:49 +0200 | OftenFaded52 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-10-18 00:29:05 +0200 | OftenFaded52 | (~OftenFade@user/tisktisk) () |
| 2025-10-18 00:29:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 00:30:58 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-10-18 00:36:49 +0200 | Guest35 | (~Guest35@2601:445:701:128b:81d2:9396:b0b4:2042) |
| 2025-10-18 00:37:44 +0200 | Guest35 | (~Guest35@2601:445:701:128b:81d2:9396:b0b4:2042) (Client Quit) |
| 2025-10-18 00:37:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-18 00:39:21 +0200 | bggd | (~bgg@2a01:e0a:819:1510:f5d2:a275:c958:d954) |
| 2025-10-18 00:40:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 00:45:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 00:46:53 +0200 | trickard_ | trickard |
| 2025-10-18 00:47:12 +0200 | Unicorn_Princes- | Unicorn_Princes |
| 2025-10-18 00:52:11 +0200 | Unicorn_Princes | (~Unicorn_P@89.143.18.181) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 2025-10-18 00:53:00 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 00:54:10 +0200 | gustrb | (~gustrb@191.243.134.87) (Remote host closed the connection) |
| 2025-10-18 00:54:34 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-18 00:56:32 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-18 00:56:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 00:56:51 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-18 01:00:10 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer) |
| 2025-10-18 01:00:58 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:946e:eb4c:8b28:63bf) synchromesh |
| 2025-10-18 01:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 01:09:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-18 01:12:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 01:17:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-18 01:19:57 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 01:20:10 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 01:26:41 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-18 01:28:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 01:31:53 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-18 01:32:42 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-18 01:32:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 01:34:51 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-18 01:36:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 01:41:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 01:41:25 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 265 seconds) |
| 2025-10-18 01:41:54 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 265 seconds) |
| 2025-10-18 01:42:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-18 01:42:52 +0200 | sus0 | (zero@user/zeromomentum) (Ping timeout: 265 seconds) |
| 2025-10-18 01:51:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 01:58:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 02:02:36 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-10-18 02:05:37 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-10-18 02:07:50 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-10-18 02:09:25 +0200 | trickard_ | trickard |
| 2025-10-18 02:09:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 02:10:32 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-18 02:10:41 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-18 02:12:21 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-18 02:14:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 02:15:50 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-18 02:15:50 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-18 02:15:52 +0200 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-10-18 02:18:53 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-10-18 02:21:37 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:517f:1a3d:2df2:a366) |
| 2025-10-18 02:22:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-18 02:22:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-18 02:25:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 02:26:03 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:946e:eb4c:8b28:63bf) (Quit: WeeChat 4.1.1) |
| 2025-10-18 02:28:42 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-18 02:28:45 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-18 02:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 02:32:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-18 02:41:23 +0200 | Esa_ | (~esa.syt@user/Esa-:33866) Esa_ |
| 2025-10-18 02:41:30 +0200 | Esa_ | (~esa.syt@user/Esa-:33866) () |
| 2025-10-18 02:41:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 02:44:13 +0200 | otto_s | (~user@p5de2f2fc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-10-18 02:44:16 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-18 02:45:56 +0200 | otto_s | (~user@p5b044368.dip0.t-ipconnect.de) |
| 2025-10-18 02:45:58 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 246 seconds) |
| 2025-10-18 02:46:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 02:51:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-18 02:57:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 03:02:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-18 03:02:40 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2025-10-18 03:05:35 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-10-18 03:05:44 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-18 03:06:50 +0200 | califax_ | califax |
| 2025-10-18 03:10:57 +0200 | acidjnk | (~acidjnk@p200300d6e71719070129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-18 03:11:33 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-18 03:11:54 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-18 03:13:17 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 03:13:31 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 03:14:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 03:19:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 03:24:44 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-18 03:26:55 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-10-18 03:29:55 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 03:30:08 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 03:30:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 03:33:13 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-10-18 03:33:19 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2025-10-18 03:34:59 +0200 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-10-18 03:36:58 +0200 | merijn | (~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 +0200 | karenw_ | (~karenw@user/karenw) (Ping timeout: 256 seconds) |
| 2025-10-18 03:43:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-18 03:43:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-18 03:44:25 +0200 | L29Ah | (~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 +0200 | Zemy | (~Zemy@2600:100c:b0af:f5a4:ccc8:72ff:fe4b:2333) |
| 2025-10-18 03:46:25 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-18 03:47:34 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-18 03:48:24 +0200 | merijn | (~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 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2025-10-18 03:49:26 +0200 | Zemy | (~Zemy@2600:100c:b0af:f5a4:ccc8:72ff:fe4b:2333) (Read error: Connection reset by peer) |
| 2025-10-18 03:49:47 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-18 03:49:48 +0200 | Zemy | (~Zemy@2600:100c:b0af:f5a4:28d1:62ff:fe16:e109) |
| 2025-10-18 03:50:23 +0200 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-18 03:51:04 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-10-18 03:53:12 +0200 | ringo__ | (~ringo@157.230.117.128) (Ping timeout: 252 seconds) |
| 2025-10-18 03:53:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 03:54:18 +0200 | Zemy | (~Zemy@2600:100c:b0af:f5a4:28d1:62ff:fe16:e109) (Ping timeout: 252 seconds) |
| 2025-10-18 03:54:59 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 03:55:12 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 03:55:58 +0200 | Psychotic1 | (~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 +0200 | ringo__ | (~ringo@157.230.117.128) ringo_ |
| 2025-10-18 04:04:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 04:04:15 +0200 | trickard_ | trickard |
| 2025-10-18 04:04:50 +0200 | omnifunctor | (~omnifunct@user/semifunctor) () |
| 2025-10-18 04:08:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 04:09:05 +0200 | ringo__ | (~ringo@157.230.117.128) (Ping timeout: 256 seconds) |
| 2025-10-18 04:09:08 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-18 04:09:27 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-18 04:14:21 +0200 | ringo__ | (~ringo@157.230.117.128) ringo_ |
| 2025-10-18 04:18:37 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2025-10-18 04:20:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 04:24:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 04:32:58 +0200 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 248 seconds) |
| 2025-10-18 04:34:56 +0200 | td_ | (~td@i53870927.versanet.de) td_ |
| 2025-10-18 04:35:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 04:39:17 +0200 | myfirstname | (~myfirstna@user/myfirstname) myfirstname |
| 2025-10-18 04:39:22 +0200 | myfirstname | (~myfirstna@user/myfirstname) (Client Quit) |
| 2025-10-18 04:40:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-18 04:51:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 04:53:47 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 248 seconds) |
| 2025-10-18 04:56:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 05:07:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 05:12:47 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2025-10-18 05:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 05:15:26 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-10-18 05:16:25 +0200 | cr00k | (~cr00k@user/cr00k) cr00k |
| 2025-10-18 05:17:13 +0200 | cr00k | (~cr00k@user/cr00k) (Client Quit) |
| 2025-10-18 05:25:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 05:30:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 05:31:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 05:36:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 05:45:03 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-18 05:45:39 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-10-18 05:47:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 05:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 05:55:06 +0200 | aforemny | (~aforemny@2001:9e8:6cf1:8200:5418:7e22:c389:aad3) (Ping timeout: 248 seconds) |
| 2025-10-18 05:55:30 +0200 | aforemny | (~aforemny@i577B12DA.versanet.de) aforemny |
| 2025-10-18 06:02:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 06:07:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-18 06:16:15 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-18 06:18:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 06:22:04 +0200 | annamalai | (~annamalai@157.49.240.32) annamalai |
| 2025-10-18 06:23:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 06:32:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 06:37:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 06:42:33 +0200 | Guest73 | (~Guest73@107.151.216.96) |
| 2025-10-18 06:43:45 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-18 06:44:25 +0200 | Guest73 | (~Guest73@107.151.216.96) (Client Quit) |
| 2025-10-18 06:47:24 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-18 06:48:11 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-18 06:48:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 06:53:25 +0200 | karenw_ | (~karenw@user/karenw) (Ping timeout: 256 seconds) |
| 2025-10-18 06:55:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 06:57:54 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-18 06:58:40 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 246 seconds) |
| 2025-10-18 07:03:07 +0200 | rvalue- | rvalue |
| 2025-10-18 07:04:01 +0200 | dcb | (~dcb@user/dcb) dcb |
| 2025-10-18 07:06:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 07:11:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 07:13:08 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-18 07:17:01 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-10-18 07:17:16 +0200 | fgarcia | fgidim |
| 2025-10-18 07:22:13 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2025-10-18 07:22:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 07:26:34 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-18 07:27:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 07:33:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 07:35:04 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-10-18 07:38:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-18 07:40:27 +0200 | annamalai | (~annamalai@157.49.240.32) (Ping timeout: 256 seconds) |
| 2025-10-18 07:43:41 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 07:43:55 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 07:50:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 07:50:28 +0200 | caconym7478798 | (~caconym@user/caconym) (Ping timeout: 246 seconds) |
| 2025-10-18 07:53:16 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-18 07:54:16 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-18 07:54:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 07:59:42 +0200 | trickard_ | trickard |
| 2025-10-18 08:05:17 +0200 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-10-18 08:05:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 08:07:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-18 08:08:29 +0200 | annamalai | (~annamalai@157.49.239.48) annamalai |
| 2025-10-18 08:10:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 08:12:00 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-18 08:12:27 +0200 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-10-18 08:12:48 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-10-18 08:13:46 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2025-10-18 08:20:29 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-18 08:21:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 08:26:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-18 08:34:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 08:41:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-18 08:43:33 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 08:43:46 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 08:43:53 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Read error: Connection reset by peer) |
| 2025-10-18 08:52:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 08:58:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-18 09:00:02 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-18 09:00:44 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-18 09:02:39 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-10-18 09:06:16 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-18 09:07:28 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2025-10-18 09:08:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 09:12:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-18 09:13:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 09:22:40 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-10-18 09:24:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 09:29:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 09:30:39 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-10-18 09:35:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 09:36:01 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-18 09:40:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 09:48:14 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-18 09:49:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 09:54:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 09:54:45 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-18 10:04:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 10:05:59 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-10-18 10:09:05 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-18 10:09:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 10:10:26 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-18 10:14:59 +0200 | irfan | (~irfan@user/irfan) irfan |
| 2025-10-18 10:20:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 10:26:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-18 10:32:59 +0200 | acidjnk | (~acidjnk@p200300d6e7171983a9099d024dfa47e6.dip0.t-ipconnect.de) acidjnk |
| 2025-10-18 10:33:01 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 10:33:15 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 10:36:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 10:39:52 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-18 10:41:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 10:44:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-18 10:52:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 10:57:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 11:00:32 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-18 11:03:41 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 11:03:47 +0200 | irfan | (~irfan@user/irfan) (Quit: WeeChat 4.7.1) |
| 2025-10-18 11:08:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 11:13:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 11:16:54 +0200 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-10-18 11:24:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 11:29:03 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-18 11:31:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 11:37:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 11:39:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-10-18 11:42:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 11:50:18 +0200 | trickard_ | trickard |
| 2025-10-18 11:53:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 11:57:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 12:00:15 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-10-18 12:09:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 12:10:34 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-10-18 12:11:46 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-18 12:14:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 12:15:36 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 12:15:49 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 12:24:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 12:27:26 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-18 12:28:07 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-18 12:30:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 12:38:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 12:43:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 12:50:07 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-18 12:50:21 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 12:50:35 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 12:52:27 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-18 12:54:30 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 13:00:04 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-18 13:01:45 +0200 | trickard_ | trickard |
| 2025-10-18 13:02:04 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-18 13:10:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 13:14:43 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 13:14:56 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 13:17:03 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 13:30:43 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-18 13:33:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 13:34:25 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-18 13:35:07 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 260 seconds) |
| 2025-10-18 13:36:25 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-18 13:36:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-10-18 13:37:44 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-18 13:39:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 13:42:12 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-18 13:45:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-18 13:54:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-18 13:55:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 13:57:27 +0200 | trickard_ | trickard |
| 2025-10-18 14:00:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 14:00:36 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-18 14:00:47 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 260 seconds) |
| 2025-10-18 14:08:39 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-18 14:11:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 14:14:13 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-18 14:16:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 14:16:26 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-10-18 14:16:52 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-18 14:20:37 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2025-10-18 14:24:03 +0200 | bggd | (~bgg@2a01:e0a:819:1510:f5d2:a275:c958:d954) (Quit: std::move) |
| 2025-10-18 14:27:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 14:32:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-18 14:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 14:49:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-18 14:51:49 +0200 | AlexZenon | (~alzenon@85.174.180.124) (Quit: ;-) |
| 2025-10-18 14:52:02 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-18 14:54:00 +0200 | AlexNoo | (~AlexNoo@85.174.180.124) (Quit: Leaving) |
| 2025-10-18 14:57:39 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-18 14:58:05 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-18 15:00:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 15:06:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 15:09:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5da6:eb72:7bdc:37c8) |
| 2025-10-18 15:16:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 15:21:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 15:22:41 +0200 | AlexNoo | (~AlexNoo@85.174.180.124) |
| 2025-10-18 15:28:54 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-18 15:29:18 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-18 15:29:41 +0200 | AlexZenon | (~alzenon@85.174.180.124) |
| 2025-10-18 15:31:40 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 15:32:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 15:37:01 +0200 | swistak | (~swistak@185.21.216.141) (Quit: bye bye) |
| 2025-10-18 15:37:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 15:37:54 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-10-18 15:39:06 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-10-18 15:39:18 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-18 15:40:34 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-18 15:42:40 +0200 | swistak | (~swistak@185.21.216.141) (Client Quit) |
| 2025-10-18 15:43:44 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-10-18 15:44:25 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-10-18 15:46:27 +0200 | swistak | (~swistak@185.21.216.141) (Client Quit) |
| 2025-10-18 15:47:25 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-10-18 15:47:30 +0200 | poxel | (~poxel@user/poxel) poxel |
| 2025-10-18 15:48:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 15:53:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 15:54:41 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-10-18 15:54:41 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-18 15:59:20 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 16:02:05 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 16:02:19 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 16:03:20 +0200 | chenjf | (~chenjf@68.64.178.54) |
| 2025-10-18 16:04:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 16:08:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-18 16:13:25 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 16:13:38 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 16:19:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 16:26:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 16:31:34 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-18 16:35:15 +0200 | trickard_ | trickard |
| 2025-10-18 16:37:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 16:41:17 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 16:41:31 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-18 16:42:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 16:43:39 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 16:50:58 +0200 | tabaqui | (~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 +0200 | chenjf | (~chenjf@68.64.178.54) (Remote host closed the connection) |
| 2025-10-18 16:53:43 +0200 | merijn | (~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 +0200 | chenjf | (~chenjf@68.64.178.54) |
| 2025-10-18 16:55:09 +0200 | chenjf | (~chenjf@68.64.178.54) (Client Quit) |
| 2025-10-18 16:58:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 17:00:53 +0200 | raym | (~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 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2025-10-18 17:08:07 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 17:09:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 17:09:42 +0200 | trickard_ | 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 +0200 | merijn | (~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 +0200 | raym | (~ray@user/raym) raym |
| 2025-10-18 17:19:55 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-18 17:20:43 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 2025-10-18 17:25:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 17:28:13 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-10-18 17:30:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 17:30:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 17:35:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 17:40:47 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 17:41:53 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 17:46:35 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2025-10-18 17:47:04 +0200 | Inline | (~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 +0200 | tabaqui1 | (~tabaqui@167.71.80.236) tabaqui |
| 2025-10-18 17:55:34 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-18 17:57:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 18:00:11 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-18 18:02:39 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 256 seconds) |
| 2025-10-18 18:04:42 +0200 | Psychotic1 | (~Psychotic@2600:1007:b038:deca:b1b1:afa4:557b:d818) |
| 2025-10-18 18:06:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-18 18:12:04 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-18 18:14:38 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 18:15:04 +0200 | Psychotic1 | (~Psychotic@2600:1007:b038:deca:b1b1:afa4:557b:d818) (Remote host closed the connection) |
| 2025-10-18 18:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 18:20:04 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-18 18:22:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-18 18:23:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-18 18:25:43 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 18:31:34 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-18 18:33:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 18:38:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-18 18:39:13 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-18 18:49:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 18:52:04 +0200 | Everything | (~Everythin@46.96.48.125) Everything |
| 2025-10-18 18:54:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 19:05:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 19:06:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-18 19:07:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-18 19:09:14 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 248 seconds) |
| 2025-10-18 19:10:03 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-18 19:10:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 19:12:56 +0200 | dtman34_ | (~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 +0200 | hseg_ | (~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 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-18 19:22:59 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-18 19:27:36 +0200 | Zemy | (~Zemy@2600:100c:b0a7:4bfb:f0d2:72ff:fe86:260e) |
| 2025-10-18 19:27:50 +0200 | hseg_ | (~hseg_@46.120.21.40) (Remote host closed the connection) |
| 2025-10-18 19:28:10 +0200 | hseg_ | (~hseg_@46.120.21.40) hseg |
| 2025-10-18 19:29:06 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-18 19:31:03 +0200 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2025-10-18 19:31:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 19:31:41 +0200 | Inline | (~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 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-18 19:36:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-18 19:37:19 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-18 19:38:02 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 19:41:40 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-18 19:43:36 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-10-18 19:44:53 +0200 | Guest37 | (~Guest37@106.222.202.101) |
| 2025-10-18 19:46:52 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-18 19:47:15 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-18 19:47:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 19:52:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-18 19:54:58 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-18 20:00:34 +0200 | Guest37 | (~Guest37@106.222.202.101) (Quit: Client closed) |
| 2025-10-18 20:03:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 20:07:54 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-18 20:07:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 20:13:32 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2025-10-18 20:13:55 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 20:18:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 20:24:59 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-10-18 20:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-18 20:25:59 +0200 | hseg_ | (~hseg_@46.120.21.40) (Remote host closed the connection) |
| 2025-10-18 20:26:01 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-18 20:31:18 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-10-18 20:33:30 +0200 | jmcantrell | (~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 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 20:41:43 +0200 | Inline | (~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 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-18 20:47:38 +0200 | poxel | (~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 +0200 | merijn | (~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 +0200 | Inline | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-18 20:57:45 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-18 21:00:01 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds) |
| 2025-10-18 21:00:07 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-18 21:00:50 +0200 | <mreh> | hmm, I do already |
| 2025-10-18 21:00:51 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-18 21:01:10 +0200 | <mreh> | I found a fix, anyway |
| 2025-10-18 21:01:55 +0200 | wbrawner | (~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 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-18 21:08:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 21:12:53 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-18 21:13:02 +0200 | merijn | (~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 +0200 | forell | (~forell@user/forell) (Ping timeout: 265 seconds) |
| 2025-10-18 21:23:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 21:28:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-18 21:30:38 +0200 | karenw_ | (~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 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2025-10-18 21:39:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 21:44:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-18 21:48:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-10-18 21:50:13 +0200 | Unicorn_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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-18 21:55:18 +0200 | werneta | (~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 +0200 | Unicorn_Princes- | Unicorn_Princes |
| 2025-10-18 21:57:09 +0200 | werneta | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-18 22:03:05 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-18 22:03:18 +0200 | trickard_ | (~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 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-10-18 22:09:08 +0200 | forell | (~forell@user/forell) forell |
| 2025-10-18 22:11:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-18 22:12:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-18 22:13:17 +0200 | merijn | (~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 +0200 | morj | (~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 |