2025/12/22

Newest at the top

2025-12-22 08:32:13 +0100allenlee(~allenlee@1-162-52-120.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2025-12-22 08:31:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-22 08:29:28 +0100annamalai(~annamalai@157.33.254.173) (Ping timeout: 244 seconds)
2025-12-22 08:27:54 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2025-12-22 08:25:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 08:22:55 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-12-22 08:22:42 +0100trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-22 08:19:53 +0100wickedjargon(~user@64.114.24.74) wickedjargon
2025-12-22 08:14:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-12-22 08:12:25 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 244 seconds)
2025-12-22 08:09:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 08:08:11 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd)
2025-12-22 08:07:10 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-22 08:07:00 +0100trickard_trickard
2025-12-22 08:03:49 +0100 <int-e> Leary: Ah, but this opens the can of worms of doing address calculations in Haskell (hoping the compiler won't add a stack or heap check in the mix that might trigger a GC)... gah. This is why there are those array-based primops, after all.
2025-12-22 07:58:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-22 07:56:44 +0100haritz(~hrtz@user/haritz) (Remote host closed the connection)
2025-12-22 07:53:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 07:50:03 +0100Vajb(~Vajb@n70u4zvz328004ovt20-1.v6.elisa-mobile.fi)
2025-12-22 07:49:45 +0100Vajb(~Vajb@n5gf526ahbjilsptg0q-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds)
2025-12-22 07:43:54 +0100 <Leary> int-e: Thanks, I'll look into it.
2025-12-22 07:42:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-22 07:38:50 +0100 <int-e> Binding to the RTS's hs_atomic_add64 with FFI might not be the worst idea in the world?
2025-12-22 07:37:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 07:37:24 +0100 <int-e> Leary: Not with the primops available I think. CMM has a `prim %fetch_add64` operation though, which I think is mapped to a call to hs_atomic_add64, which uses GCC's __sync_fetch_and_add(), which may be a cas loop internally (probably is for 32 bit targets). Or possibly even something with a lock.
2025-12-22 07:31:32 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-12-22 07:31:05 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-12-22 07:29:58 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-12-22 07:29:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-22 07:24:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 07:23:00 +0100remexre(~remexre@user/remexre) remexre
2025-12-22 07:22:27 +0100remexre(~remexre@user/remexre) (Remote host closed the connection)
2025-12-22 07:15:45 +0100 <Leary> Axman6: Unfortunately not; it seems only to support an |Int| sized counter, which may be too small on 32bit.
2025-12-22 07:12:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-22 07:12:25 +0100 <Axman6> does https://hackage-content.haskell.org/package/atomic-counter-0.1.2.4/docs/Control-Concurrent-Counter… help at all?
2025-12-22 07:10:12 +0100 <Leary> Am I doing something silly here <https://github.com/LSLeary/heterogeneous-comparison/blob/usg/src/Control/Monad/USG.hs#L124-L132>? I feel like there should be a better way to atomically increment a mutable `Int64` on 32bit arch.
2025-12-22 07:08:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 06:59:55 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds)
2025-12-22 06:59:31 +0100ykcaj(~ykcaj@124.158.99.23) (Client Quit)
2025-12-22 06:57:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-22 06:55:39 +0100allenlee(~allenlee@1-162-52-120.dynamic-ip.hinet.net)
2025-12-22 06:55:19 +0100ykcaj(~ykcaj@124.158.99.23)
2025-12-22 06:54:36 +0100Jacky21(~Jacky@124.158.99.23) ()
2025-12-22 06:53:16 +0100Jacky21(~Jacky@124.158.99.23)
2025-12-22 06:52:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 06:52:00 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-12-22 06:48:23 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-12-22 06:48:10 +0100trickard_(~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-22 06:41:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-12-22 06:37:42 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 252 seconds)