Logs: liberachat/#haskell
| 2026-04-20 12:04:34 | <Freakie> | my peeve is that the profiler only reports all the compacted data as having been allocated by the system instead of the modules |
| 2026-04-20 12:04:46 | <Freakie> | total time was about 30 minutes, MUT I believe was a little less |
| 2026-04-20 12:05:05 | <merijn> | Even less? o.O |
| 2026-04-20 12:05:16 | <merijn> | So even lower productivity? |
| 2026-04-20 12:05:41 | <Freakie> | I mean GC would continually traverse append-only data during the algorithms |
| 2026-04-20 12:06:28 | <Freakie> | I assume consing to compact regions is more expensive than a pure cons operation, all else equal |
| 2026-04-20 12:06:57 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-20 12:07:22 | → | puke joins (~puke@user/puke) |
| 2026-04-20 12:08:15 | <Freakie> | I have a smaller input where both compact and non-compact runs use about 20 seconds of mut time but the pure version uses about 4-5x as much GC time than the one compacted |
| 2026-04-20 12:08:39 | → | Eoco joins (~ian@128.101.131.218) |
| 2026-04-20 12:09:09 | <Freakie> | but also I think the productivity reporting has seemed off sometimes |
| 2026-04-20 12:09:16 | → | totbwf joins (sid402332@id-402332.uxbridge.irccloud.com) |
| 2026-04-20 12:09:38 | <Freakie> | sometimes it would be something along the lines of 5% MUT-to-GC reported but productivity was reported to be something like 20-30% |
| 2026-04-20 12:13:59 | → | edm joins (sid147314@id-147314.hampstead.irccloud.com) |
| 2026-04-20 12:15:48 | × | totbwf quits (sid402332@id-402332.uxbridge.irccloud.com) (Changing host) |
| 2026-04-20 12:15:48 | → | totbwf joins (sid402332@user/totbwf) |
| 2026-04-20 12:17:08 | <Freakie> | the input arguments can be quite large so maybe they are just a consequence of garbage collection or something, idk |
| 2026-04-20 12:20:59 | → | gawen_ joins (~gawen@user/gawen) |
| 2026-04-20 12:21:25 | × | gawen quits (~gawen@user/gawen) (Ping timeout: 245 seconds) |
| 2026-04-20 12:45:39 | <merijn> | I mean, I would expect/want productivity of >80% ideally >90% |
| 2026-04-20 12:47:46 | → | tromp joins (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) |
| 2026-04-20 12:53:11 | <Freakie> | do you have a reference on best practices with regions? |
| 2026-04-20 13:01:12 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 2026-04-20 13:04:24 | × | Square3 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-04-20 13:06:52 | × | CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-04-20 13:07:37 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2026-04-20 13:08:21 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-04-20 13:08:24 | × | tromp quits (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-20 13:18:05 | <Freakie> | or other good suggestions for keeping productivity high I guess |
| 2026-04-20 13:19:41 | → | tromp joins (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) |
| 2026-04-20 13:23:08 | × | Ikosit quits (~Ikosit@user/ikosit) (Ping timeout: 256 seconds) |
| 2026-04-20 13:23:13 | → | Ikosit8 joins (~Ikosit@user/ikosit) |
| 2026-04-20 13:26:13 | × | tromp quits (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) (Ping timeout: 272 seconds) |
| 2026-04-20 14:04:45 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-20 14:05:29 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 248 seconds) |
| 2026-04-20 14:09:47 | × | Freakie quits (~Freakie@185.45.22.133) (Ping timeout: 245 seconds) |
| 2026-04-20 14:20:45 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-20 14:20:45 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-20 14:20:45 | → | haritz joins (~hrtz@user/haritz) |
| 2026-04-20 14:22:34 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-04-20 14:25:27 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-04-20 14:31:42 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2026-04-20 14:36:43 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-20 14:36:43 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-20 14:42:26 | → | haritz joins (~hrtz@140.228.70.141) |
| 2026-04-20 14:42:26 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-20 14:42:26 | → | haritz joins (~hrtz@user/haritz) |
| 2026-04-20 14:44:21 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2026-04-20 14:45:42 | → | danza joins (~danza@user/danza) |
| 2026-04-20 14:48:03 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-04-20 15:23:17 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-04-20 15:41:28 | × | Alex_delenda_est quits (~al_test@178.34.150.30) (Ping timeout: 244 seconds) |
| 2026-04-20 15:41:59 | × | AlexZenon quits (~alzenon@178.34.150.30) (Ping timeout: 244 seconds) |
| 2026-04-20 15:43:53 | × | bggd quits (~bgg@user/bggd) (Quit: std::move) |
| 2026-04-20 15:46:09 | → | AlexZenon joins (~alzenon@178.34.150.30) |
| 2026-04-20 15:50:48 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-04-20 15:51:56 | × | puke quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-20 15:54:04 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-20 15:55:51 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-20 15:57:21 | <dcb> | for a practical point of view check boric's two presidential terms on chile, or, how I got elected following the anti pinochet-reformed constitution protests and paved the way for the far-right |
| 2026-04-20 15:59:07 | <dcb> | p.s.: yes, I copied the subtitle from clara mattei's Capital Order book |
| 2026-04-20 15:59:33 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-20 15:59:39 | <dcb> | oops, sorry... wrong channel :O |
| 2026-04-20 16:01:21 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e5655d8f1f6a4acafa55.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2026-04-20 16:02:14 | → | acidjnk joins (~acidjnk@p200300d6e700e5655d8f1f6a4acafa55.dip0.t-ipconnect.de) |
| 2026-04-20 16:03:42 | → | puke joins (~puke@user/puke) |
| 2026-04-20 16:10:14 | → | internatetional joins (~nate@180.243.14.54) |
| 2026-04-20 16:15:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2026-04-20 16:16:27 | × | internatetional quits (~nate@180.243.14.54) (Quit: WeeChat 4.9.0) |
| 2026-04-20 16:23:00 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-04-20 16:24:29 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2026-04-20 16:39:09 | × | hellwolf quits (~user@17e7-d9b7-b727-51a4-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 268 seconds) |
| 2026-04-20 16:44:34 | → | hellwolf joins (~user@13ba-9fa1-c9b7-72ee-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 2026-04-20 16:46:11 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-20 16:47:16 | → | malte joins (~malte@mal.tc) |
| 2026-04-20 17:05:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 17:08:05 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-20 17:08:17 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-04-20 17:09:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-20 17:10:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 17:11:40 | × | puke quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-20 17:11:52 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-04-20 17:13:06 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 2026-04-20 17:20:46 | → | EvanR joins (~EvanR@user/evanr) |
| 2026-04-20 17:21:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 17:25:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 17:29:46 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-20 17:35:48 | → | Googulator96 joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-20 17:36:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 17:38:07 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-20 17:43:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-20 17:44:41 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-20 17:54:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 17:59:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-20 18:00:24 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-04-20 18:10:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 18:11:57 | → | gf31 joins (~gf3@user/gf3) |
| 2026-04-20 18:16:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-20 18:23:22 | → | Tuplanolla joins (~Tuplanoll@85-156-32-112.elisa-laajakaista.fi) |
| 2026-04-20 18:27:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.