Newest at the top
| 2025-12-22 08:32:13 +0100 | allenlee | (~allenlee@1-162-52-120.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2025-12-22 08:31:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-22 08:29:28 +0100 | annamalai | (~annamalai@157.33.254.173) (Ping timeout: 244 seconds) |
| 2025-12-22 08:27:54 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-22 08:25:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 08:22:55 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 08:22:42 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 08:19:53 +0100 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2025-12-22 08:14:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-22 08:12:25 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 244 seconds) |
| 2025-12-22 08:09:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 08:08:11 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 08:07:10 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-22 08:07:00 +0100 | trickard_ | 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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 07:56:44 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-12-22 07:53:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 07:50:03 +0100 | Vajb | (~Vajb@n70u4zvz328004ovt20-1.v6.elisa-mobile.fi) |
| 2025-12-22 07:49:45 +0100 | Vajb | (~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 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 07:31:05 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-22 07:29:58 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-22 07:29:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 07:24:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 07:23:00 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2025-12-22 07:22:27 +0100 | remexre | (~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 +0100 | merijn | (~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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 06:59:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-22 06:59:31 +0100 | ykcaj | (~ykcaj@124.158.99.23) (Client Quit) |
| 2025-12-22 06:57:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 06:55:39 +0100 | allenlee | (~allenlee@1-162-52-120.dynamic-ip.hinet.net) |
| 2025-12-22 06:55:19 +0100 | ykcaj | (~ykcaj@124.158.99.23) |
| 2025-12-22 06:54:36 +0100 | Jacky21 | (~Jacky@124.158.99.23) () |
| 2025-12-22 06:53:16 +0100 | Jacky21 | (~Jacky@124.158.99.23) |
| 2025-12-22 06:52:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 06:52:00 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-12-22 06:48:23 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 06:48:10 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 06:41:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-22 06:37:42 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 252 seconds) |