2025/04/04

2025-04-04 00:01:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 00:04:14 +0200remexre(~remexre@user/remexre) (Ping timeout: 252 seconds)
2025-04-04 00:05:20 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 252 seconds)
2025-04-04 00:05:25 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-04 00:06:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-04 00:10:20 +0200weary-traveler(~user@user/user363627) user363627
2025-04-04 00:11:44 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-04 00:13:23 +0200rstromlund(~user@user/rstromlund) (Ping timeout: 252 seconds)
2025-04-04 00:15:15 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-04-04 00:16:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 00:18:32 +0200Eoco(~ian@128.101.131.218) Eoco
2025-04-04 00:19:04 +0200chewybread(~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net)
2025-04-04 00:19:04 +0200chewybread(~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) (Changing host)
2025-04-04 00:19:04 +0200chewybread(~chewybrea@user/chewybread) chewybread
2025-04-04 00:20:42 +0200hattckory(~hattckory@205.189.187.4)
2025-04-04 00:21:09 +0200ph88(~ph88@2a02:8109:9e26:c800:2342:51dd:f532:6d25) ph88
2025-04-04 00:21:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-04 00:24:44 +0200remexre(~remexre@user/remexre) remexre
2025-04-04 00:25:27 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-04 00:28:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 00:31:13 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds)
2025-04-04 00:31:59 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-04 00:32:14 +0200Guest57(~Guest57@2607:fb90:bd10:58e0:5d0f:841e:976b:4ffd)
2025-04-04 00:33:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-04 00:35:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-04 00:44:11 +0200chewybread(~chewybrea@user/chewybread) (Ping timeout: 252 seconds)
2025-04-04 00:44:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 00:45:36 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-04 00:49:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-04 00:49:57 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 248 seconds)
2025-04-04 00:52:22 +0200chewybread(~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net)
2025-04-04 00:52:23 +0200chewybread(~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) (Changing host)
2025-04-04 00:52:23 +0200chewybread(~chewybrea@user/chewybread) chewybread
2025-04-04 00:52:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-04-04 00:57:40 +0200tavare(~tavare@150.129.88.189) tavare
2025-04-04 00:57:40 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-04-04 00:57:40 +0200tavare(~tavare@user/tavare) tavare
2025-04-04 00:57:51 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-04-04 00:59:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 01:00:30 +0200Guest57(~Guest57@2607:fb90:bd10:58e0:5d0f:841e:976b:4ffd) (Ping timeout: 240 seconds)
2025-04-04 01:00:31 +0200rstromlund(~user@user/rstromlund) rstromlund
2025-04-04 01:04:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-04 01:05:38 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-04 01:05:45 +0200rstromlund(~user@user/rstromlund) (Ping timeout: 268 seconds)
2025-04-04 01:12:38 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-04 01:13:00 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-04 01:15:47 +0200merijn(~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 +0200tabemann_tabemann
2025-04-04 01:22:24 +0200acidjnk_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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-04 01:23:26 +0200forell(~forell@user/forell) (Ping timeout: 252 seconds)
2025-04-04 01:26:46 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-04 01:29:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 01:29:48 +0200sprotte24(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-04 01:38:05 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-04-04 01:38:18 +0200inca(~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 +0200merijn(~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 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds)
2025-04-04 01:49:49 +0200merijn(~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 +0200ph88(~ph88@2a02:8109:9e26:c800:2342:51dd:f532:6d25) (Quit: Leaving)
2025-04-04 01:56:06 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-04 02:01:17 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-04 02:01:24 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-04 02:08:21 +0200otto_s(~user@p5b044be5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-04 02:09:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 02:09:50 +0200otto_s(~user@p5de2ff42.dip0.t-ipconnect.de)
2025-04-04 02:10:16 +0200rstromlund(~user@user/rstromlund) rstromlund
2025-04-04 02:11:27 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-04 02:12:07 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-04-04 02:13:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-04 02:15:13 +0200rstromlund(~user@user/rstromlund) (Ping timeout: 244 seconds)
2025-04-04 02:21:37 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-04 02:24:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 02:27:50 +0200rstromlund(~user@user/rstromlund) rstromlund
2025-04-04 02:28:01 +0200hattckory(~hattckory@205.189.187.4) (Ping timeout: 248 seconds)
2025-04-04 02:29:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-04 02:30:12 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-04 02:32:43 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-04 02:33:07 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-04 02:38:24 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 246 seconds)
2025-04-04 02:40:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 02:45:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-04-04 02:48:24 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com)
2025-04-04 02:52:57 +0200Square2(~Square@user/square) Square
2025-04-04 02:54:08 +0200inca(~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 245 seconds)
2025-04-04 02:56:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 02:56:24 +0200Square(~Square4@user/square) (Ping timeout: 260 seconds)
2025-04-04 03:01:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-04 03:11:32 +0200xff0x(~xff0x@2405:6580:b080:900:4999:ed25:622a:4144) (Ping timeout: 272 seconds)
2025-04-04 03:12:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 03:15:28 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-04-04 03:17:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-04 03:21:06 +0200rstromlund(~user@user/rstromlund) (Ping timeout: 246 seconds)
2025-04-04 03:27:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 03:31:43 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-04 03:32:03 +0200toby-bro(~toby-bro@user/toby-bro) (Ping timeout: 245 seconds)
2025-04-04 03:32:09 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-04 03:32:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-04 03:43:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 03:48:35 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-04-04 03:49:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-04 03:50:00 +0200haritz(~hrtz@user/haritz) (Ping timeout: 276 seconds)
2025-04-04 03:51:56 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-04-04 03:53:52 +0200puke(~puke@user/puke) (Quit: puke)
2025-04-04 03:53:56 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-04-04 03:54:06 +0200Square2(~Square@user/square) (Ping timeout: 268 seconds)
2025-04-04 03:59:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 04:05:01 +0200rstromlund(~user@user/rstromlund) rstromlund
2025-04-04 04:06:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-04 04:06:45 +0200thuna`(~thuna`@user/thuna/x-1480069) (Ping timeout: 248 seconds)
2025-04-04 04:09:11 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-04 04:10:08 +0200rstromlund(~user@user/rstromlund) (Ping timeout: 268 seconds)
2025-04-04 04:13:06 +0200rstromlund(~user@user/rstromlund) rstromlund
2025-04-04 04:15:11 +0200chewybread(~chewybrea@user/chewybread) (Remote host closed the connection)
2025-04-04 04:16:44 +0200haritz(~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737)
2025-04-04 04:16:47 +0200haritz(~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host)
2025-04-04 04:16:47 +0200haritz(~hrtz@user/haritz) haritz
2025-04-04 04:17:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 04:18:52 +0200weary-traveler(~user@user/user363627) user363627
2025-04-04 04:20:31 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 265 seconds)
2025-04-04 04:22:35 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-04-04 04:23:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-04 04:28:49 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 244 seconds)
2025-04-04 04:33:10 +0200XZDX(~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e)
2025-04-04 04:33:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-04 04:34:52 +0200XZDX(~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Changing host)
2025-04-04 04:34:52 +0200XZDX(~xzdx@user/XZDX) XZDX
2025-04-04 04:36:03 +0200euphores(~SASL_euph@user/euphores) euphores
2025-04-04 04:36:36 +0200mange(~user@user/mange) mange
2025-04-04 04:37:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-04 04:41:01 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)