| 2025-12-22 00:03:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-22 00:13:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-22 00:14:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 00:17:21 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-22 00:18:17 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh |
| 2025-12-22 00:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 00:19:51 +0100 | <EvanR> | also monads in the Data |
| 2025-12-22 00:26:37 +0100 | <haskellbridge> | <loonycyborg> If there's Data.Data then why there isn't Control.Control? :P |
| 2025-12-22 00:29:22 +0100 | <monochrom> | GHC has only recently begun to provided delimited continuations. But eventually Control.Control would be a great home for its stable API. :) |
| 2025-12-22 00:29:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 00:31:52 +0100 | corecaps | (~quassel@user/corecaps) (Quit: Segmentaiton fault, core dumped) |
| 2025-12-22 00:36:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-22 00:38:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 00:39:03 +0100 | <probie> | EvanR: We already have the perfect type system that makes mistakes impossible |
| 2025-12-22 00:39:20 +0100 | <probie> | It's uninhabited |
| 2025-12-22 00:40:11 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-22 00:42:22 +0100 | <EvanR> | is that like Falso |
| 2025-12-22 00:42:39 +0100 | <EvanR> | https://inutile.club/estatis/falso/ |
| 2025-12-22 00:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 00:45:52 +0100 | <probie> | It's the opposite of Falso |
| 2025-12-22 00:47:29 +0100 | <probie> | If our type system has no inhabitants, there are no valid programs, and therefore none of our programs can have any mistakes |
| 2025-12-22 00:50:06 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-22 00:51:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 00:53:50 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-22 00:56:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 00:59:50 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-22 01:00:37 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-22 01:02:12 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 01:04:34 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-22 01:07:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 01:12:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 01:22:15 +0100 | <yin> | ah, the principle of implosion |
| 2025-12-22 01:23:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 01:23:29 +0100 | <monochrom> | I don't know, I see that as: since every program fails to type-check, so every program has mistakes |
| 2025-12-22 01:27:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 01:27:51 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-22 01:28:10 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-22 01:31:45 +0100 | <ncf> | MLTT + Π + Σ + {one of U or 0} would do |
| 2025-12-22 01:32:09 +0100 | <ncf> | (can't have a universe *and* an empty type because that typically means you have a code for the empty type in the universe, which is a term!) |
| 2025-12-22 01:33:37 +0100 | <ncf> | i suppose you could have U + coproducts |
| 2025-12-22 01:35:00 +0100 | <ncf> | oh, and identity types! |
| 2025-12-22 01:38:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 01:43:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 01:54:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 01:59:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 02:04:30 +0100 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 256 seconds) |
| 2025-12-22 02:06:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-22 02:08:03 +0100 | trickard_ | trickard |
| 2025-12-22 02:10:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 02:12:54 +0100 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2025-12-22 02:14:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ae34:f81a:c4c2:4c9b) (Ping timeout: 252 seconds) |
| 2025-12-22 02:16:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 02:22:51 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2025-12-22 02:24:34 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-22 02:24:36 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-22 02:24:36 +0100 | omidmash1 | omidmash |
| 2025-12-22 02:24:44 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-22 02:28:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 02:33:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-22 02:41:15 +0100 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 240 seconds) |
| 2025-12-22 02:42:20 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-22 02:43:35 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-22 02:44:16 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-22 02:44:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 02:51:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-12-22 02:52:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 02:54:22 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 02:55:32 +0100 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2025-12-22 03:03:08 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-22 03:04:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 03:04:19 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-22 03:04:43 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-22 03:06:38 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 2025-12-22 03:08:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 03:11:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-22 03:13:36 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-12-22 03:17:28 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2025-12-22 03:19:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 03:23:55 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-22 03:24:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 03:27:28 +0100 | iqubic | (~sophia@2601:602:9203:1660:3bd8:1b23:71a3:5898) iqubic |
| 2025-12-22 03:29:05 +0100 | <iqubic> | Is there some reason why the package MemoTrie doesn't have any instances for "MemoTrie v => MemoTrie (Set v)" and "(MemoTrie k, MemoTrie v) => MemoTrie (Map k v)" |
| 2025-12-22 03:29:18 +0100 | <iqubic> | @hackage MemoTrie |
| 2025-12-22 03:29:18 +0100 | <lambdabot> | https://hackage.haskell.org/package/MemoTrie |
| 2025-12-22 03:29:24 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-22 03:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 03:40:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 03:40:36 +0100 | acidjnk | (~acidjnk@p200300d6e71719599454bb6a38637d1e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-12-22 03:47:41 +0100 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-12-22 03:48:41 +0100 | Guest73 | (~Guest73@208.115.228.234) |
| 2025-12-22 03:51:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 03:55:13 +0100 | Paul_0904 | (~Guest12@208.115.228.234) |
| 2025-12-22 03:55:20 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 03:55:34 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-22 03:58:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-22 03:58:05 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-12-22 04:00:35 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-22 04:01:13 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-12-22 04:03:06 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-12-22 04:09:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 04:10:52 +0100 | <Guest73> | Hello everybody. |
| 2025-12-22 04:10:52 +0100 | <Guest73> | How are you? |
| 2025-12-22 04:10:53 +0100 | <Guest73> | I’m looking to connect with a senior developer based in the US or Europe who is interested in paid freelancing work and revenue-generating client projects. |
| 2025-12-22 04:10:53 +0100 | <Guest73> | I’m a Singapore-based senior full-stack and AI developer, focused on execution and shipping production-ready systems. I handle engineering, integrations, and end-to-end delivery, and I’m looking to collaborate with experienced developers who want to earn consistently from real client work, not side projects. |
| 2025-12-22 04:10:54 +0100 | <Guest73> | The setup is simple: we take on client work together, split responsibilities based on strengths, and get paid per project or via revenue share. Clear scope, clear ownership, clear payment. |
| 2025-12-22 04:10:54 +0100 | <Guest73> | If this sounds like a fit, you can book a short intro call here: |
| 2025-12-22 04:10:55 +0100 | <Guest73> | 👉 https://calendly.com/lamjunkai52/30min |
| 2025-12-22 04:10:55 +0100 | <Guest73> | Thanks. |
| 2025-12-22 04:14:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 04:17:41 +0100 | trickard__ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 04:18:23 +0100 | trickard__ | trickard |
| 2025-12-22 04:19:04 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-22 04:25:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 04:29:24 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 04:29:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 04:33:46 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-22 04:35:19 +0100 | td_ | (~td@i5387093A.versanet.de) (Ping timeout: 244 seconds) |
| 2025-12-22 04:35:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 04:37:27 +0100 | td_ | (~td@i53870921.versanet.de) td_ |
| 2025-12-22 04:40:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 04:43:08 +0100 | Paul_0904 | (~Guest12@208.115.228.234) (K-Lined) |
| 2025-12-22 04:43:08 +0100 | Guest73 | (~Guest73@208.115.228.234) (K-Lined) |
| 2025-12-22 04:48:14 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 04:50:57 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-22 04:51:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 04:56:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 04:58:19 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 04:58:33 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 05:07:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 05:12:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 05:14:41 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2025-12-22 05:23:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 05:27:28 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-12-22 05:27:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 05:37:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-22 05:39:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 05:45:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 05:48:01 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-22 05:48:52 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-22 05:53:26 +0100 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
| 2025-12-22 05:55:40 +0100 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-12-22 05:57:01 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-22 05:57:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 05:57:48 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-22 06:01:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 06:02:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-22 06:12:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 06:17:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 06:28:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 06:28:56 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-22 06:33:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-22 06:37:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 06:37:42 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 252 seconds) |
| 2025-12-22 06:41:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 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:48:23 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 06:52:00 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-12-22 06:52:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 06:53:16 +0100 | Jacky21 | (~Jacky@124.158.99.23) |
| 2025-12-22 06:54:36 +0100 | Jacky21 | (~Jacky@124.158.99.23) () |
| 2025-12-22 06:55:19 +0100 | ykcaj | (~ykcaj@124.158.99.23) |
| 2025-12-22 06:55:39 +0100 | allenlee | (~allenlee@1-162-52-120.dynamic-ip.hinet.net) |
| 2025-12-22 06:57:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 06:59:31 +0100 | ykcaj | (~ykcaj@124.158.99.23) (Client Quit) |
| 2025-12-22 06:59:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-22 07:08:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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: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:12:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 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:22:27 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2025-12-22 07:23:00 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2025-12-22 07:24:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 07:29:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 07:29:58 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 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:31:32 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 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:37:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:42:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-22 07:43:54 +0100 | <Leary> | int-e: Thanks, I'll look into it. |
| 2025-12-22 07:49:45 +0100 | Vajb | (~Vajb@n5gf526ahbjilsptg0q-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2025-12-22 07:50:03 +0100 | Vajb | (~Vajb@n70u4zvz328004ovt20-1.v6.elisa-mobile.fi) |
| 2025-12-22 07:53:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 07:56:44 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-12-22 07:58:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 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 08:07:00 +0100 | trickard_ | trickard |
| 2025-12-22 08:07:10 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-22 08:08:11 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 08:09:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:14:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-22 08:19:53 +0100 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 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:22:55 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 08:25:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 08:27:54 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-22 08:29:28 +0100 | annamalai | (~annamalai@157.33.254.173) (Ping timeout: 244 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:32:13 +0100 | allenlee | (~allenlee@1-162-52-120.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2025-12-22 08:33:55 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-22 08:35:06 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-12-22 08:35:06 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh |
| 2025-12-22 08:39:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 08:43:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 08:46:28 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-22 08:46:42 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 08:54:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 08:54:55 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-22 08:56:53 +0100 | annamalai | (~annamalai@2409:4042:d13:652a::9eca:d20b) annamalai |
| 2025-12-22 08:59:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 09:02:58 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-22 09:10:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 09:11:14 +0100 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-12-22 09:11:14 +0100 | arkeet` | (~arkeet@moriya.ca) |
| 2025-12-22 09:11:55 +0100 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 240 seconds) |
| 2025-12-22 09:11:55 +0100 | arkeet` | arkeet |
| 2025-12-22 09:12:40 +0100 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-12-22 09:14:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 09:15:10 +0100 | vetkat9 | (~vetkat@user/vetkat) vetkat |
| 2025-12-22 09:17:25 +0100 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 264 seconds) |
| 2025-12-22 09:17:25 +0100 | vetkat9 | vetkat |
| 2025-12-22 09:19:28 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-22 09:25:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 09:30:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 09:31:45 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 09:31:58 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 09:40:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 09:43:30 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-22 09:44:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 09:44:50 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-22 09:45:22 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-22 09:47:58 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-22 09:47:59 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-22 09:55:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 09:57:05 +0100 | trickard_ | trickard |
| 2025-12-22 10:00:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 10:11:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 10:14:13 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 10:15:52 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-22 10:15:52 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-22 10:15:52 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-22 10:18:27 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 250 seconds) |
| 2025-12-22 10:19:13 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-22 10:20:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 10:31:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 10:31:36 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-22 10:32:05 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-22 10:32:34 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |