| 2026-05-21 00:00:29 +0000 | vetkat | (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2026-05-21 00:01:31 +0000 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2026-05-21 00:02:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 00:07:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-21 00:11:12 +0000 | Googulator | (~Googulato@94-21-138-77.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-21 00:11:12 +0000 | Guest54 | (~Guest54@2600:1700:4c00:68f0:c786:9a89:b897:4427) (Quit: Client closed) |
| 2026-05-21 00:11:34 +0000 | Googulator | (~Googulato@94-21-138-77.pool.digikabel.hu) |
| 2026-05-21 00:13:03 +0000 | smooth | (~smooth@d1aa.lnet.fi) |
| 2026-05-21 00:13:10 +0000 | smooth | (~smooth@d1aa.lnet.fi) (Client Quit) |
| 2026-05-21 00:18:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 00:23:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-21 00:34:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 00:39:12 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-21 00:39:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-21 00:50:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 00:54:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-21 00:58:53 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-21 01:04:31 +0000 | raincomplex | (~rain@user/raincomplex) (Ping timeout: 264 seconds) |
| 2026-05-21 01:05:25 +0000 | raincomplex | (~rain@user/raincomplex) raincomplex |
| 2026-05-21 01:05:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 01:06:49 +0000 | xff0x | (~xff0x@ai070051.d.east.v6connect.net) (Ping timeout: 248 seconds) |
| 2026-05-21 01:09:54 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-05-21 01:11:08 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5338caa1342eecc427b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-05-21 01:11:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-21 01:21:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-21 01:22:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 01:24:04 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2026-05-21 01:27:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-21 01:34:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2026-05-21 01:35:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-21 01:38:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 01:39:43 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 01:40:11 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 01:43:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-21 01:53:42 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-21 01:53:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 01:58:20 +0000 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-05-21 01:58:37 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-05-21 01:58:41 +0000 | ryou | (~haze@user/ryou) (Read error: Connection reset by peer) |
| 2026-05-21 01:58:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-21 02:00:03 +0000 | ryou | (~haze@user/ryou) ryou |
| 2026-05-21 02:04:34 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-21 02:11:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 02:16:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-21 02:17:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-21 02:20:09 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-21 02:24:19 +0000 | <monochrom> | Haha april 1. |
| 2026-05-21 02:25:51 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
| 2026-05-21 02:28:07 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 02:29:03 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 02:29:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 02:34:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-05-21 02:35:30 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-05-21 02:38:14 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 245 seconds) |
| 2026-05-21 02:45:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 02:49:02 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2026-05-21 02:49:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-05-21 02:51:09 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-05-21 02:52:15 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) (Ping timeout: 265 seconds) |
| 2026-05-21 02:57:34 +0000 | sp1ff | (~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) sp1ff |
| 2026-05-21 02:59:28 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-21 03:00:01 +0000 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-05-21 03:00:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 03:01:56 +0000 | attlin | (~user@user/attlin) attlin |
| 2026-05-21 03:04:50 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2026-05-21 03:05:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 254 seconds) |
| 2026-05-21 03:14:31 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-21 03:16:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 03:18:12 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-21 03:21:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-05-21 03:31:40 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-21 03:32:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 03:37:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-21 03:40:22 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-21 03:43:43 +0000 | davl | (~davl@207.154.228.18) (Ping timeout: 244 seconds) |
| 2026-05-21 03:44:14 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 244 seconds) |
| 2026-05-21 03:44:23 +0000 | Fischmie- | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-05-21 03:44:45 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 244 seconds) |
| 2026-05-21 03:45:00 +0000 | davl | (~davl@207.154.228.18) davl |
| 2026-05-21 03:45:16 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 244 seconds) |
| 2026-05-21 03:45:16 +0000 | Dykam | (Dykam@dykam.nl) (Ping timeout: 244 seconds) |
| 2026-05-21 03:45:47 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-05-21 03:45:47 +0000 | ChanServ | +v lambdabot |
| 2026-05-21 03:45:55 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2026-05-21 03:47:03 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2026-05-21 03:47:36 +0000 | Dykam | (Dykam@dykam.nl) Dykam |
| 2026-05-21 03:48:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 03:54:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-21 04:00:18 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-21 04:06:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 04:11:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-05-21 04:17:56 +0000 | michalz | (~michalz@185.246.207.215) |
| 2026-05-21 04:18:41 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-05-21 04:22:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 04:25:37 +0000 | <mauke> | haskell: an april fool's joke that went way out of hand |
| 2026-05-21 04:27:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-21 04:31:19 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 04:31:49 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 04:32:50 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 268 seconds) |
| 2026-05-21 04:34:00 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-05-21 04:34:00 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-05-21 04:34:00 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-21 04:37:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 04:42:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 257 seconds) |
| 2026-05-21 04:42:51 +0000 | rainbyte_ | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-21 04:43:09 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Remote host closed the connection) |
| 2026-05-21 04:44:41 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 244 seconds) |
| 2026-05-21 04:50:51 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-21 04:53:36 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-21 04:53:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 04:56:07 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 276 seconds) |
| 2026-05-21 04:57:21 +0000 | rainbyte_ | (~rainbyte@181.47.219.3) (Quit: rainbyte_) |
| 2026-05-21 04:57:44 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 245 seconds) |
| 2026-05-21 04:57:46 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-21 04:58:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-05-21 05:08:33 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2026-05-21 05:09:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 05:12:55 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 250 seconds) |
| 2026-05-21 05:13:44 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-21 05:14:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-05-21 05:17:42 +0000 | pfc | (~pfc@user/pfc) (Ping timeout: 246 seconds) |
| 2026-05-21 05:25:11 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-21 05:25:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 05:30:44 +0000 | myme | (~myme@2a01:799:d5e:5f00:aa37:f500:ec80:2f00) (Ping timeout: 252 seconds) |
| 2026-05-21 05:31:30 +0000 | myme | (~myme@2a01:799:d5e:5f00:7465:8784:7b55:3048) myme |
| 2026-05-21 05:34:01 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-21 05:35:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-05-21 05:46:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-21 05:51:20 +0000 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 244 seconds) |
| 2026-05-21 05:51:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-21 05:53:20 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2026-05-21 06:03:10 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-05-21 06:03:42 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-21 06:13:36 +0000 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2026-05-21 06:19:25 +0000 | hc | (~hc@mail.hce.li) hc |
| 2026-05-21 06:32:03 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-21 06:35:04 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 06:35:34 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 06:46:08 +0000 | <mesaoptimizer> | "Second, the Board of Directors has decided to take this opportunity to restructure the Haskell Foundation. The principal goal is to dedicate most of the Foundation’s financial resources to technical work. The Foundation wants its members to be able to see a clear causal connection between their contributions and a series of improvements in the Haskell ecosystem. We want our members to have a |
| 2026-05-21 06:46:10 +0000 | <mesaoptimizer> | voice in which projects we undertake, and thereby to take on a much greater sense of ownership of the health of our shared ecosystem." https://discourse.haskell.org/t/haskell-foundation-2026-update/14136 |
| 2026-05-21 07:00:34 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 244 seconds) |
| 2026-05-21 07:04:48 +0000 | <sm> | sounds excellent |
| 2026-05-21 07:13:46 +0000 | ft | (~ft@p200300cf3f0675000323ceaf8e2785c3.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-05-21 07:20:45 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-21 07:29:58 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-21 07:47:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-21 08:08:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2026-05-21 08:18:08 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2026-05-21 08:18:19 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-05-21 08:24:20 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-21 08:29:27 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2026-05-21 08:33:50 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds) |
| 2026-05-21 08:37:55 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-05-21 08:38:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-21 08:38:49 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 08:39:17 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 08:39:58 +0000 | <[exa]> | the "to technical work" doesn't sound bad, right? |
| 2026-05-21 08:40:17 +0000 | <[exa]> | at least compared to some other language's foundations |
| 2026-05-21 08:44:25 +0000 | nattkyrro | (~serenity@user/nattkyrro) (Ping timeout: 244 seconds) |
| 2026-05-21 08:44:36 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-21 08:44:55 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-21 08:46:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-21 08:46:17 +0000 | lieven | (~mal@ns2.wyrd.be) (Ping timeout: 268 seconds) |
| 2026-05-21 08:48:33 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-21 08:53:00 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Remote host closed the connection) |
| 2026-05-21 08:59:37 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-05-21 09:00:04 +0000 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2026-05-21 09:03:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-21 09:04:56 +0000 | Enrico63 | (~Enrico63@85.255.233.164) Enrico63 |
| 2026-05-21 09:07:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 09:09:52 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-21 09:11:03 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-05-21 09:12:06 +0000 | <kuribas> | What do you think about using AI for documentation? I am using AI a lot as a faster google. It also seems useful to review code to find issues, or maybe help with arcane XPath syntax, etc. |
| 2026-05-21 09:12:17 +0000 | <kuribas> | For me generating code is still a no-go, even with Claude. |
| 2026-05-21 09:12:26 +0000 | <kuribas> | But it seems fine for documentation, or is it also slop? |
| 2026-05-21 09:14:12 +0000 | <kuribas> | The problem is documenting is hard, and programmers generally dislike doing it. |
| 2026-05-21 09:14:19 +0000 | <kuribas> | Maybe slop is better than nothing? |
| 2026-05-21 09:17:35 +0000 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2026-05-21 09:17:36 +0000 | Enrico63 | (~Enrico63@85.255.233.164) (Quit: Client closed) |
| 2026-05-21 09:17:51 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-05-21 09:19:31 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 09:20:02 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 09:24:29 +0000 | acidjnk_new3 | (~acidjnk@2003:d6:e700:e504:6199:9fae:8973:7d79) acidjnk |
| 2026-05-21 09:28:53 +0000 | CiaoSen | (~Jura@2a02:3030:aec:1e20:88a0:41ff:fe9e:a9e6) CiaoSen |
| 2026-05-21 09:32:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2026-05-21 09:34:22 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 252 seconds) |
| 2026-05-21 09:38:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-21 09:45:33 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-05-21 09:45:59 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-21 09:46:04 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.99) |
| 2026-05-21 09:47:58 +0000 | AlexZenon | (~alzenon@85.174.181.52) (Ping timeout: 244 seconds) |
| 2026-05-21 09:48:03 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-21 09:48:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-05-21 09:49:00 +0000 | Alex_delenda_est | (~al_test@85.174.181.52) (Ping timeout: 244 seconds) |
| 2026-05-21 09:49:55 +0000 | AlexNoo | (~AlexNoo@85.174.181.52) (Ping timeout: 276 seconds) |
| 2026-05-21 09:52:28 +0000 | AlexZenon | (~alzenon@5.139.233.99) |
| 2026-05-21 10:02:31 +0000 | Alex_test_ | (~al_test@5.139.233.99) |
| 2026-05-21 10:06:48 +0000 | Alex_test_ | (~al_test@5.139.233.99) (Ping timeout: 246 seconds) |
| 2026-05-21 10:07:00 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-21 10:07:14 +0000 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 248 seconds) |
| 2026-05-21 10:07:23 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 252 seconds) |
| 2026-05-21 10:07:23 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (Ping timeout: 252 seconds) |
| 2026-05-21 10:07:24 +0000 | bgtdsword | (b968c1779f@user/titibandit) (Ping timeout: 245 seconds) |
| 2026-05-21 10:07:30 +0000 | chr55 | (57a0c161b0@user/chr55) (Ping timeout: 246 seconds) |
| 2026-05-21 10:07:41 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Read error: Connection reset by peer) |
| 2026-05-21 10:07:44 +0000 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) (Read error: Connection reset by peer) |
| 2026-05-21 10:07:46 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Ping timeout: 248 seconds) |
| 2026-05-21 10:07:49 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (Ping timeout: 245 seconds) |
| 2026-05-21 10:07:53 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Read error: Connection reset by peer) |
| 2026-05-21 10:08:07 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 244 seconds) |
| 2026-05-21 10:08:14 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 245 seconds) |
| 2026-05-21 10:08:18 +0000 | stureplan | (22e45d5caf@user/stureplan) (Ping timeout: 248 seconds) |
| 2026-05-21 10:08:18 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 248 seconds) |
| 2026-05-21 10:08:29 +0000 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 252 seconds) |
| 2026-05-21 10:08:33 +0000 | 042AAM1G5 | (eadde01e73@user/rprospero) (Ping timeout: 246 seconds) |
| 2026-05-21 10:08:39 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 245 seconds) |
| 2026-05-21 10:08:39 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 245 seconds) |
| 2026-05-21 10:08:39 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) (Ping timeout: 245 seconds) |
| 2026-05-21 10:08:39 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Read error: Connection reset by peer) |
| 2026-05-21 10:08:40 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Read error: Connection reset by peer) |
| 2026-05-21 10:08:46 +0000 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 276 seconds) |
| 2026-05-21 10:08:54 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 246 seconds) |
| 2026-05-21 10:08:55 +0000 | duncan | (c6181279e3@user/meow/duncan) (Ping timeout: 268 seconds) |
| 2026-05-21 10:09:00 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Read error: Connection reset by peer) |
| 2026-05-21 10:09:02 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 252 seconds) |
| 2026-05-21 10:09:22 +0000 | caz | (866183745f@2a03:6000:1812:100::15d4) (Ping timeout: 248 seconds) |
| 2026-05-21 10:09:32 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 268 seconds) |
| 2026-05-21 10:09:38 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) (Ping timeout: 256 seconds) |
| 2026-05-21 10:09:38 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 256 seconds) |
| 2026-05-21 10:10:17 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 248 seconds) |
| 2026-05-21 10:10:18 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 246 seconds) |
| 2026-05-21 10:10:18 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 246 seconds) |
| 2026-05-21 10:10:19 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 245 seconds) |
| 2026-05-21 10:10:26 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 248 seconds) |
| 2026-05-21 10:10:46 +0000 | cephei8 | (b8652603d7@user/cephei8) (Ping timeout: 268 seconds) |
| 2026-05-21 10:10:48 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Read error: Connection reset by peer) |
| 2026-05-21 10:11:06 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (Read error: Connection reset by peer) |
| 2026-05-21 10:11:09 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 245 seconds) |
| 2026-05-21 10:11:16 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2026-05-21 10:11:19 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2026-05-21 10:11:30 +0000 | sherbert | (d006a0b946@2a03:6000:1812:100::155) (Ping timeout: 248 seconds) |
| 2026-05-21 10:11:34 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 245 seconds) |
| 2026-05-21 10:11:34 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 245 seconds) |
| 2026-05-21 10:11:45 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (Read error: Connection reset by peer) |
| 2026-05-21 10:11:47 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 252 seconds) |
| 2026-05-21 10:12:00 +0000 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 268 seconds) |
| 2026-05-21 10:12:34 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 248 seconds) |
| 2026-05-21 10:13:53 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Read error: Connection reset by peer) |
| 2026-05-21 10:13:57 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer) |
| 2026-05-21 10:14:32 +0000 | probie | (cc0b34050a@user/probie) (Ping timeout: 252 seconds) |
| 2026-05-21 10:15:26 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-21 10:15:38 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 252 seconds) |
| 2026-05-21 10:18:38 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2026-05-21 10:18:40 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-05-21 10:18:44 +0000 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet |
| 2026-05-21 10:18:48 +0000 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2026-05-21 10:18:49 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2026-05-21 10:18:49 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2026-05-21 10:19:13 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2026-05-21 10:19:21 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2026-05-21 10:19:29 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2026-05-21 10:19:31 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2026-05-21 10:19:42 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2026-05-21 10:19:45 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2026-05-21 10:19:58 +0000 | chr55 | (57a0c161b0@user/chr55) chr55 |
| 2026-05-21 10:20:12 +0000 | bgtdsword | (b968c1779f@user/titibandit) titibandit |
| 2026-05-21 10:20:18 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2026-05-21 10:20:18 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 249 seconds) |
| 2026-05-21 10:20:31 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2026-05-21 10:20:34 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2026-05-21 10:20:35 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2026-05-21 10:20:55 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2026-05-21 10:20:57 +0000 | caz | (866183745f@2a03:6000:1812:100::15d4) caz |
| 2026-05-21 10:21:01 +0000 | rprospero_ | (eadde01e73@user/rprospero) rprospero |
| 2026-05-21 10:21:26 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-05-21 10:21:50 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2026-05-21 10:21:56 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2026-05-21 10:22:16 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2026-05-21 10:22:16 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2026-05-21 10:22:25 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-05-21 10:22:30 +0000 | stureplan | (22e45d5caf@user/stureplan) stureplan |
| 2026-05-21 10:22:34 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2026-05-21 10:22:38 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2026-05-21 10:22:43 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2026-05-21 10:23:04 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-05-21 10:23:37 +0000 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2026-05-21 10:23:38 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2026-05-21 10:23:56 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig |
| 2026-05-21 10:24:15 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2026-05-21 10:24:18 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2026-05-21 10:24:24 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2026-05-21 10:24:24 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2026-05-21 10:24:43 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2026-05-21 10:24:49 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2026-05-21 10:24:53 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2026-05-21 10:25:00 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2026-05-21 10:25:27 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2026-05-21 10:25:48 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2026-05-21 10:26:36 +0000 | sherbert | (d006a0b946@2a03:6000:1812:100::155) sherbert |
| 2026-05-21 10:27:45 +0000 | probie | (cc0b34050a@user/probie) probie |
| 2026-05-21 10:28:27 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 250 seconds) |
| 2026-05-21 10:28:28 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2026-05-21 10:29:32 +0000 | krei-se | (~krei-se@p5098b7b3.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-05-21 10:34:53 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2026-05-21 10:36:06 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-21 10:36:18 +0000 | krei-se | (~krei-se@photonen.krei.se) krei-se |
| 2026-05-21 10:37:38 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-21 10:42:34 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 10:42:45 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 10:56:03 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-05-21 11:03:19 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2026-05-21 11:12:11 +0000 | CiaoSen | (~Jura@2a02:3030:aec:1e20:88a0:41ff:fe9e:a9e6) (Ping timeout: 244 seconds) |
| 2026-05-21 11:16:21 +0000 | <[exa]> | is there any way to peek a byte in Data.Binary? |
| 2026-05-21 11:16:41 +0000 | <[exa]> | I could use taking a piece of a larger integer without having to glue it back right after |
| 2026-05-21 11:17:19 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-21 11:18:37 +0000 | <comerijn> | [exa]: should be |
| 2026-05-21 11:19:11 +0000 | <comerijn> | https://hackage.haskell.org/package/binary-0.8.9.3/docs/Data-Binary-Get.html#v:getWord8 |
| 2026-05-21 11:19:16 +0000 | xff0x | (~xff0x@2405:6580:b080:900:870d:4dab:d7c7:3a08) |
| 2026-05-21 11:19:22 +0000 | <comerijn> | and/or getInt8 |
| 2026-05-21 11:20:12 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-21 11:20:25 +0000 | <[exa]> | oh wait there's lookAhead |
| 2026-05-21 11:20:32 +0000 | <tomsmeding> | kuribas: if the result is quality documentation, then it doesn't matter who or what produced it, other than the ethics of using LLMs in the first place, which is kind of an orthogonal concern |
| 2026-05-21 11:20:39 +0000 | <[exa]> | I was just going ^F peek |
| 2026-05-21 11:20:55 +0000 | <[exa]> | comerijn: thanks :] |
| 2026-05-21 11:21:20 +0000 | <tomsmeding> | kuribas: same holds for code, by the way, but the tricky bit with code (and actually also with documentation) is that it's tempting to rely too much on the machine and don't ascertain quality output |
| 2026-05-21 11:25:11 +0000 | <comerijn> | [exa]: yeah lookahead + those should be what you need |
| 2026-05-21 11:26:10 +0000 | <mesaoptimizer> | Can someone explain why `ghcup` recommends GHC version 9.6.7, instead of say 9.12.2 for example? IIUC 9.6.7 was released more than two years ago |
| 2026-05-21 11:26:44 +0000 | <tomsmeding> | ghcup recommends a version that has wide support of libraries and has been proved stable in practice |
| 2026-05-21 11:26:45 +0000 | <mesaoptimizer> | Do I continue to use 9.6.7 by default or would you recommend I use one of the newer GHC versions by default? |
| 2026-05-21 11:27:00 +0000 | <tomsmeding> | the latest GHC probably works fine but not all libraries will have been updated for it yet |
| 2026-05-21 11:27:03 +0000 | <comerijn> | mesaoptimizer: 9.6 seems fine |
| 2026-05-21 11:27:42 +0000 | <mesaoptimizer> | I see, thank you |
| 2026-05-21 11:27:55 +0000 | <comerijn> | mesaoptimizer: My personal heuristic is to lag GHC releases by *at least* 1 major (x.y being major for GHC) version unless you *specifically* need some new feature/bugfix |
| 2026-05-21 11:28:53 +0000 | <comerijn> | at release time there's general just not enough library ecosystem up to date and barring some specific bug there's really no real reason to need the bleeding edge GHC |
| 2026-05-21 11:30:21 +0000 | <mesaoptimizer> | yeah that makes sense |
| 2026-05-21 11:31:02 +0000 | <kuribas> | tomsmeding: I still haven't had a positive experience with the LLM writing code. |
| 2026-05-21 11:31:13 +0000 | <comerijn> | For libraries I do try to follow the bleeding edge as soon as I can |
| 2026-05-21 11:31:31 +0000 | <tomsmeding> | kuribas: I've used it very sparingly so far, but I've had some positive experiences with LLM-based autocomplete |
| 2026-05-21 11:31:33 +0000 | <kuribas> | tomsmeding: I semms often "almost right", but then I end up with a different approach and rewriting it anyway. |
| 2026-05-21 11:31:47 +0000 | <comerijn> | kuribas: ChatGPT is surprisingly good at complicated Scala fuckery, so I'd be curious how good it is at, for example, Template Haskell |
| 2026-05-21 11:31:50 +0000 | <kuribas> | tomsmeding: true, autocomplete sometimes gets it right. |
| 2026-05-21 11:32:04 +0000 | <tomsmeding> | small pieces of code, lots of context |
| 2026-05-21 11:32:41 +0000 | <tomsmeding> | it can also work as a discovery method -- if you aren't sure how to approach a function, have the LLM generate something and take inspiration from what it produces |
| 2026-05-21 11:32:55 +0000 | <tomsmeding> | (but watch out for not training your creativity at all any more) |
| 2026-05-21 11:33:49 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-21 11:37:08 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:24 +0000 | probie | (cc0b34050a@user/probie) (Ping timeout: 245 seconds) |
| 2026-05-21 11:37:31 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Write error: Connection reset by peer) |
| 2026-05-21 11:37:31 +0000 | chr55 | (57a0c161b0@user/chr55) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:31 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:31 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:31 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:31 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 250 seconds) |
| 2026-05-21 11:37:31 +0000 | rprospero_ | (eadde01e73@user/rprospero) (Ping timeout: 250 seconds) |
| 2026-05-21 11:37:31 +0000 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 250 seconds) |
| 2026-05-21 11:37:31 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Ping timeout: 250 seconds) |
| 2026-05-21 11:37:31 +0000 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:31 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:31 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 246 seconds) |
| 2026-05-21 11:37:31 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 246 seconds) |
| 2026-05-21 11:37:31 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Ping timeout: 246 seconds) |
| 2026-05-21 11:37:31 +0000 | sherbert | (d006a0b946@2a03:6000:1812:100::155) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:31 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:32 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:32 +0000 | bgtdsword | (b968c1779f@user/titibandit) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:35 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 252 seconds) |
| 2026-05-21 11:37:35 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) (Ping timeout: 252 seconds) |
| 2026-05-21 11:37:35 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 252 seconds) |
| 2026-05-21 11:37:47 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Read error: Connection reset by peer) |
| 2026-05-21 11:37:47 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 250 seconds) |
| 2026-05-21 11:37:47 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 250 seconds) |
| 2026-05-21 11:37:49 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 245 seconds) |
| 2026-05-21 11:37:55 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2026-05-21 11:38:08 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (Ping timeout: 252 seconds) |
| 2026-05-21 11:38:08 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Ping timeout: 252 seconds) |
| 2026-05-21 11:38:13 +0000 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 250 seconds) |
| 2026-05-21 11:38:13 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (Ping timeout: 250 seconds) |
| 2026-05-21 11:38:39 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 248 seconds) |
| 2026-05-21 11:38:41 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 252 seconds) |
| 2026-05-21 11:38:41 +0000 | cephei8 | (b8652603d7@user/cephei8) (Ping timeout: 252 seconds) |
| 2026-05-21 11:38:41 +0000 | caz | (866183745f@2a03:6000:1812:100::15d4) (Ping timeout: 252 seconds) |
| 2026-05-21 11:38:41 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 252 seconds) |
| 2026-05-21 11:38:58 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2026-05-21 11:38:58 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2026-05-21 11:38:59 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2026-05-21 11:39:00 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2026-05-21 11:39:00 +0000 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2026-05-21 11:39:05 +0000 | stureplan | (22e45d5caf@user/stureplan) (Ping timeout: 250 seconds) |
| 2026-05-21 11:39:14 +0000 | duncan | (c6181279e3@user/meow/duncan) (Ping timeout: 252 seconds) |
| 2026-05-21 11:39:14 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Read error: Connection reset by peer) |
| 2026-05-21 11:40:02 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2026-05-21 11:40:20 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 252 seconds) |
| 2026-05-21 11:40:20 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (Ping timeout: 252 seconds) |
| 2026-05-21 11:40:20 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Ping timeout: 252 seconds) |
| 2026-05-21 11:40:22 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Read error: Connection reset by peer) |
| 2026-05-21 11:40:35 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) (Read error: Connection reset by peer) |
| 2026-05-21 11:41:02 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2026-05-21 11:41:03 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2026-05-21 11:41:09 +0000 | sus | (1b7af6299f@user/zeromomentum) (Ping timeout: 245 seconds) |
| 2026-05-21 11:41:16 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (Ping timeout: 250 seconds) |
| 2026-05-21 11:41:26 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 252 seconds) |
| 2026-05-21 11:41:30 +0000 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 259 seconds) |
| 2026-05-21 11:41:30 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 259 seconds) |
| 2026-05-21 11:42:06 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2026-05-21 11:43:05 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) (Read error: Connection reset by peer) |
| 2026-05-21 11:43:14 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (Ping timeout: 248 seconds) |
| 2026-05-21 11:43:23 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Read error: Connection reset by peer) |
| 2026-05-21 11:43:25 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Ping timeout: 250 seconds) |
| 2026-05-21 11:44:04 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Ping timeout: 245 seconds) |
| 2026-05-21 11:44:09 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2026-05-21 11:44:17 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Ping timeout: 250 seconds) |
| 2026-05-21 11:44:18 +0000 | cephei8 | (b8652603d7@user/cephei8) (Ping timeout: 248 seconds) |
| 2026-05-21 11:45:44 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-05-21 11:46:36 +0000 | <kuribas> | For me it's more about which library to use, or which arguments it takes. |
| 2026-05-21 11:46:43 +0000 | <kuribas> | Especially stuff like xpath. |
| 2026-05-21 11:46:52 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2026-05-21 11:47:28 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2026-05-21 11:47:29 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2026-05-21 11:47:32 +0000 | chr55 | (57a0c161b0@user/chr55) chr55 |
| 2026-05-21 11:47:39 +0000 | exfalsoquodlibet | (a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet |
| 2026-05-21 11:47:40 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-05-21 11:47:49 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2026-05-21 11:47:56 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2026-05-21 11:47:58 +0000 | sherbert | (d006a0b946@2a03:6000:1812:100::155) sherbert |
| 2026-05-21 11:48:02 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2026-05-21 11:48:12 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2026-05-21 11:48:15 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-05-21 11:48:20 +0000 | bgtdsword | (b968c1779f@user/titibandit) titibandit |
| 2026-05-21 11:48:21 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2026-05-21 11:48:25 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2026-05-21 11:49:01 +0000 | <kuribas> | tomsmeding: the "README" claude created was trash. Maybe I'll try to fill in most, and leave it to the LLM to add examples... |
| 2026-05-21 11:49:23 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2026-05-21 11:49:23 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2026-05-21 11:49:34 +0000 | rprospero_ | (eadde01e73@user/rprospero) rprospero |
| 2026-05-21 11:49:39 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2026-05-21 11:49:41 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2026-05-21 11:49:51 +0000 | <tomsmeding> | unsurprising |
| 2026-05-21 11:49:51 +0000 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2026-05-21 11:49:56 +0000 | <tomsmeding> | it might do better with guidance |
| 2026-05-21 11:50:43 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2026-05-21 11:50:54 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2026-05-21 11:50:59 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2026-05-21 11:51:02 +0000 | probie | (cc0b34050a@user/probie) probie |
| 2026-05-21 11:51:08 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2026-05-21 11:51:22 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2026-05-21 11:51:40 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig |
| 2026-05-21 11:51:57 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-21 11:52:07 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-05-21 11:52:09 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2026-05-21 11:52:20 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2026-05-21 11:52:22 +0000 | stureplan | (22e45d5caf@user/stureplan) stureplan |
| 2026-05-21 11:53:15 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2026-05-21 11:53:17 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2026-05-21 11:53:31 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2026-05-21 11:53:42 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2026-05-21 11:53:43 +0000 | Digitteknohippie | Digit |
| 2026-05-21 11:54:01 +0000 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2026-05-21 11:54:02 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2026-05-21 11:54:12 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2026-05-21 11:55:03 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2026-05-21 11:55:48 +0000 | caz | (866183745f@2a03:6000:1812:100::15d4) caz |
| 2026-05-21 11:55:55 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2026-05-21 11:56:05 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-05-21 11:56:05 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-05-21 11:56:05 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-21 12:02:39 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2026-05-21 12:02:40 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2026-05-21 12:22:58 +0000 | synchromesh | (~john@2406:5a00:247e:1500:70df:5a2a:dd3a:dd1a) (Read error: Connection reset by peer) |
| 2026-05-21 12:24:13 +0000 | synchromesh | (~john@2406:5a00:247e:1500:7c82:a850:5cfd:5f4b) synchromesh |
| 2026-05-21 12:24:19 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-05-21 12:27:30 +0000 | CiaoSen | (~Jura@2a02:3030:aec:1e20:88a0:41ff:fe9e:a9e6) CiaoSen |
| 2026-05-21 12:29:16 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 252 seconds) |
| 2026-05-21 12:29:30 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-21 12:30:10 +0000 | scula | (~scula@user/scula) (Ping timeout: 256 seconds) |
| 2026-05-21 12:30:11 +0000 | califax_ | (~califax@user/califx) califx |
| 2026-05-21 12:30:48 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-21 12:30:55 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 12:31:28 +0000 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2026-05-21 12:31:29 +0000 | califax_ | califax |
| 2026-05-21 12:31:30 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 12:32:30 +0000 | scula | (~scula@user/scula) scula |
| 2026-05-21 12:39:36 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-21 12:44:38 +0000 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-21 12:44:57 +0000 | vanishing | (~vanishing@user/vanishingideal) (Client Quit) |
| 2026-05-21 12:47:11 +0000 | CiaoSen | (~Jura@2a02:3030:aec:1e20:88a0:41ff:fe9e:a9e6) (Ping timeout: 265 seconds) |
| 2026-05-21 12:48:48 +0000 | CiaoSen | (~Jura@dynamic-046-114-169-083.46.114.pool.telefonica.de) CiaoSen |
| 2026-05-21 12:56:44 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-05-21 12:56:56 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) (Ping timeout: 257 seconds) |
| 2026-05-21 12:58:01 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-05-21 12:59:47 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2026-05-21 13:00:16 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 13:12:14 +0000 | AlexNoo_ | AlexNoo |
| 2026-05-21 13:12:42 +0000 | Alex_delenda_est | (~al_test@5.139.233.99) |
| 2026-05-21 13:16:11 +0000 | AlexZenon | (~alzenon@5.139.233.99) (Ping timeout: 244 seconds) |
| 2026-05-21 13:17:49 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) myxokephale |
| 2026-05-21 13:20:51 +0000 | AlexZenon | (~alzenon@5.139.233.99) |
| 2026-05-21 13:23:14 +0000 | AlexZenon | (~alzenon@5.139.233.99) (Read error: Connection reset by peer) |
| 2026-05-21 13:24:07 +0000 | AlexZenon | (~alzenon@5.139.233.99) |
| 2026-05-21 13:26:03 +0000 | gf316 | (~gf3@user/gf3) gf3 |
| 2026-05-21 13:27:42 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2026-05-21 13:27:58 +0000 | gf31 | (~gf3@user/gf3) (Ping timeout: 256 seconds) |
| 2026-05-21 13:27:59 +0000 | gf316 | gf31 |
| 2026-05-21 13:34:23 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-21 13:36:09 +0000 | Alex_delenda_est | (~al_test@5.139.233.99) (Read error: Connection reset by peer) |
| 2026-05-21 13:38:50 +0000 | AlexZenon | (~alzenon@5.139.233.99) (Read error: Connection reset by peer) |
| 2026-05-21 13:39:21 +0000 | AlexZenon | (~alzenon@5.139.233.99) |
| 2026-05-21 13:45:29 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-21 13:54:51 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2026-05-21 13:58:18 +0000 | ridcully_ | (~ridcully@p57b529aa.dip0.t-ipconnect.de) (Quit: WeeChat 4.8.1) |
| 2026-05-21 13:59:30 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-21 14:00:29 +0000 | ridcully | (~ridcully@p57b529aa.dip0.t-ipconnect.de) ridcully |
| 2026-05-21 14:16:51 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-21 14:23:13 +0000 | <jaror> | Do arrays still need a card table if their elements are unlifted? |
| 2026-05-21 14:23:35 +0000 | <jaror> | The immutable Array# I mean |
| 2026-05-21 14:26:44 +0000 | <jaror> | I don't really understand any of the explanations in the docs on SmallArrays |
| 2026-05-21 14:27:36 +0000 | <jaror> | It talks about the GC not having to traverse all elements, but doesn't it need to do that anyway to copy everything over? |
| 2026-05-21 14:33:24 +0000 | <tomsmeding> | there's memcpy(), and then there's following all the pointers to all the heap nodes referenced from the array cells |
| 2026-05-21 14:33:45 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-21 14:33:48 +0000 | <jaror> | I mean all the elements needs to be copied deeply, no? |
| 2026-05-21 14:34:40 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-05-21 14:34:47 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-21 14:34:57 +0000 | <jaror> | But maybe it is an optimization for the other non-copying strategies that GHC also applies? |
| 2026-05-21 14:35:25 +0000 | <tomsmeding> | ok I don't actually know what SmallArray you're talking about :) |
| 2026-05-21 14:35:49 +0000 | <tomsmeding> | oh primitive:Data.Primitive.SmallArray? |
| 2026-05-21 14:36:12 +0000 | <jaror> | Yeah, or the GHC builtin one: https://hackage.haskell.org/package/base-4.21.0.0/docs/GHC-Exts.html#t:SmallArray-35- |
| 2026-05-21 14:36:41 +0000 | <tomsmeding> | sure, I found that one first but there were no docs there whatsoever :) |
| 2026-05-21 14:37:26 +0000 | <tomsmeding> | > This allows the garbage collector to only re-traverse segments of the array that have been marked during certain phases |
| 2026-05-21 14:37:29 +0000 | <jaror> | There's some documentation in the primitive package and also some documentation here: https://hackage-content.haskell.org/package/ghc-prim-0.13.0/docs/GHC-Prim.html#g:19 |
| 2026-05-21 14:38:41 +0000 | <jaror> | The documentation seems to imply that it is only mutation that is a problem and thus that SmallArray# should always be preferred over Array#... |
| 2026-05-21 14:39:30 +0000 | <tomsmeding> | well unless it's long and you might want to thaw it at some point |
| 2026-05-21 14:40:37 +0000 | <jaror> | Yes if you want to unsafely freeze or thaw it and use it mostly as a large mutable array then there seems to be an advantage to Array# |
| 2026-05-21 14:40:43 +0000 | <jaror> | But that hardly sounds tipical |
| 2026-05-21 14:42:40 +0000 | <tomsmeding> | jaror: this sounds relevant https://www.channable.com/tech/lessons-in-managing-haskell-memory#mutability-is-the-root-of-all-ev… |
| 2026-05-21 14:42:51 +0000 | <tomsmeding> | at least about how exactly mutability is relevant here |
| 2026-05-21 14:44:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-21 14:48:32 +0000 | <jaror> | ah so the card dirty card table entries are taken as roots when checking from pointers from the old to the new generation. |
| 2026-05-21 14:51:15 +0000 | <int-e> | jaror: I believe your're right that Array# wouldn't need a card table, but then unsafeThawArray# would have to copy arrays to make room for a card table. |
| 2026-05-21 14:52:00 +0000 | <jaror> | I think I also read that laziness can cause similar kinds of pointers from the old to new generation though |
| 2026-05-21 14:52:23 +0000 | <tomsmeding> | that Channable blog post also does mention that |
| 2026-05-21 14:52:47 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 250 seconds) |
| 2026-05-21 14:53:06 +0000 | <jaror> | ah, but then there may be a thunk nested deeply in the Array# which creates such a pointer when it is forced |
| 2026-05-21 14:53:27 +0000 | <jaror> | How is the card table updated then, it sounds quite distant |
| 2026-05-21 14:54:00 +0000 | <tomsmeding> | would the resolving of the thunk perhaps itself update the mut list? |
| 2026-05-21 14:54:16 +0000 | <tomsmeding> | the card table being for "the Array# itself occurred in the mut list, now what changed exactly" |
| 2026-05-21 14:54:40 +0000 | <tomsmeding> | (I'm guessing here though) |
| 2026-05-21 15:01:18 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-05-21 15:01:28 +0000 | Digit | (~user@user/digit) (Ping timeout: 256 seconds) |
| 2026-05-21 15:02:42 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2026-05-21 15:04:10 +0000 | Alex_delenda_est | (~al_test@5.139.233.99) |
| 2026-05-21 15:04:39 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-21 15:05:54 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-21 15:06:52 +0000 | <int-e> | jaror: The card table is not touched in that case, it's the thunk that's going to be updated. The thunk is replaced by an indirection, and the indirection is recorded in the old generation's mutable list so GC treats it as a root. |
| 2026-05-21 15:07:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 15:07:37 +0000 | <int-e> | somewhere in the middle of this is https://gitlab.haskell.org/ghc/ghc/-/blob/master/rts/Updates.h#L489 |
| 2026-05-21 15:08:22 +0000 | <jaror> | ah that makes sense |
| 2026-05-21 15:09:39 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-21 15:09:39 +0000 | <jaror> | So if you use an array mostly immutably, you should go for SmallArray# is my conclusion. |
| 2026-05-21 15:12:10 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 15:12:24 +0000 | <int-e> | If you care about the 1.6% wasted memory but are fine with the overhead of having pointers/thunks. |
| 2026-05-21 15:13:36 +0000 | <jaror> | I think small arrays are very common and it is unwieldy to have to switch between Array and SmallArray |
| 2026-05-21 15:14:47 +0000 | <jaror> | s/are/should be/ |
| 2026-05-21 15:15:21 +0000 | <jaror> | But I definitely also think unboxed arrays deserve a better API |
| 2026-05-21 15:15:42 +0000 | <int-e> | (Of course the overhead is larger, relatively speaking, for small arrays, because you'll have a full word of card table even if the array has just one or three entries) |
| 2026-05-21 15:16:07 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-21 15:17:03 +0000 | <jaror> | How much overhead is it exactly, by the way |
| 2026-05-21 15:17:15 +0000 | <jaror> | the primitive docs say: The card size is 128, so for uses much larger than that, Array would likely be superior. |
| 2026-05-21 15:17:29 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2026-05-21 15:17:34 +0000 | <jaror> | is it always 128 bytes? or 128 bytes per entry? |
| 2026-05-21 15:17:42 +0000 | <jaror> | or 128+...? |
| 2026-05-21 15:19:03 +0000 | <jaror> | Oh or is that only saying that the cards track 128 items of the list at a time? |
| 2026-05-21 15:20:33 +0000 | <int-e> | "Each byte in the card table for an StgMutaArrPtrs covers [128] elements in the array." |
| 2026-05-21 15:21:33 +0000 | <jaror> | yeah, so for smaller sizes it definitely doesn't make sense to use Array#, but then also the overhead is 1 word + 1 byte per 128 items? |
| 2026-05-21 15:21:34 +0000 | <int-e> | Huh, so it's way less than 1.6% for large arrays, more like 0.1% |
| 2026-05-21 15:21:36 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-21 15:21:54 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2026-05-21 15:23:09 +0000 | <int-e> | Why 1 word? There is no extra pointer for this. |
| 2026-05-21 15:23:36 +0000 | <c_wraith> | but they are going to round the byte count up to the nearest full word |
| 2026-05-21 15:23:41 +0000 | <jaror> | ah |
| 2026-05-21 15:23:53 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:6ecf:3924:2ebb:64d6) |
| 2026-05-21 15:24:12 +0000 | <int-e> | Oh, maybe there is an extra word. It stores the number of pointers and the total size of the payload rather than computing the size on demand. |
| 2026-05-21 15:24:48 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-05-21 15:24:57 +0000 | <int-e> | That also means that you can't convert an Array# into a SmallArray# in constant time. Boo. |
| 2026-05-21 15:28:55 +0000 | <int-e> | (compare StgMutArrPtrs and StgSmallMutArrPtrs at https://gitlab.haskell.org/ghc/ghc/-/blob/master/rts/include/rts/storage/Closures.h#L212 ff.) |
| 2026-05-21 15:29:12 +0000 | <jaror> | Yeah, I just found that too |
| 2026-05-21 15:29:28 +0000 | <jaror> | 1 extra word and the cards rounded up |
| 2026-05-21 15:30:04 +0000 | <jaror> | So not insignificant if you have like <20 elements in the array |
| 2026-05-21 15:30:06 +0000 | <int-e> | right but truncating the payload wouldn't be a huge deal |
| 2026-05-21 15:30:32 +0000 | <int-e> | ah, we're on different trains of thought |
| 2026-05-21 15:35:17 +0000 | Googulator25 | (~Googulato@84-236-52-41.pool.digikabel.hu) |
| 2026-05-21 15:36:37 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 15:38:22 +0000 | lieven | (~mal@ns2.wyrd.be) lieven |
| 2026-05-21 15:38:32 +0000 | Googulator | (~Googulato@94-21-138-77.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-05-21 15:38:46 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-21 15:43:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-05-21 15:44:56 +0000 | Digitteknohippie | Digit |
| 2026-05-21 15:47:39 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 15:49:33 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-21 15:51:53 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 15:59:04 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-05-21 16:00:03 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-21 16:21:23 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-05-21 16:24:39 +0000 | ashwinmathi | (~ashwinmat@2600:1700:6070:b140:94cc:bfe5:92c2:f83b) |
| 2026-05-21 16:29:04 +0000 | CiaoSen | (~Jura@dynamic-046-114-169-083.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2026-05-21 16:29:38 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-05-21 16:30:37 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-21 16:34:12 +0000 | ft | (~ft@p4fc2aedc.dip0.t-ipconnect.de) ft |
| 2026-05-21 16:39:34 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-05-21 16:44:12 +0000 | ashwinmathi | (~ashwinmat@2600:1700:6070:b140:94cc:bfe5:92c2:f83b) (Remote host closed the connection) |
| 2026-05-21 16:45:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2026-05-21 16:46:09 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 16:47:04 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-21 16:47:13 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-21 16:47:15 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-21 16:49:07 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-21 16:50:24 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-21 16:51:57 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2026-05-21 16:54:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 16:58:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-21 17:09:46 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-05-21 17:14:42 +0000 | AlexZenon | (~alzenon@5.139.233.99) (Read error: Connection reset by peer) |
| 2026-05-21 17:14:57 +0000 | AlexZenon | (~alzenon@5.139.233.99) |
| 2026-05-21 17:18:31 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-05-21 17:18:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-21 17:19:39 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-21 17:31:46 +0000 | Alex_delenda_est | (~al_test@5.139.233.99) (Read error: Connection reset by peer) |
| 2026-05-21 17:33:09 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-21 17:37:24 +0000 | Square | (~Square@user/square) Square |
| 2026-05-21 17:38:18 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-05-21 17:40:55 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 250 seconds) |
| 2026-05-21 17:41:01 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-21 17:41:24 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 241 seconds) |
| 2026-05-21 17:42:49 +0000 | tnt1 | (~Thunderbi@user/tnt1) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | ridcully | (~ridcully@p57b529aa.dip0.t-ipconnect.de) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | rprospero_ | (eadde01e73@user/rprospero) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | bgtdsword | (b968c1779f@user/titibandit) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | krei-se | (~krei-se@photonen.krei.se) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | acidjnk_new3 | (~acidjnk@2003:d6:e700:e504:6199:9fae:8973:7d79) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | myme | (~myme@2a01:799:d5e:5f00:7465:8784:7b55:3048) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | m | (~travltux@user/travltux) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | Pixi | (~Pixi@user/pixi) (*.net *.split) |
| 2026-05-21 17:42:49 +0000 | ryou | (~haze@user/ryou) (*.net *.split) |
| 2026-05-21 17:42:56 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2026-05-21 17:42:56 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2026-05-21 17:42:56 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2026-05-21 17:42:58 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2026-05-21 17:42:58 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2026-05-21 17:42:58 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-05-21 17:42:58 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2026-05-21 17:42:58 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2026-05-21 17:42:59 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2026-05-21 17:42:59 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-05-21 17:42:59 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2026-05-21 17:42:59 +0000 | bgtdsword | (b968c1779f@user/titibandit) titibandit |
| 2026-05-21 17:43:00 +0000 | rprospero_ | (eadde01e73@user/rprospero) rprospero |
| 2026-05-21 17:43:06 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2026-05-21 17:43:07 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-21 17:43:09 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-21 17:43:10 +0000 | ridcully | (~ridcully@p57b529aa.dip0.t-ipconnect.de) ridcully |
| 2026-05-21 17:43:11 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e50461999fae89737d79.dip0.t-ipconnect.de) |
| 2026-05-21 17:43:12 +0000 | myme | (~myme@2a01:799:d5e:5f00:7465:8784:7b55:3048) myme |
| 2026-05-21 17:43:19 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-05-21 17:43:30 +0000 | myxos | (~myxos@67-1-178-42.tcso.qwest.net) myxokephale |
| 2026-05-21 17:44:07 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2026-05-21 17:44:21 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2026-05-21 17:44:22 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2026-05-21 17:44:30 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2026-05-21 17:44:36 +0000 | ryou | (~haze@user/ryou) ryou |
| 2026-05-21 17:44:45 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2026-05-21 17:45:09 +0000 | krei-se | (~krei-se@p5098b7b3.dip0.t-ipconnect.de) krei-se |
| 2026-05-21 17:46:17 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2026-05-21 17:48:47 +0000 | AlexZenon | (~alzenon@5.139.233.99) (Read error: Connection reset by peer) |
| 2026-05-21 17:49:01 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-21 17:49:03 +0000 | AlexZenon | (~alzenon@5.139.233.99) |
| 2026-05-21 17:51:50 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-21 17:55:30 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2026-05-21 18:20:50 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-05-21 18:21:13 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-21 18:26:53 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-21 18:26:53 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-21 18:27:16 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-21 18:27:35 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-21 19:08:14 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-21 19:15:23 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-21 19:23:24 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |