| 2025-04-04 00:01:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 00:04:14 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-04-04 00:05:20 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2025-04-04 00:05:25 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 00:06:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 00:10:20 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-04 00:11:44 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-04 00:13:23 +0200 | rstromlund | (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 2025-04-04 00:15:15 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-04 00:16:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 00:18:32 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-04 00:19:04 +0200 | chewybread | (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) |
| 2025-04-04 00:19:04 +0200 | chewybread | (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) (Changing host) |
| 2025-04-04 00:19:04 +0200 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-04-04 00:20:42 +0200 | hattckory | (~hattckory@205.189.187.4) |
| 2025-04-04 00:21:09 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:2342:51dd:f532:6d25) ph88 |
| 2025-04-04 00:21:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 00:24:44 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-04 00:25:27 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 00:28:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 00:31:13 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-04 00:31:59 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-04 00:32:14 +0200 | Guest57 | (~Guest57@2607:fb90:bd10:58e0:5d0f:841e:976b:4ffd) |
| 2025-04-04 00:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 00:35:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-04 00:44:11 +0200 | chewybread | (~chewybrea@user/chewybread) (Ping timeout: 252 seconds) |
| 2025-04-04 00:44:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 00:45:36 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 00:49:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 00:49:57 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-04-04 00:52:22 +0200 | chewybread | (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) |
| 2025-04-04 00:52:23 +0200 | chewybread | (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) (Changing host) |
| 2025-04-04 00:52:23 +0200 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-04-04 00:52:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-04 00:57:40 +0200 | tavare | (~tavare@150.129.88.189) tavare |
| 2025-04-04 00:57:40 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-04-04 00:57:40 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-04 00:57:51 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-04 00:59:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 01:00:30 +0200 | Guest57 | (~Guest57@2607:fb90:bd10:58e0:5d0f:841e:976b:4ffd) (Ping timeout: 240 seconds) |
| 2025-04-04 01:00:31 +0200 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 01:04:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 01:05:38 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 01:05:45 +0200 | rstromlund | (~user@user/rstromlund) (Ping timeout: 268 seconds) |
| 2025-04-04 01:12:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-04 01:13:00 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-04 01:15:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 01:17:04 +0200 | <haskellbridge> | <Liamzee> https://medium.com/@trueskawka/haskell-divmod-and-quotrem-450b859b656a |
| 2025-04-04 01:17:24 +0200 | <haskellbridge> | <Liamzee> is haskell auto-optimizing divmod into quotrem? I tried on apple silicon and couldn't find appreciable differences |
| 2025-04-04 01:19:04 +0200 | tabemann_ | tabemann |
| 2025-04-04 01:22:24 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f05c47cfd219ef4d968.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-04-04 01:22:33 +0200 | <Axman6> | There has been work to implement efficient division by known constants but I'm not sure if it ever got merged. I was going to work on it but someone else was on it already (and using a less efficient algorithm afaict) |
| 2025-04-04 01:22:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-04 01:23:26 +0200 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2025-04-04 01:26:46 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 01:29:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 01:29:48 +0200 | sprotte24 | (~sprotte24@p200300d16f073800ec483cc7828fc8d9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-04 01:30:55 +0200 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/issues/22152 is marked fixed. I'm not immediately finding the buggy constant division optimization that got into 9.12.1 |
| 2025-04-04 01:34:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 01:38:05 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-04-04 01:38:18 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-04-04 01:44:42 +0200 | <haskellbridge> | <Liamzee> I don't think GHC can figure out in my context that it's always positive thus quotrem introduces no inaccuracy |
| 2025-04-04 01:44:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 01:45:13 +0200 | <haskellbridge> | <Liamzee> also my benchmark is probably wrong, just forcing the value i'm looking for, without using it, is still causing substantial kernel time |
| 2025-04-04 01:46:08 +0200 | <Axman6> | quotRem is often faster than divMod, and should be preferred if you're working with only positivie inputs |
| 2025-04-04 01:46:14 +0200 | <Axman6> | positive* |
| 2025-04-04 01:47:00 +0200 | <c_wraith> | isn't quotRem what hardware actually gives you, with divMod requiring some fixups? |
| 2025-04-04 01:47:04 +0200 | <haskellbridge> | <Liamzee> it's not kernel time, i'm just misreading |
| 2025-04-04 01:47:11 +0200 | <haskellbridge> | <Liamzee> zsh time |
| 2025-04-04 01:47:12 +0200 | <haskellbridge> | <Liamzee> facepalm |
| 2025-04-04 01:48:06 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2025-04-04 01:49:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 01:50:00 +0200 | <Axman6> | I did some of the work to make this _a lot_ faster on aarch64, adding access to the UMULH and UMULL instructions |
| 2025-04-04 01:50:20 +0200 | <Axman6> | (Which I think got backported to 9.10 not too long ago) |
| 2025-04-04 01:53:34 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:2342:51dd:f532:6d25) (Quit: Leaving) |
| 2025-04-04 01:56:06 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 02:01:17 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-04 02:01:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-04 02:08:21 +0200 | otto_s | (~user@p5b044be5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-04 02:09:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 02:09:50 +0200 | otto_s | (~user@p5de2ff42.dip0.t-ipconnect.de) |
| 2025-04-04 02:10:16 +0200 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 02:11:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-04 02:12:07 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-04-04 02:13:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 02:15:13 +0200 | rstromlund | (~user@user/rstromlund) (Ping timeout: 244 seconds) |
| 2025-04-04 02:21:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-04 02:24:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 02:27:50 +0200 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 02:28:01 +0200 | hattckory | (~hattckory@205.189.187.4) (Ping timeout: 248 seconds) |
| 2025-04-04 02:29:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 02:30:12 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-04 02:32:43 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-04 02:33:07 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 02:38:24 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-04-04 02:40:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 02:45:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-04 02:48:24 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 02:52:57 +0200 | Square2 | (~Square@user/square) Square |
| 2025-04-04 02:54:08 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-04-04 02:56:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 02:56:24 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-04-04 03:01:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 03:11:32 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4999:ed25:622a:4144) (Ping timeout: 272 seconds) |
| 2025-04-04 03:12:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 03:15:28 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-04-04 03:17:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 03:21:06 +0200 | rstromlund | (~user@user/rstromlund) (Ping timeout: 246 seconds) |
| 2025-04-04 03:27:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 03:31:43 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-04 03:32:03 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 245 seconds) |
| 2025-04-04 03:32:09 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-04 03:32:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 03:43:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 03:48:35 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-04-04 03:49:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 03:50:00 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 2025-04-04 03:51:56 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-04-04 03:53:52 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-04-04 03:53:56 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-04-04 03:54:06 +0200 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2025-04-04 03:59:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 04:05:01 +0200 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 04:06:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-04 04:06:45 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 248 seconds) |
| 2025-04-04 04:09:11 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-04 04:10:08 +0200 | rstromlund | (~user@user/rstromlund) (Ping timeout: 268 seconds) |
| 2025-04-04 04:13:06 +0200 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 04:15:11 +0200 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-04-04 04:16:44 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-04-04 04:16:47 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-04-04 04:16:47 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-04 04:17:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 04:18:52 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-04 04:20:31 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 265 seconds) |
| 2025-04-04 04:22:35 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-04-04 04:23:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 04:28:49 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-04-04 04:33:10 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) |
| 2025-04-04 04:33:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 04:34:52 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Changing host) |
| 2025-04-04 04:34:52 +0200 | XZDX | (~xzdx@user/XZDX) XZDX |
| 2025-04-04 04:36:03 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-04 04:36:36 +0200 | mange | (~user@user/mange) mange |
| 2025-04-04 04:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-04 04:41:01 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 04:49:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 04:51:14 +0200 | <haskellbridge> | <Liamzee> thanks Axman6! |
| 2025-04-04 04:53:31 +0200 | rstromlund | (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 2025-04-04 04:53:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-04 04:54:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 04:59:43 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-04-04 05:00:20 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-04-04 05:00:20 +0200 | ChanServ | +v haskellbridge |
| 2025-04-04 05:00:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 05:06:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 05:06:40 +0200 | <haskellbridge> | <Liamzee> that's cool, on apple m3, using time, C is 0.31s user 0.01s system for pidigits |
| 2025-04-04 05:07:12 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-04 05:09:24 +0200 | <haskellbridge> | <Liamzee> vs cabal run pidigits.hs -- 10000 -N4 0.43s user 0.02s system 95% cpu 0.472 total |
| 2025-04-04 05:11:18 +0200 | <haskellbridge> | <Liamzee> which is really freaking weird, the "div" outperforms the "quote" |
| 2025-04-04 05:11:22 +0200 | <haskellbridge> | <Liamzee> erm, "quot" |
| 2025-04-04 05:12:51 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2025-04-04 05:16:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 05:17:11 +0200 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 05:21:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 05:21:44 +0200 | rstromlund | (~user@user/rstromlund) (Ping timeout: 244 seconds) |
| 2025-04-04 05:32:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 05:35:05 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-04-04 05:37:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 05:42:39 +0200 | michalz | (~michalz@185.246.207.215) |
| 2025-04-04 05:45:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-04 05:48:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 05:53:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 05:55:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 06:00:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 06:01:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 06:06:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-04 06:32:18 +0200 | pabs3 | Guest7041 |
| 2025-04-04 06:32:18 +0200 | Guest7041 | (~pabs3@user/pabs3) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2025-04-04 06:32:43 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-04-04 06:32:47 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-04-04 06:33:31 +0200 | <haskellbridge> | <Liamzee> does anyone have an intel system and is willing to help with benchmarks here? |
| 2025-04-04 06:33:44 +0200 | <haskellbridge> | <Liamzee> https://benchmarksgame-team.pages.debian.net/benchmarksgame/performance/pidigits.html |
| 2025-04-04 06:34:24 +0200 | <haskellbridge> | <Liamzee> on my system, quot does not introduce any advantages over div, but i'm on apple silicon, but the Haskell on apple silicon is taking 50% more time than the C |
| 2025-04-04 06:34:50 +0200 | <haskellbridge> | <Liamzee> whereas on their benchmarks, it's roughly 2x the time |
| 2025-04-04 06:42:23 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-04-04 06:42:24 +0200 | jmcantrell_ | jmcantrell |
| 2025-04-04 06:47:17 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-04-04 06:47:17 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-04-04 06:47:17 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-04 06:49:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 06:55:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 06:56:07 +0200 | ERR0R157 | (~ERR0R157@user/ERR0R157) ERR0R157 |
| 2025-04-04 07:01:33 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-04 07:05:24 +0200 | <sim590> | I just added the data constructor `Offline` here: https://github.com/sim590/habanga/blob/b965deab3e7a3802c93bcfc6d46df58eabda28d4/src/core/NetworkSt… And I tried using it over here: https://github.com/sim590/habanga/blob/b965deab3e7a3802c93bcfc6d46df58eabda28d4/src/tui/GameView.h… and it compiles correctly according to HLS (Haskell Language Server), but cabal build gives "Not in |
| 2025-04-04 07:05:26 +0200 | <sim590> | scope: data constructor ‘NS.Offline’". Wtf ? |
| 2025-04-04 07:05:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 07:05:59 +0200 | <sim590> | It is exported... All types and constructors are exported by that module. So, GHC is wrong here. But I don't get it. |
| 2025-04-04 07:07:18 +0200 | <sim590> | If I replace `NS.Offline` by `_`, it compiles correctly... |
| 2025-04-04 07:08:53 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-04 07:10:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 07:14:07 +0200 | <c_wraith> | did the habanga-tui component get recompiled? |
| 2025-04-04 07:14:18 +0200 | <sim590> | I did a full `v2-clean`. |
| 2025-04-04 07:14:21 +0200 | <sim590> | Then, I recompiled. |
| 2025-04-04 07:14:24 +0200 | <sim590> | Same error. |
| 2025-04-04 07:14:48 +0200 | <c_wraith> | Did it actually compile that component during the recompile? |
| 2025-04-04 07:15:03 +0200 | <sim590> | Oh I see. |
| 2025-04-04 07:15:06 +0200 | <sim590> | Let me check. |
| 2025-04-04 07:15:30 +0200 | <sim590> | That would explain. |
| 2025-04-04 07:16:34 +0200 | <c_wraith> | oh, I had that backwards. -core is the one that might not be recompiling |
| 2025-04-04 07:16:42 +0200 | <c_wraith> | but I suppose you know what I meant |
| 2025-04-04 07:16:59 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-04 07:17:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-04 07:17:40 +0200 | <sim590> | c_wraith: here's what I got: https://paste.debian.net/1367361/ |
| 2025-04-04 07:17:41 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-04 07:17:47 +0200 | <sim590> | it does compile it.. :/ |
| 2025-04-04 07:17:54 +0200 | <sim590> | It's in NetworkState |
| 2025-04-04 07:19:12 +0200 | <c_wraith> | Ok, getting into real "just in case" territory - are you sure you've saved the change? |
| 2025-04-04 07:19:20 +0200 | <sim590> | Yes :D |
| 2025-04-04 07:19:42 +0200 | <sim590> | Oh. |
| 2025-04-04 07:19:44 +0200 | <sim590> | Fuc |
| 2025-04-04 07:20:08 +0200 | <sim590> | I think I was editing the file in the Git staging area. Because of fugitive.vim. |
| 2025-04-04 07:20:51 +0200 | <c_wraith> | That sounds way more confusing than any time I've saved to the wrong file. |
| 2025-04-04 07:21:05 +0200 | <c_wraith> | ... which is surprisingly common |
| 2025-04-04 07:21:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 07:21:57 +0200 | <haskellbridge> | <Liamzee> is there a simpler way to do (unur . move)? |
| 2025-04-04 07:22:11 +0200 | <sim590> | OK. There's clearly something. I'm not sure what it is yet. The file seems to be OK on disk, but git says it's "untracked". Even though, I committed it... |
| 2025-04-04 07:22:15 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-04 07:24:25 +0200 | <sim590> | Ah gawd. It seems like my Vim decided to save the file in the root directory of the repo instead of it's usual path and I,ve been editing that file since. Damn. |
| 2025-04-04 07:26:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-04 07:28:50 +0200 | ERR0R157 | (~ERR0R157@user/ERR0R157) (Remote host closed the connection) |
| 2025-04-04 07:29:31 +0200 | <sim590> | It seems like cabal decided to use the wrong NetworkState file in the root directory (that didn't have the constructor) even though `hs-source-dirs:` for `habanga-core` said `src/core`. So like if you have files in subdirectories, it's possible cabal/ghc confuses files in the root directories with files in the subdirectories. Seems like a bug. |
| 2025-04-04 07:37:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 07:44:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 07:44:36 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-04-04 07:55:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 08:00:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-04 08:02:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 08:02:29 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-04 08:07:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 08:08:13 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-04-04 08:12:12 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 08:13:43 +0200 | <haskellbridge> | <Liamzee> i guess i love my experience with linear haskell being, every few months: |
| 2025-04-04 08:13:48 +0200 | <haskellbridge> | <Liamzee> "wow, linear haskell is a wonderful idea" |
| 2025-04-04 08:13:59 +0200 | <haskellbridge> | <Liamzee> then |
| 2025-04-04 08:14:12 +0200 | <haskellbridge> | <Liamzee> "developed by people who thought the best part of Rust was fighting with the borrow checker" |
| 2025-04-04 08:19:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 08:19:24 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-04 08:20:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-04-04 08:21:07 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-04 08:23:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 08:34:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 08:36:29 +0200 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-04-04 08:38:08 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-04-04 08:38:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-04 08:39:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |