| 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 |
| 2025-12-22 10:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 10:41:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 10:41:29 +0100 | wickedjargon | (~user@64.114.24.74) (Remote host closed the connection) |
| 2025-12-22 10:45:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 10:50:22 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2025-12-22 10:50:42 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:51f8:844c:b2d8:bea0) |
| 2025-12-22 10:50:42 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:51f8:844c:b2d8:bea0) (Changing host) |
| 2025-12-22 10:50:42 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-12-22 10:55:39 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-12-22 10:55:44 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-22 10:56:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 11:01:26 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-22 11:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-22 11:05:43 +0100 | shaeto | (~Shaeto@94.25.234.244) (Ping timeout: 240 seconds) |
| 2025-12-22 11:10:19 +0100 | qqe | (~qqq@185.54.20.98) (Remote host closed the connection) |
| 2025-12-22 11:17:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 11:23:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 11:28:42 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-22 11:32:56 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 11:33:09 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 11:33:49 +0100 | cheater | (~AdminUser@user/cheater) (Ping timeout: 244 seconds) |
| 2025-12-22 11:35:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 11:35:37 +0100 | cheater | (~AdminUser@2a02:8388:a180:3500:2936:d5c0:ce56:944) |
| 2025-12-22 11:36:28 +0100 | lucabtz_ | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-22 11:37:16 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 246 seconds) |
| 2025-12-22 11:40:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 11:41:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 11:45:25 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-22 11:47:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 11:57:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 12:01:54 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4269:13fd:9426:cdf9) |
| 2025-12-22 12:02:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-22 12:13:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 12:14:50 +0100 | trickard_ | trickard |
| 2025-12-22 12:18:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-22 12:20:01 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 12:20:14 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 12:28:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 12:29:13 +0100 | lucabtz_ | (~lucabtz@user/lucabtz) (Quit: leaving) |
| 2025-12-22 12:29:23 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-22 12:32:25 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-12-22 12:33:14 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-22 12:33:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 12:33:44 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 12:38:19 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-22 12:42:33 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-22 12:42:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 12:43:27 +0100 | trickard_ | trickard |
| 2025-12-22 12:43:51 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh |
| 2025-12-22 12:47:40 +0100 | lockna_ | (~lockna@193-81-168-132.hdsl.highway.telekom.at) lockna |
| 2025-12-22 12:47:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 12:56:46 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-12-22 12:57:05 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 12:58:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 13:03:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-22 13:04:21 +0100 | acidjnk | (~acidjnk@p200300d6e717199315a8de6aaca943b1.dip0.t-ipconnect.de) acidjnk |
| 2025-12-22 13:09:10 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2025-12-22 13:10:39 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Client Quit) |
| 2025-12-22 13:16:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 13:22:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 13:29:39 +0100 | yin | (~zero@user/zero) (Ping timeout: 252 seconds) |
| 2025-12-22 13:33:05 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-22 13:33:44 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Ping timeout: 260 seconds) |
| 2025-12-22 13:34:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 13:34:07 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-12-22 13:37:20 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-22 13:38:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 13:39:26 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-22 13:43:10 +0100 | lockna_ | (~lockna@193-81-168-132.hdsl.highway.telekom.at) (Remote host closed the connection) |
| 2025-12-22 13:43:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 13:45:16 +0100 | danza | (~danza@user/danza) danza |
| 2025-12-22 13:48:18 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-22 13:48:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-22 13:50:25 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-12-22 13:52:32 +0100 | shaeto | (~Shaeto@94.25.234.244) (Ping timeout: 240 seconds) |
| 2025-12-22 13:53:50 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 13:54:03 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 13:54:36 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-22 13:57:02 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2025-12-22 13:59:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 14:04:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 14:10:19 +0100 | corecaps | (~quassel@2a01:e0a:bce:8d30:213f:8faa:e762:278d) |
| 2025-12-22 14:11:28 +0100 | corecaps | (~quassel@2a01:e0a:bce:8d30:213f:8faa:e762:278d) (Changing host) |
| 2025-12-22 14:11:28 +0100 | corecaps | (~quassel@user/corecaps) corecaps |
| 2025-12-22 14:15:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 14:20:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 14:32:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 14:37:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-22 14:39:59 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 14:40:12 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 14:44:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 14:48:42 +0100 | trickard_ | trickard |
| 2025-12-22 14:49:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 15:00:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 15:03:07 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 265 seconds) |
| 2025-12-22 15:05:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-22 15:10:46 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-22 15:14:35 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-22 15:14:41 +0100 | somemathguy | (~somemathg@user/somemathguy) (Client Quit) |
| 2025-12-22 15:16:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 15:21:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-22 15:21:56 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 15:22:08 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 15:23:37 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-22 15:24:01 +0100 | dontdieych | (~dontdieyc@132.226.169.184) (Remote host closed the connection) |
| 2025-12-22 15:32:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 15:34:26 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 15:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 15:39:38 +0100 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2025-12-22 15:42:00 +0100 | jzargo | (~jzargo@user/jzargo) (Read error: Connection reset by peer) |
| 2025-12-22 15:42:22 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-22 15:44:08 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-22 15:45:26 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 15:45:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 15:47:19 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-12-22 15:50:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 15:51:59 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-22 15:58:32 +0100 | duckworld | (~duckworld@user/duckworld) (Remote host closed the connection) |
| 2025-12-22 15:58:52 +0100 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2025-12-22 16:00:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-22 16:01:03 +0100 | duckworld | (~duckworld@user/duckworld) (Remote host closed the connection) |
| 2025-12-22 16:01:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-22 16:01:21 +0100 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2025-12-22 16:01:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 16:08:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 16:14:00 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-22 16:17:16 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-22 16:19:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 16:19:39 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-22 16:24:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-22 16:35:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 16:40:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 16:43:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-22 16:47:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 16:48:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-22 16:51:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 16:51:40 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-22 16:52:34 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh |
| 2025-12-22 16:53:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-22 16:54:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-22 16:56:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-22 17:02:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 17:05:15 +0100 | haetsal_ | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-22 17:06:27 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2025-12-22 17:07:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 17:16:50 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-22 17:18:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 17:19:23 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-22 17:23:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-12-22 17:23:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 17:31:02 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 2025-12-22 17:34:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 17:36:38 +0100 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-12-22 17:38:30 +0100 | trickard_ | trickard |
| 2025-12-22 17:38:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 17:47:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 17:54:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-22 18:02:38 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 18:02:51 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 18:06:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 18:10:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 18:10:56 +0100 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-22 18:12:08 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2025-12-22 18:12:19 +0100 | fp | (~Thunderbi@77-105-96-144.lpok.fi) fp |
| 2025-12-22 18:12:28 +0100 | fp | (~Thunderbi@77-105-96-144.lpok.fi) (Client Quit) |
| 2025-12-22 18:18:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-22 18:20:02 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-22 18:23:04 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-22 18:23:04 +0100 | ljdarj1 | ljdarj |
| 2025-12-22 18:36:58 +0100 | ridcully_ | (~ridcully@p508aca22.dip0.t-ipconnect.de) ridcully |
| 2025-12-22 18:38:15 +0100 | ridcully | (~ridcully@p57b52b68.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-12-22 18:48:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 18:49:13 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-12-22 18:49:15 +0100 | irfan | (~irfan@user/irfan) irfan |
| 2025-12-22 18:53:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-22 18:58:06 +0100 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-22 18:59:18 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2025-12-22 19:00:35 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-22 19:03:01 +0100 | mehbark9 | (~mehbark@joey.luug.ece.vt.edu) (Ping timeout: 264 seconds) |
| 2025-12-22 19:03:20 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-12-22 19:04:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 19:08:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 19:09:23 +0100 | jzargo | (~jzargo@user/jzargo) jzargo |
| 2025-12-22 19:09:47 +0100 | irfan | (~irfan@user/irfan) (Quit: leaving) |
| 2025-12-22 19:12:58 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-22 19:14:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 19:18:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 19:30:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 19:34:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 19:45:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 19:51:05 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-22 19:51:25 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-22 19:51:36 +0100 | <haskellbridge> | <Zemyla> I kind of wish there was an atomic swap for two MVars. |
| 2025-12-22 19:54:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-22 19:55:11 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 19:55:24 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 19:57:49 +0100 | <gentauro> | anybody know if James Faure is here ^_^? What an absolute masterpiece "Rust and the price of ignoring theory" <3 |
| 2025-12-22 19:59:08 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 20:03:22 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-22 20:03:52 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-22 20:05:07 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2025-12-22 20:05:07 +0100 | mehbark | (~mehbark@user/mehbark) mehbark |
| 2025-12-22 20:05:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 20:06:06 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-22 20:10:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 20:12:14 +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 20:13:33 +0100 | <monochrom> | Zemyla: Add one more MVar to atomize the swapping of two existing MVars! |
| 2025-12-22 20:13:35 +0100 | <iqubic> | Those would be useful for me, and I'm not really seeing what prevents those from existing. |
| 2025-12-22 20:21:40 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-22 20:23:51 +0100 | <EvanR> | atomic swap of two MVars sounds like someone screaming out for STM |
| 2025-12-22 20:24:33 +0100 | <gentauro> | EvanR: linear-types? |
| 2025-12-22 20:24:44 +0100 | <monochrom> | Yeah STM should be much simpler. But sometimes there are causes for sticking to MVars. You never know the context of contextless generic questions! |
| 2025-12-22 20:24:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-22 20:25:48 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-22 20:25:59 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-22 20:26:10 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-22 20:26:15 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2025-12-22 20:27:32 +0100 | shaeto | (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-22 20:28:21 +0100 | <monochrom> | Actually you can just perform two takeMVars then two putMVars. You already have atomicity. If every site does it in the same order, you won't have deadlocks. |
| 2025-12-22 20:33:14 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-22 20:33:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-12-22 20:34:02 +0100 | <EvanR> | ensure that like this |
| 2025-12-22 20:34:16 +0100 | <EvanR> | MVar (A, MVar B) |
| 2025-12-22 20:34:17 +0100 | <EvanR> | xD |
| 2025-12-22 20:34:33 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-22 20:34:38 +0100 | <monochrom> | I think MChan is like that. |
| 2025-12-22 20:35:10 +0100 | <EvanR> | where A = B because we're trying to swap |
| 2025-12-22 20:36:14 +0100 | <monochrom> | Err s/MChan/Chan/ |
| 2025-12-22 20:37:18 +0100 | <monochrom> | data ChItem a = ChItem a (MVar (ChItem a)) |
| 2025-12-22 20:37:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 20:39:21 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-22 20:41:02 +0100 | mastarija | (~mastarija@9-118.dsl.iskon.hr) mastarija |
| 2025-12-22 20:41:27 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2025-12-22 20:42:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-22 20:43:46 +0100 | <mastarija> | Arrows have some benefits like being statically analyzable and in theory we can perform more optimizations on them. Can Arrows reap some of those static analysis benefits in the current GHC or are we just limited to things like preventing memory leaks in parsers and FRP? |
| 2025-12-22 20:45:05 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-22 20:45:21 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-22 20:49:13 +0100 | <EvanR> | does GHC use "laws" of typeclasses in general? |
| 2025-12-22 20:49:26 +0100 | <EvanR> | to simplify things |
| 2025-12-22 20:50:10 +0100 | <mastarija> | No :) |
| 2025-12-22 20:50:48 +0100 | <geekosaur> | ghc knows nothing about laws. some RULES assume that various laws hold, meaning they produce breakage if they don't, but nothing checks or otherwise uses them |
| 2025-12-22 20:50:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-22 20:50:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 20:51:02 +0100 | <mastarija> | But it does recognize some things IIRC and can apply some optimizations in certain cases. |
| 2025-12-22 20:51:57 +0100 | <mastarija> | Optimizations related to some "laws", not in general. |
| 2025-12-22 20:55:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 20:59:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-22 20:59:48 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-22 21:01:15 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh |
| 2025-12-22 21:01:19 +0100 | mastarija | (~mastarija@9-118.dsl.iskon.hr) (Quit: Client closed) |
| 2025-12-22 21:06:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 21:13:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 21:15:40 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-22 21:16:11 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-22 21:21:29 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-22 21:24:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 21:29:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-22 21:36:58 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 255 seconds) |
| 2025-12-22 21:38:13 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-22 21:40:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 21:44:28 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-12-22 21:45:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 21:46:34 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 256 seconds) |
| 2025-12-22 21:46:35 +0100 | polykernel_ | polykernel |
| 2025-12-22 21:52:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 21:54:22 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-22 21:54:35 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-22 21:57:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-22 22:05:17 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-22 22:05:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-22 22:07:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 22:08:49 +0100 | <hololeap> | can someone remind me what the syntax is in a .cabal file for (if ghc >= 9.6) |
| 2025-12-22 22:12:32 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-22 22:12:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-22 22:14:16 +0100 | <hololeap> | found it: if impl(ghc >= 9.6) |
| 2025-12-22 22:23:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 22:25:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-22 22:28:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 22:32:18 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-22 22:35:45 +0100 | myme | (~myme@2a01:799:d5e:5f00:5e12:8326:f92:1a30) (Ping timeout: 245 seconds) |
| 2025-12-22 22:37:00 +0100 | myme | (~myme@2a01:799:d5e:5f00:d40:c994:1cc4:c4b5) myme |
| 2025-12-22 22:37:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 22:37:26 +0100 | elarks | (~yerrii@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2025-12-22 22:39:21 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-22 22:39:29 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-22 22:41:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 22:41:55 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 22:42:07 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 22:43:11 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-22 22:52:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 22:59:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-22 23:00:06 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-22 23:06:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-22 23:10:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 23:15:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 23:15:55 +0100 | annamalai | (~annamalai@2409:4042:d13:652a::9eca:d20b) (Ping timeout: 264 seconds) |
| 2025-12-22 23:18:13 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2025-12-22 23:19:53 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 23:20:06 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 23:33:29 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |