Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,803,463 events total
2025-10-18 01:11:54 haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc)
2025-10-18 01:13:17 × trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 01:13:31 trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 01:14:58 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 01:19:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 01:24:44 peterbecich joins (~Thunderbi@172.222.148.214)
2025-10-18 01:26:55 × haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds)
2025-10-18 01:29:55 × trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 01:30:08 trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 01:30:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 01:33:13 × ft quits (~ft@p4fc2a207.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-10-18 01:33:19 × ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer)
2025-10-18 01:34:59 ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de)
2025-10-18 01:36:58 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 01:40:17 <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 01:41:03 <dcpagan> Monoids are associative, and chunking is just association.
2025-10-18 01:41:19 × karenw_ quits (~karenw@user/karenw) (Ping timeout: 256 seconds)
2025-10-18 01:43:03 L29Ah joins (~L29Ah@wikipedia/L29Ah)
2025-10-18 01:43:33 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
2025-10-18 01:44:25 L29Ah joins (~L29Ah@wikipedia/L29Ah)
2025-10-18 01:45:20 <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 01:46:04 <dcpagan> It benchmarks pretty well, but is there another evaluation strategy generalized for any monoid?
2025-10-18 01:46:24 Zemy joins (~Zemy@2600:100c:b0af:f5a4:ccc8:72ff:fe4b:2333)
2025-10-18 01:46:25 × Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-18 01:47:34 Zemy_ joins (~Zemy@72.178.108.235)
2025-10-18 01:48:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 01:49:15 <dcpagan> The source code for [parListChunk](https://hackage-content.haskell.org/package/parallel-3.2.2.0/docs/Control-Parallel-Strategies.html#v:parListChunk) 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 01:49:15 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds)
2025-10-18 01:49:26 × Zemy quits (~Zemy@2600:100c:b0af:f5a4:ccc8:72ff:fe4b:2333) (Read error: Connection reset by peer)
2025-10-18 01:49:47 × Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-18 01:49:48 Zemy joins (~Zemy@2600:100c:b0af:f5a4:28d1:62ff:fe16:e109)
2025-10-18 01:50:23 Zemy_ joins (~Zemy@72.178.108.235)
2025-10-18 01:51:04 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
2025-10-18 01:53:12 × ringo__ quits (~ringo@157.230.117.128) (Ping timeout: 252 seconds)
2025-10-18 01:53:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 01:54:18 × Zemy quits (~Zemy@2600:100c:b0af:f5a4:28d1:62ff:fe16:e109) (Ping timeout: 252 seconds)
2025-10-18 01:54:59 × trickard_ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-18 01:55:12 trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-18 01:55:58 × Psychotic1 quits (~Psychotic@2600:1007:b03e:2f77:517f:1a3d:2df2:a366) (Ping timeout: 246 seconds)
2025-10-18 01:56:32 <Leary> dcpagan: You can just use the spark system: https://gist.github.com/LSLeary/4a3d918ac1409baba8a5999e18efdcfb
2025-10-18 01:57:34 ringo__ joins (~ringo@157.230.117.128)
2025-10-18 02:04:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 02:04:15 trickard_ is now known as trickard
2025-10-18 02:04:50 omnifunctor parts (~omnifunct@user/semifunctor) ()
2025-10-18 02:08:58 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 02:09:05 × ringo__ quits (~ringo@157.230.117.128) (Ping timeout: 256 seconds)
2025-10-18 02:09:08 × califax quits (~califax@user/califx) (Remote host closed the connection)
2025-10-18 02:09:27 califax joins (~califax@user/califx)
2025-10-18 02:14:21 ringo__ joins (~ringo@157.230.117.128)
2025-10-18 02:18:37 × Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2025-10-18 02:20:00 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 02:24:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 02:32:58 × td_ quits (~td@i5387090B.versanet.de) (Ping timeout: 248 seconds)
2025-10-18 02:34:56 td_ joins (~td@i53870927.versanet.de)
2025-10-18 02:35:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 02:39:17 myfirstname joins (~myfirstna@user/myfirstname)
2025-10-18 02:39:22 × myfirstname quits (~myfirstna@user/myfirstname) (Client Quit)
2025-10-18 02:40:47 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-18 02:51:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 02:53:47 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 248 seconds)
2025-10-18 02:56:26 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 03:07:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 03:12:47 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2025-10-18 03:14:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-18 03:15:26 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
2025-10-18 03:16:25 cr00k joins (~cr00k@user/cr00k)
2025-10-18 03:17:13 × cr00k quits (~cr00k@user/cr00k) (Client Quit)
2025-10-18 03:25:25 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 03:30:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 03:31:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 03:36:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 03:45:03 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-18 03:45:39 karenw_ joins (~karenw@user/karenw)
2025-10-18 03:47:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 03:52:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 03:55:06 × aforemny quits (~aforemny@2001:9e8:6cf1:8200:5418:7e22:c389:aad3) (Ping timeout: 248 seconds)
2025-10-18 03:55:30 aforemny joins (~aforemny@i577B12DA.versanet.de)
2025-10-18 04:02:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 04:07:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-18 04:16:15 jmcantrell joins (~weechat@user/jmcantrell)
2025-10-18 04:18:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 04:22:04 annamalai joins (~annamalai@157.49.240.32)
2025-10-18 04:23:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-18 04:32:44 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 04:37:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-18 04:42:33 Guest73 joins (~Guest73@107.151.216.96)
2025-10-18 04:43:45 qqe joins (~qqq@185.54.23.200)
2025-10-18 04:44:25 × Guest73 quits (~Guest73@107.151.216.96) (Client Quit)
2025-10-18 04:47:24 × califax quits (~califax@user/califx) (Ping timeout: 272 seconds)
2025-10-18 04:48:11 califax joins (~califax@user/califx)
2025-10-18 04:48:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 04:53:25 × karenw_ quits (~karenw@user/karenw) (Ping timeout: 256 seconds)
2025-10-18 04:55:10 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 04:57:54 rvalue- joins (~rvalue@about/hackers/rvalue)
2025-10-18 04:58:40 × rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 246 seconds)
2025-10-18 05:03:07 rvalue- is now known as rvalue
2025-10-18 05:04:01 dcb joins (~dcb@user/dcb)
2025-10-18 05:06:33 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-10-18 05:11:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-18 05:13:08 peterbecich joins (~Thunderbi@172.222.148.214)

All times are in UTC.