Logs: liberachat/#haskell
| 2025-12-22 05:53:16 | → | Jacky21 joins (~Jacky@124.158.99.23) |
| 2025-12-22 05:54:36 | ← | Jacky21 parts (~Jacky@124.158.99.23) () |
| 2025-12-22 05:55:19 | → | ykcaj joins (~ykcaj@124.158.99.23) |
| 2025-12-22 05:55:39 | → | allenlee joins (~allenlee@1-162-52-120.dynamic-ip.hinet.net) |
| 2025-12-22 05:57:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 05:59:31 | × | ykcaj quits (~ykcaj@124.158.99.23) (Client Quit) |
| 2025-12-22 05:59:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-22 06:08:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 06:10:12 | <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 06:12:25 | <Axman6> | does https://hackage-content.haskell.org/package/atomic-counter-0.1.2.4/docs/Control-Concurrent-Counter.html help at all? |
| 2025-12-22 06:12:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 06:15:45 | <Leary> | Axman6: Unfortunately not; it seems only to support an |Int| sized counter, which may be too small on 32bit. |
| 2025-12-22 06:22:27 | × | remexre quits (~remexre@user/remexre) (Remote host closed the connection) |
| 2025-12-22 06:23:00 | → | remexre joins (~remexre@user/remexre) |
| 2025-12-22 06:24:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 06:29:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 06:29:58 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-22 06:31:05 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-22 06:31:32 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 06:37:24 | <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 06:37:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 06:38:50 | <int-e> | Binding to the RTS's hs_atomic_add64 with FFI might not be the worst idea in the world? |
| 2025-12-22 06:42:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-22 06:43:54 | <Leary> | int-e: Thanks, I'll look into it. |
| 2025-12-22 06:49:45 | × | Vajb quits (~Vajb@n5gf526ahbjilsptg0q-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2025-12-22 06:50:03 | → | Vajb joins (~Vajb@n70u4zvz328004ovt20-1.v6.elisa-mobile.fi) |
| 2025-12-22 06:53:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 06:56:44 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-12-22 06:58:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 07:03:49 | <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:07:00 | trickard_ | is now known as trickard |
| 2025-12-22 07:07:10 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-22 07:08:11 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 07:09:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 07:12:25 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 244 seconds) |
| 2025-12-22 07:14:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-22 07:19:53 | → | wickedjargon joins (~user@64.114.24.74) |
| 2025-12-22 07:22:42 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 07:22:55 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 07:25:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 07:27:54 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-22 07:29:28 | × | annamalai quits (~annamalai@157.33.254.173) (Ping timeout: 244 seconds) |
| 2025-12-22 07:31:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-22 07:32:13 | × | allenlee quits (~allenlee@1-162-52-120.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2025-12-22 07:33:55 | × | synchromesh quits (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-22 07:35:06 | → | michalz joins (~michalz@185.246.207.203) |
| 2025-12-22 07:35:06 | → | synchromesh joins (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) |
| 2025-12-22 07:39:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 07:43:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 07:46:28 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-22 07:46:42 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 07:54:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 07:54:55 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-22 07:56:53 | → | annamalai joins (~annamalai@2409:4042:d13:652a::9eca:d20b) |
| 2025-12-22 07:59:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 08:02:58 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-22 08:10:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 08:11:14 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-12-22 08:11:14 | → | arkeet` joins (~arkeet@moriya.ca) |
| 2025-12-22 08:11:55 | × | arkeet quits (~arkeet@moriya.ca) (Ping timeout: 240 seconds) |
| 2025-12-22 08:11:55 | arkeet` | is now known as arkeet |
| 2025-12-22 08:12:40 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-12-22 08:14:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 08:15:10 | → | vetkat9 joins (~vetkat@user/vetkat) |
| 2025-12-22 08:17:25 | × | vetkat quits (~vetkat@user/vetkat) (Ping timeout: 264 seconds) |
| 2025-12-22 08:17:25 | vetkat9 | is now known as vetkat |
| 2025-12-22 08:19:28 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-22 08:25:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 08:30:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 08:31:45 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 08:31:58 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 08:40:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 08:43:30 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-22 08:44:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 08:44:50 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-22 08:45:22 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-22 08:47:58 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-12-22 08:47:59 | → | poscat joins (~poscat@user/poscat) |
| 2025-12-22 08:55:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 08:57:05 | trickard_ | is now known as trickard |
| 2025-12-22 09:00:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 09:11:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 09:14:13 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 09:15:52 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-22 09:15:52 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-22 09:15:52 | → | haritz joins (~hrtz@user/haritz) |
| 2025-12-22 09:18:27 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 250 seconds) |
| 2025-12-22 09:19:13 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-22 09:20:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 09:31:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 09:31:36 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-22 09:32:05 | → | qqe joins (~qqq@185.54.20.98) |
| 2025-12-22 09:32:34 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2025-12-22 09:35:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 09:41:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 09:41:29 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 2025-12-22 09:45:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 09:50:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2025-12-22 09:50:42 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:51f8:844c:b2d8:bea0) |
| 2025-12-22 09:50:42 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:51f8:844c:b2d8:bea0) (Changing host) |
All times are in UTC.