| 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) |