| 2025-04-04 00:01:17 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-04 00:01:24 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-04 00:08:21 +0000 | otto_s | (~user@p5b044be5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-04 00:09:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 00:09:50 +0000 | otto_s | (~user@p5de2ff42.dip0.t-ipconnect.de) |
| 2025-04-04 00:10:16 +0000 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 00:11:27 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-04 00:12:07 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-04-04 00:13:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 00:15:13 +0000 | rstromlund | (~user@user/rstromlund) (Ping timeout: 244 seconds) |
| 2025-04-04 00:21:37 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-04 00:24:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 00:27:50 +0000 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 00:28:01 +0000 | hattckory | (~hattckory@205.189.187.4) (Ping timeout: 248 seconds) |
| 2025-04-04 00:29:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 00:30:12 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-04 00:32:43 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-04 00:33:07 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 00:38:24 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-04-04 00:40:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 00:45:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-04 00:48:24 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 00:52:57 +0000 | Square2 | (~Square@user/square) Square |
| 2025-04-04 00:54:08 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-04-04 00:56:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 00:56:24 +0000 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-04-04 01:01:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 01:11:32 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4999:ed25:622a:4144) (Ping timeout: 272 seconds) |
| 2025-04-04 01:12:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 01:15:28 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-04-04 01:17:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 01:21:06 +0000 | rstromlund | (~user@user/rstromlund) (Ping timeout: 246 seconds) |
| 2025-04-04 01:27:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 01:31:43 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-04 01:32:03 +0000 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 245 seconds) |
| 2025-04-04 01:32:09 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-04 01:32:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 01:43:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 01:48:35 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-04-04 01:49:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 01:50:00 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 2025-04-04 01:51:56 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-04-04 01:53:52 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-04-04 01:53:56 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-04-04 01:54:06 +0000 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2025-04-04 01:59:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 02:05:01 +0000 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 02:06:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-04 02:06:45 +0000 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 248 seconds) |
| 2025-04-04 02:09:11 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-04 02:10:08 +0000 | rstromlund | (~user@user/rstromlund) (Ping timeout: 268 seconds) |
| 2025-04-04 02:13:06 +0000 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 02:15:11 +0000 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-04-04 02:16:44 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-04-04 02:16:47 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-04-04 02:16:47 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-04 02:17:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 02:18:52 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-04 02:20:31 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 265 seconds) |
| 2025-04-04 02:22:35 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-04-04 02:23:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 02:28:49 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-04-04 02:33:10 +0000 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) |
| 2025-04-04 02:33:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 02:34:52 +0000 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Changing host) |
| 2025-04-04 02:34:52 +0000 | XZDX | (~xzdx@user/XZDX) XZDX |
| 2025-04-04 02:36:03 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-04 02:36:36 +0000 | mange | (~user@user/mange) mange |
| 2025-04-04 02:37:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-04 02:41:01 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 02:49:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 02:51:14 +0000 | <haskellbridge> | <Liamzee> thanks Axman6! |
| 2025-04-04 02:53:31 +0000 | rstromlund | (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 2025-04-04 02:53:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-04 02:54:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 02:59:43 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-04-04 03:00:20 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-04-04 03:00:20 +0000 | ChanServ | +v haskellbridge |
| 2025-04-04 03:00:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 03:06:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 03:06:40 +0000 | <haskellbridge> | <Liamzee> that's cool, on apple m3, using time, C is 0.31s user 0.01s system for pidigits |
| 2025-04-04 03:07:12 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-04 03:09:24 +0000 | <haskellbridge> | <Liamzee> vs cabal run pidigits.hs -- 10000 -N4 0.43s user 0.02s system 95% cpu 0.472 total |
| 2025-04-04 03:11:18 +0000 | <haskellbridge> | <Liamzee> which is really freaking weird, the "div" outperforms the "quote" |
| 2025-04-04 03:11:22 +0000 | <haskellbridge> | <Liamzee> erm, "quot" |
| 2025-04-04 03:12:51 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2025-04-04 03:16:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 03:17:11 +0000 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2025-04-04 03:21:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 03:21:44 +0000 | rstromlund | (~user@user/rstromlund) (Ping timeout: 244 seconds) |
| 2025-04-04 03:32:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 03:35:05 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-04-04 03:37:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 03:42:39 +0000 | michalz | (~michalz@185.246.207.215) |
| 2025-04-04 03:45:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-04 03:48:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 03:53:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 03:55:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 04:00:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 04:01:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 04:06:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-04 04:32:18 +0000 | pabs3 | Guest7041 |
| 2025-04-04 04:32:18 +0000 | Guest7041 | (~pabs3@user/pabs3) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2025-04-04 04:32:43 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-04-04 04:32:47 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-04-04 04:33:31 +0000 | <haskellbridge> | <Liamzee> does anyone have an intel system and is willing to help with benchmarks here? |
| 2025-04-04 04:33:44 +0000 | <haskellbridge> | <Liamzee> https://benchmarksgame-team.pages.debian.net/benchmarksgame/performance/pidigits.html |
| 2025-04-04 04:34:24 +0000 | <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 04:34:50 +0000 | <haskellbridge> | <Liamzee> whereas on their benchmarks, it's roughly 2x the time |
| 2025-04-04 04:42:23 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-04-04 04:42:24 +0000 | jmcantrell_ | jmcantrell |
| 2025-04-04 04:47:17 +0000 | tavare | (~tavare@150.129.88.189) |
| 2025-04-04 04:47:17 +0000 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-04-04 04:47:17 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-04 04:49:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 04:55:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 04:56:07 +0000 | ERR0R157 | (~ERR0R157@user/ERR0R157) ERR0R157 |
| 2025-04-04 05:01:33 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-04 05:05:24 +0000 | <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 05:05:26 +0000 | <sim590> | scope: data constructor ‘NS.Offline’". Wtf ? |
| 2025-04-04 05:05:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 05:05:59 +0000 | <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 05:07:18 +0000 | <sim590> | If I replace `NS.Offline` by `_`, it compiles correctly... |
| 2025-04-04 05:08:53 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-04 05:10:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 05:14:07 +0000 | <c_wraith> | did the habanga-tui component get recompiled? |
| 2025-04-04 05:14:18 +0000 | <sim590> | I did a full `v2-clean`. |
| 2025-04-04 05:14:21 +0000 | <sim590> | Then, I recompiled. |
| 2025-04-04 05:14:24 +0000 | <sim590> | Same error. |
| 2025-04-04 05:14:48 +0000 | <c_wraith> | Did it actually compile that component during the recompile? |
| 2025-04-04 05:15:03 +0000 | <sim590> | Oh I see. |
| 2025-04-04 05:15:06 +0000 | <sim590> | Let me check. |
| 2025-04-04 05:15:30 +0000 | <sim590> | That would explain. |
| 2025-04-04 05:16:34 +0000 | <c_wraith> | oh, I had that backwards. -core is the one that might not be recompiling |
| 2025-04-04 05:16:42 +0000 | <c_wraith> | but I suppose you know what I meant |
| 2025-04-04 05:16:59 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-04 05:17:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-04 05:17:40 +0000 | <sim590> | c_wraith: here's what I got: https://paste.debian.net/1367361/ |
| 2025-04-04 05:17:41 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-04 05:17:47 +0000 | <sim590> | it does compile it.. :/ |
| 2025-04-04 05:17:54 +0000 | <sim590> | It's in NetworkState |
| 2025-04-04 05:19:12 +0000 | <c_wraith> | Ok, getting into real "just in case" territory - are you sure you've saved the change? |
| 2025-04-04 05:19:20 +0000 | <sim590> | Yes :D |
| 2025-04-04 05:19:42 +0000 | <sim590> | Oh. |
| 2025-04-04 05:19:44 +0000 | <sim590> | Fuc |
| 2025-04-04 05:20:08 +0000 | <sim590> | I think I was editing the file in the Git staging area. Because of fugitive.vim. |
| 2025-04-04 05:20:51 +0000 | <c_wraith> | That sounds way more confusing than any time I've saved to the wrong file. |
| 2025-04-04 05:21:05 +0000 | <c_wraith> | ... which is surprisingly common |
| 2025-04-04 05:21:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 05:21:57 +0000 | <haskellbridge> | <Liamzee> is there a simpler way to do (unur . move)? |
| 2025-04-04 05:22:11 +0000 | <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 05:22:15 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-04 05:24:25 +0000 | <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 05:26:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-04 05:28:50 +0000 | ERR0R157 | (~ERR0R157@user/ERR0R157) (Remote host closed the connection) |
| 2025-04-04 05:29:31 +0000 | <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 05:37:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 05:44:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 05:44:36 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-04-04 05:55:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 06:00:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-04 06:02:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 06:02:29 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-04 06:07:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 06:08:13 +0000 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-04-04 06:12:12 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 06:13:43 +0000 | <haskellbridge> | <Liamzee> i guess i love my experience with linear haskell being, every few months: |
| 2025-04-04 06:13:48 +0000 | <haskellbridge> | <Liamzee> "wow, linear haskell is a wonderful idea" |
| 2025-04-04 06:13:59 +0000 | <haskellbridge> | <Liamzee> then |
| 2025-04-04 06:14:12 +0000 | <haskellbridge> | <Liamzee> "developed by people who thought the best part of Rust was fighting with the borrow checker" |
| 2025-04-04 06:19:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 06:19:24 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-04 06:20:00 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-04-04 06:21:07 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-04 06:23:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 06:34:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 06:36:29 +0000 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-04-04 06:38:08 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-04-04 06:38:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-04 06:39:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 06:50:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 06:54:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-04 06:56:09 +0000 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 276 seconds) |
| 2025-04-04 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-04 07:00:57 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-04 07:01:55 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-04 07:03:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 07:05:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-04-04 07:08:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-04 07:16:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-04-04 07:16:40 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 07:16:44 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-04 07:18:06 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-04 07:18:51 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-04-04 07:18:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 07:21:21 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-04 07:22:18 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f05c0965f70e915e324.dip0.t-ipconnect.de) acidjnk |
| 2025-04-04 07:23:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 07:25:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 07:26:38 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-04-04 07:43:20 +0000 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-04-04 07:43:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-04 07:44:44 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-04-04 07:47:05 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 07:51:34 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-04 07:51:46 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-04 07:54:44 +0000 | sprotte24 | (~sprotte24@p200300d16f176a0098ec2c88260f9eb5.dip0.t-ipconnect.de) |
| 2025-04-04 08:02:17 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-04-04 08:05:36 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-04 08:07:48 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
| 2025-04-04 08:15:35 +0000 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-04-04 08:15:45 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-04-04 08:18:58 +0000 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-04-04 08:20:24 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 08:20:31 +0000 | Guest57 | (~Guest57@2607:fb90:bdc9:4bb1:fc1e:62da:e5b7:17ae) |
| 2025-04-04 08:20:43 +0000 | Guest27 | (~Guest57@2607:fb90:bdc9:4bb1:fc1e:62da:e5b7:17ae) |
| 2025-04-04 08:25:51 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-04 08:27:28 +0000 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 245 seconds) |
| 2025-04-04 08:28:01 +0000 | Guest57 | (~Guest57@2607:fb90:bdc9:4bb1:fc1e:62da:e5b7:17ae) (Quit: Client closed) |
| 2025-04-04 08:33:00 +0000 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-04-04 08:34:06 +0000 | Guest27 | (~Guest57@2607:fb90:bdc9:4bb1:fc1e:62da:e5b7:17ae) (Ping timeout: 240 seconds) |
| 2025-04-04 08:37:07 +0000 | chele | (~chele@user/chele) chele |
| 2025-04-04 08:39:35 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 08:44:36 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-04-04 08:45:19 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-04 08:46:03 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:818c:f861:24cb:fd10) ubert |
| 2025-04-04 08:46:40 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-04 08:48:24 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-04 08:49:26 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Client Quit) |
| 2025-04-04 08:49:57 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-04 08:52:49 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-04 09:13:33 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-04 09:15:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 09:24:13 +0000 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-04-04 09:27:27 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-04 09:27:42 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 2025-04-04 09:27:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 09:28:13 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-04-04 09:28:18 +0000 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-04-04 09:29:30 +0000 | <hellwolf> | I am a believer of LinearTypes. We need more people writing about it including practical use cases of it. |
| 2025-04-04 09:29:37 +0000 | dhil | (~dhil@2a0c:b381:52e:3600:d846:130d:349b:6b56) dhil |
| 2025-04-04 09:30:30 +0000 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-04-04 09:31:12 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Client Quit) |
| 2025-04-04 09:32:55 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-04-04 09:34:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 09:35:29 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-04 09:35:33 +0000 | <hellwolf> | IMO, LinearTypes, linearity on arrows, is more versatile, e.g.: 1) LT can type correctly the protocol of resource accessing (memory management, e.g.), 2.) LT can safely versioning of the data, so that you don't use outdated data and cause losses in financial applications, 3.) model concurrency better than overly-sequential monadically, see "motivation" part of the lineartypes proposal. |
| 2025-04-04 09:36:23 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
| 2025-04-04 09:36:44 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-04 09:41:51 +0000 | <haskellbridge> | <Morj> How's the ghc optimization of linear values progressed? Last I checked (ughh how many years ago) it was still worse than unboxing vectors and values and using ST |
| 2025-04-04 09:43:15 +0000 | <haskellbridge> | <Morj> Quick googling shows that it's still not as good, sad https://0xd34df00d.me/posts/2024/09/naive-nfas.html#linear-vectors |
| 2025-04-04 09:46:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 09:48:29 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 09:52:37 +0000 | hseg | (~gesh@46.120.20.180) |
| 2025-04-04 09:57:39 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-04-04 09:57:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-04 09:58:01 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-04 10:00:56 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-04-04 10:01:15 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-04 10:03:35 +0000 | <kqr> | Is there a conduit function for splitting Text up into words, and running the conduit for each word? I found Data.Conduit.Text.lines so I could probably mirror that implementation in my own words function, but it would be even more convenient if there was something ready-made I'm missing. |
| 2025-04-04 10:04:07 +0000 | <kqr> | I have thought about first splitting into lines, and then splitting the line into words with regular Text functions, and then re-yielding each word. Is that a reasonable approach? |
| 2025-04-04 10:04:33 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-04 10:10:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 10:11:19 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-04-04 10:17:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 10:18:24 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-04-04 10:19:13 +0000 | Square2 | (~Square@user/square) Square |
| 2025-04-04 10:23:01 +0000 | <hseg> | int-e: Turns out 9.10.1 is an option -- hlint supports it already |
| 2025-04-04 10:24:08 +0000 | <hseg> | So while I put "report ghc-lib-parser is also affected by https://gitlab.haskell.org/ghc/ghc/-/issues/25576" on my todo list, I now have a workaround for the meantime |
| 2025-04-04 10:30:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 10:31:46 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-04 10:33:44 +0000 | img | (~img@user/img) img |
| 2025-04-04 10:34:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-04 10:37:18 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
| 2025-04-04 10:37:41 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-04 10:41:59 +0000 | <haskellbridge> | <hellwolf> Morj: I am not sure. |
| 2025-04-04 10:41:59 +0000 | <haskellbridge> | But I will say is, there should be more to sell than performance, is it not? Otherwise people will rather stick to C/C++ or Rust. |
| 2025-04-04 10:44:47 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-04 10:45:01 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-04-04 10:46:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 10:50:10 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 10:54:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 10:56:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-04-04 10:58:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-04 10:59:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-04 11:01:55 +0000 | hseg | (~gesh@46.120.20.180) (Quit: WeeChat 4.6.0) |
| 2025-04-04 11:05:34 +0000 | <kqr> | Unrelated to the above: what would it take to derive semigroup and monoid? GHC suggests DeriveAnyClass but I have a vague memory that would be overkill. |
| 2025-04-04 11:06:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 11:06:26 +0000 | forell | (~forell@user/forell) forell |
| 2025-04-04 11:16:34 +0000 | tv | (~tv@user/tv) (Quit: derp) |
| 2025-04-04 11:18:30 +0000 | tv | (~tv@user/tv) tv |
| 2025-04-04 11:42:34 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-04 11:54:56 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:818c:f861:24cb:fd10) (Remote host closed the connection) |
| 2025-04-04 11:55:09 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:988a:cdd2:ae2a:2121) ubert |
| 2025-04-04 12:05:52 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c94:b4ca:3e28:1c70) |
| 2025-04-04 12:07:47 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-04 12:11:07 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-04-04 12:12:54 +0000 | dyniec | (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2025-04-04 12:13:15 +0000 | dyniec | (~dyniec@dybiec.info) |
| 2025-04-04 12:16:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f05c0965f70e915e324.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-04-04 12:20:27 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-04 12:22:26 +0000 | Digitteknohippie | Digit |
| 2025-04-04 12:28:34 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f050cb0d6601d636238.dip0.t-ipconnect.de) |
| 2025-04-04 12:30:00 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-04 12:31:08 +0000 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-04-04 12:32:03 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2025-04-04 12:32:10 +0000 | <Inst> | this just feels wrong |
| 2025-04-04 12:32:12 +0000 | <Inst> | https://paste.tomsmeding.com/1BYeLvRm |
| 2025-04-04 12:32:47 +0000 | <Inst> | this is an expanded for clarity version of Gordon Goodsman's solution here |
| 2025-04-04 12:32:50 +0000 | <Inst> | https://benchmarksgame-team.pages.debian.net/benchmarksgame/program/pidigits-ghc-6.html |
| 2025-04-04 12:32:53 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 12:33:05 +0000 | <Inst> | the integer is intentional |
| 2025-04-04 12:33:40 +0000 | <Inst> | But Gordon's version is the best performing right now |
| 2025-04-04 12:37:37 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-04 12:38:07 +0000 | <Inst> | i mean, i could change it to ST, I tried a version with linear types that got blown up by poor support for integer in linear base |
| 2025-04-04 12:44:49 +0000 | ft | (~ft@p508db463.dip0.t-ipconnect.de) ft |
| 2025-04-04 12:45:40 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) |
| 2025-04-04 12:51:58 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce) |
| 2025-04-04 12:55:01 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-04-04 12:57:25 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-04-04 13:04:58 +0000 | <haskellbridge> | <Morj> hellwolf: The good part about haskell is that you can get high performance and still use a good language with safety guarantees and pretty APIs. Linear types make the second even better, and if they did the first it would be incredible |
| 2025-04-04 13:07:25 +0000 | Square | (~Square4@user/square) Square |
| 2025-04-04 13:08:25 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f050cb0d6601d636238.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-04 13:08:34 +0000 | <haskellbridge> | <hellwolf> It would be ideal. Yes. But I must admit I overlooked a lot Haskell's performance side of things in my use cases so far.. |
| 2025-04-04 13:09:25 +0000 | <haskellbridge> | <hellwolf> And I admit that it could improve a lot of its adoption if we had both safety and performance. It's probably too obvious :) |
| 2025-04-04 13:10:28 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 13:10:30 +0000 | <haskellbridge> | <hellwolf> I hope there is no such a trilemma exist: syntax (ergonomics), performance and safety. |
| 2025-04-04 13:13:36 +0000 | <haskellbridge> | <Morj> I'm usually happy with the performance of the regular code, especially compared to something like python or typescript. I've also for several years worked on a project where we were writing video decoders in haskell and cared about performance a lot, and it we were able to go very far with it |
| 2025-04-04 13:14:31 +0000 | <haskellbridge> | <Morj> I'm also always surprised by the fact that haskell TUIs are mostly faster than rust ones, somehow |
| 2025-04-04 13:23:24 +0000 | <haskellbridge> | <hellwolf> Morj: Nice read. |
| 2025-04-04 13:23:24 +0000 | <haskellbridge> | Is that your blog? |
| 2025-04-04 13:23:29 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-04 13:23:49 +0000 | <haskellbridge> | <Morj> Nope, some guy I follow |
| 2025-04-04 13:32:38 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-04 13:36:27 +0000 | Square | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-04-04 13:39:10 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f050cb0d6601d636238.dip0.t-ipconnect.de) acidjnk |
| 2025-04-04 13:39:22 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) |
| 2025-04-04 13:39:47 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-04 13:40:43 +0000 | sprotte24 | (~sprotte24@p200300d16f176a0098ec2c88260f9eb5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-04 13:42:53 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-04 13:43:35 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-04 13:44:41 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) |
| 2025-04-04 13:50:14 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-04 13:51:25 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) |
| 2025-04-04 13:53:24 +0000 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-04-04 13:57:41 +0000 | bezik | (~bezik@wikipedia/bezik) bezik |
| 2025-04-04 13:58:41 +0000 | toby-bro | (~toby-bro@user/toby-bro) toby-bro |
| 2025-04-04 13:58:58 +0000 | aman | (~aman@user/aman) aman |
| 2025-04-04 14:01:18 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-04 14:05:04 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-04 14:05:47 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) |
| 2025-04-04 14:08:26 +0000 | <haskellbridge> | <Liamzee> hmmm, just built a version under ST array, seems to lose about 2% speed compared to accum parameter :( |
| 2025-04-04 14:10:26 +0000 | <haskellbridge> | <Liamzee> plus side, at least I've had a legitimate use for unsafeInterleaveST for the first time in my life |
| 2025-04-04 14:11:47 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-04-04 14:11:48 +0000 | inca | (~inca@syn-172-100-032-197.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-04-04 14:14:50 +0000 | <EvanR> | pure functional for the win |
| 2025-04-04 14:15:20 +0000 | <EvanR> | yes ST is purely functional but the mutation will have a GC cost |
| 2025-04-04 14:15:36 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f050cb0d6601d636238.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-04 14:16:57 +0000 | <EvanR> | "haskell TUIs are faster than rust TUIs" how do you even measure the airspeed speed velocity of a TUI |
| 2025-04-04 14:18:50 +0000 | <EvanR> | s/speed speed/speed/ |
| 2025-04-04 14:25:31 +0000 | <darkling> | Well, first you get an unladen swallow, and... |
| 2025-04-04 14:28:16 +0000 | rit | (~rit@2409:40e0:39:317c:5ce4:875:e0a7:d628) |
| 2025-04-04 14:40:06 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-04 14:40:54 +0000 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-04-04 14:41:50 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-04 14:52:30 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:988a:cdd2:ae2a:2121) (Quit: ubert) |
| 2025-04-04 14:58:12 +0000 | <EvanR> | if a^3 < b^3 then a < b because cube root is a monotonic function and can be applied to both sides. But if a and b are rational and you only have the laws of rational numbers... I'm having a hard time proving this |
| 2025-04-04 14:59:03 +0000 | <EvanR> | similar to if (assuming a and b are > 0) a^2 < b^2 then a < b. Not sure which is simpler. I can't do either |
| 2025-04-04 14:59:14 +0000 | <int-e> | you can prove the contrapositive |
| 2025-04-04 14:59:33 +0000 | <haskellbridge> | <Morj> > how do you even measure the airspeed speed velocity of a TUIMore responsive to button presses, you know. I haven't measured it with a stopwatch, but it's noticeable how fast ghcup is for example |
| 2025-04-04 15:00:03 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-04-04 15:00:54 +0000 | <EvanR> | int-e, that would seem to prove "it can't not be true" |
| 2025-04-04 15:01:19 +0000 | <EvanR> | this is from a book that is supposedly "a constructive approach" and the hint is also suggesting an indirect proof |
| 2025-04-04 15:01:26 +0000 | <int-e> | good enough for me |
| 2025-04-04 15:01:44 +0000 | <int-e> | (I default to classical logic) |
| 2025-04-04 15:01:58 +0000 | <EvanR> | it might not be classical logic since we're talking about rationals |
| 2025-04-04 15:02:11 +0000 | <EvanR> | I mean, just classical |
| 2025-04-04 15:02:18 +0000 | <haskellbridge> | <Morj> You don't need any laws of rational numbers here though |
| 2025-04-04 15:03:24 +0000 | <EvanR> | if you only have the laws of rational numbers, then you either need them or you can do it with nothing |
| 2025-04-04 15:03:47 +0000 | <EvanR> | (or it's impossible) |
| 2025-04-04 15:04:43 +0000 | <haskellbridge> | <Morj> You only need the statement "forall a, b: a > b ==> a^3 > b^3" and the laws of the "<" relation as usual, with them you can prove the opposite direction as well |
| 2025-04-04 15:04:53 +0000 | <haskellbridge> | <Morj> This works for rational, whole or natural numbers |
| 2025-04-04 15:04:59 +0000 | <haskellbridge> | <Morj> Uhh s/whole/integer/ |
| 2025-04-04 15:05:17 +0000 | <EvanR> | I can get if a < b then a^2 < b^2, but I'm not sure how that helps |
| 2025-04-04 15:05:25 +0000 | <EvanR> | I couldn't get if a < b then a^3 < b^3 |
| 2025-04-04 15:05:38 +0000 | <EvanR> | but either way that's the wrong direction |
| 2025-04-04 15:05:56 +0000 | <int-e> | your comparisons are decidable; you have trichotomy. |
| 2025-04-04 15:06:02 +0000 | <EvanR> | ? |
| 2025-04-04 15:06:10 +0000 | <EvanR> | sure |
| 2025-04-04 15:06:15 +0000 | <haskellbridge> | <Morj> Wait, come again, what are you trying to prove from what? |
| 2025-04-04 15:06:23 +0000 | <EvanR> | if a^3 < b^3 then a < b |
| 2025-04-04 15:06:38 +0000 | <haskellbridge> | <Morj> And what facts are given? |
| 2025-04-04 15:06:48 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-04 15:06:53 +0000 | <EvanR> | rational numbers |
| 2025-04-04 15:07:15 +0000 | <int-e> | This will still follow from "if a >= b then a^3 >= b^3" by case analysis on the comparison a < b. |
| 2025-04-04 15:07:16 +0000 | <EvanR> | ok, a and b exist and are rational |
| 2025-04-04 15:07:18 +0000 | <haskellbridge> | <Morj> Rational numbers, depending on your class, might not have an "<" associated :D |
| 2025-04-04 15:07:35 +0000 | <EvanR> | they do, obviously |
| 2025-04-04 15:07:57 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-04-04 15:07:58 +0000 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.70) |
| 2025-04-04 15:08:32 +0000 | <EvanR> | alright case analysis on a < b |
| 2025-04-04 15:08:39 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2025-04-04 15:08:47 +0000 | <EvanR> | you use "if a < b then a^3 < b^3" but I couldn't prove this xD |
| 2025-04-04 15:09:07 +0000 | <int-e> | comparing a and b you get three cases: a < b and a^3 < b^3; a = b an a^3 = b^3; a > b and a^3 > b^3. |
| 2025-04-04 15:09:09 +0000 | <EvanR> | but also you'd have to dispatch the no, actually b < a case |
| 2025-04-04 15:09:25 +0000 | <EvanR> | you went from a < b to a^3 < b^3 |
| 2025-04-04 15:09:31 +0000 | <EvanR> | how |
| 2025-04-04 15:10:26 +0000 | <int-e> | if 0 <= a < b then a^3 <= a^2b <= ab^2 < b^3. The case a < b <= 0 is similar, and a <= 0 <= b and a < b falls to looking at signs |
| 2025-04-04 15:10:40 +0000 | <int-e> | by the laws of an ordered field |
| 2025-04-04 15:10:52 +0000 | <EvanR> | wait |
| 2025-04-04 15:11:16 +0000 | <EvanR> | yes I got a^3 < a^2b and ab^2 < b^3 separately |
| 2025-04-04 15:11:29 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-04-04 15:11:38 +0000 | <EvanR> | how did you get a^2b < ab^2 |
| 2025-04-04 15:12:05 +0000 | <int-e> | you multiply a < b by a from the left and by b from the right |
| 2025-04-04 15:12:27 +0000 | <EvanR> | that's ab < ab |
| 2025-04-04 15:12:27 +0000 | <int-e> | it's just <= because a = 0 is a possibility |
| 2025-04-04 15:12:30 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-04-04 15:12:35 +0000 | <EvanR> | er |
| 2025-04-04 15:13:03 +0000 | EvanR | recapitulates |
| 2025-04-04 15:13:18 +0000 | rit | (~rit@2409:40e0:39:317c:5ce4:875:e0a7:d628) (Remote host closed the connection) |
| 2025-04-04 15:13:34 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-04-04 15:15:31 +0000 | <int-e> | TBH the funny part of this is that you were (apparently) willing to accept that the cube root function is strictly monotonic. |
| 2025-04-04 15:16:08 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-04 15:16:12 +0000 | <EvanR> | well that's a fact about real numbers right |
| 2025-04-04 15:16:47 +0000 | <int-e> | well it's not if you apply the same level of skepticism that you're currently applying to the strict monotonicity of f(x) = x^3 in the rationals |
| 2025-04-04 15:18:32 +0000 | <EvanR> | I don't understand, I'm not skeptical. I'm trying to go from certain assumptions to a conclusion |
| 2025-04-04 15:18:58 +0000 | <int-e> | well, f(x) = x^3 being monotonic is a fact about rational number.s |
| 2025-04-04 15:19:05 +0000 | <EvanR> | not absolute truths, or "doesn't matter somebody somewhere has already done this one" |
| 2025-04-04 15:19:05 +0000 | int-e | shrugs |
| 2025-04-04 15:19:36 +0000 | <EvanR> | it might be but I didn't get there |
| 2025-04-04 15:19:56 +0000 | <int-e> | so how did you get there for the cube root in the reals? |
| 2025-04-04 15:19:56 +0000 | <EvanR> | but we just proved that |
| 2025-04-04 15:20:04 +0000 | <EvanR> | I didn't that's the point |
| 2025-04-04 15:20:28 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce) (Quit: Leaving) |
| 2025-04-04 15:20:56 +0000 | <EvanR> | also it wouldn't even help, are you going to apply a function coded for real numbers to rationals? xD |
| 2025-04-04 15:21:10 +0000 | <int-e> | the rationals are a subfield of the reals |
| 2025-04-04 15:21:29 +0000 | <int-e> | (another fact) |
| 2025-04-04 15:21:30 +0000 | <EvanR> | this is "real anaylsis: a constructive approach" |
| 2025-04-04 15:21:38 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-04 15:21:46 +0000 | <EvanR> | so I can't solve chapter 1 by using chapter 17 from the other book |
| 2025-04-04 15:21:51 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-04 15:22:15 +0000 | <EvanR> | again, the task to is to reason from what's assumed and not from "any argument whatever" |
| 2025-04-04 15:24:00 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
| 2025-04-04 15:24:24 +0000 | <EvanR> | maybe in chapter 17 there will be a thing to prove that any monotonic functions on reals can be downgraded to a monotonic function on rationals |
| 2025-04-04 15:25:14 +0000 | <EvanR> | somehow |
| 2025-04-04 15:32:33 +0000 | <EvanR> | a < b? yes, then you're done. Or a == b, then a^3==b^3 contradicting a^3 < b^3. Or b < a, using the above, b^3 < a^3, also contradicting. |
| 2025-04-04 15:32:39 +0000 | <EvanR> | cool |
| 2025-04-04 15:35:15 +0000 | <EvanR> | that means I don't have to solve this using the "hint use an indirect proof": Show that family of intervals [a,b] where a^3 <= 2 and 2 <= b^3 is consistent (any interval in the family intersects all the others) |
| 2025-04-04 15:41:40 +0000 | <kuribas> | You could prove that (a*a*a)/(b*b*b) < (c*c*c*)/(d*d*d) then a/b < c/d |
| 2025-04-04 15:41:52 +0000 | <kuribas> | For integral values of a, b, c, and d. |
| 2025-04-04 15:42:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-04-04 15:43:30 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-04 15:45:39 +0000 | <EvanR> | if aaa / (bbb) < ccc / (ddd) then a/b < c/d? |
| 2025-04-04 15:45:50 +0000 | <EvanR> | just cancel 4 things? |
| 2025-04-04 15:45:53 +0000 | <EvanR> | wait |
| 2025-04-04 15:45:59 +0000 | <EvanR> | nvm |
| 2025-04-04 15:46:35 +0000 | <EvanR> | oh this is the same question. Well I tried that too and couldn't figure it out |
| 2025-04-04 15:46:49 +0000 | <kuribas> | Where do you get stuck? |
| 2025-04-04 15:47:19 +0000 | <EvanR> | immediately |
| 2025-04-04 15:48:39 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-04-04 15:49:35 +0000 | rit | (~rit@2409:40e0:39:317c:5ce4:875:e0a7:d628) |
| 2025-04-04 15:49:57 +0000 | <kuribas> | It's easy for naturals no? |
| 2025-04-04 15:51:14 +0000 | <EvanR> | what is |
| 2025-04-04 15:51:20 +0000 | <kuribas> | The formula? |
| 2025-04-04 15:51:32 +0000 | <EvanR> | nope |
| 2025-04-04 15:51:38 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 245 seconds) |
| 2025-04-04 15:51:56 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-04 15:52:13 +0000 | <EvanR> | aaaddd < bbbccc |
| 2025-04-04 15:52:34 +0000 | <EvanR> | 1 < bbbccc / (aaaddd) |
| 2025-04-04 15:52:49 +0000 | <EvanR> | aaaddd / (bbbccc) < 1 |
| 2025-04-04 15:54:39 +0000 | <kuribas> | a < b -> a*c < b*d if c < d and a < b |
| 2025-04-04 15:54:59 +0000 | <kuribas> | Easy proof by induction |
| 2025-04-04 15:55:04 +0000 | <EvanR> | you know what's easy, drawing two squares of different sizes aligned to corners, and extending one edge to map the other edge onto the larger side, and it's obviously shorter xD |
| 2025-04-04 15:55:23 +0000 | <EvanR> | or the cube version where you can extend a diagonal from the smaller cube onto larger cubes side |
| 2025-04-04 15:56:08 +0000 | <EvanR> | but this book is all about "no pictures!" |
| 2025-04-04 15:56:56 +0000 | <kuribas> | Anyway, I think "aaa < bbb -> a < b " is easy to prove by induction for naturals. |
| 2025-04-04 15:57:27 +0000 | <EvanR> | kuribas, a < b -> a*c < b*d ... ok I'm not seeing the connection. So that requires a < b, which we are trying to prove |
| 2025-04-04 15:57:43 +0000 | <kuribas> | right, that's the wrong direction. |
| 2025-04-04 15:58:13 +0000 | <EvanR> | I'll try that induction |
| 2025-04-04 15:58:37 +0000 | <int-e> | a*c < b*d if c < d and a < b is most elegantly split into two steps, a*c < b*c < b*d or a*c < a*d < b*d. |
| 2025-04-04 15:58:46 +0000 | <EvanR> | double induction 😱 |
| 2025-04-04 15:59:13 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-04-04 15:59:31 +0000 | <int-e> | err the first comparison in either chain should be <= if 0 is allowed |
| 2025-04-04 16:00:51 +0000 | <haskellbridge> | <sm> Morj: Morj, really ? This surprises me |
| 2025-04-04 16:01:32 +0000 | <sm> | ("haskell TUIs are always faster than rust ones") |
| 2025-04-04 16:02:20 +0000 | <EvanR> | after thinking about it, I now see that your two "either or" formulas are not the "two steps" xD |
| 2025-04-04 16:03:10 +0000 | <kuribas> | aaa < a*a*a+n for some positive n. Also a*a*a+n = (a+m)(a+m)(a+m) for some m where b = a+m. Prove that m is positive. |
| 2025-04-04 16:03:13 +0000 | <EvanR> | ac < bc and bc < bd gets ac < bd, and other other thing was another route |
| 2025-04-04 16:04:15 +0000 | Digit | (~user@user/digit) Digit |
| 2025-04-04 16:04:28 +0000 | <EvanR> | aaa+n = (a+m)(a+m)(a+m) for some m ? |
| 2025-04-04 16:04:43 +0000 | <EvanR> | seems like a leap to me |
| 2025-04-04 16:05:17 +0000 | <kuribas> | EvanR: definition of `<` and `b` |
| 2025-04-04 16:05:31 +0000 | <EvanR> | that's an equal sign |
| 2025-04-04 16:06:06 +0000 | <EvanR> | ok, multiply out all the a+m and you get one aaa term |
| 2025-04-04 16:06:12 +0000 | <EvanR> | now I get it |
| 2025-04-04 16:06:59 +0000 | <kuribas> | We have the premise aaa < bbb, which means exists m such that "bbb = aaa + m" |
| 2025-04-04 16:07:06 +0000 | <kuribas> | It's the definition of < for naturals. |
| 2025-04-04 16:07:34 +0000 | <EvanR> | yeah it's just that I'm only considering your actual messages xD |
| 2025-04-04 16:07:46 +0000 | <kuribas> | sorry, I used n above. |
| 2025-04-04 16:08:05 +0000 | <EvanR> | since I have no idea what I'm doing |
| 2025-04-04 16:08:14 +0000 | <EvanR> | it's not a case of already know it |
| 2025-04-04 16:08:53 +0000 | <EvanR> | sm, yes... sounds like something else was slow in the apples to oranges comparison |
| 2025-04-04 16:10:23 +0000 | <kuribas> | gtg |
| 2025-04-04 16:10:31 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-04-04 16:11:46 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 2025-04-04 16:21:33 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-04-04 16:22:26 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-04-04 16:23:21 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f050cb0d6601d636238.dip0.t-ipconnect.de) |
| 2025-04-04 16:33:18 +0000 | rit | (~rit@2409:40e0:39:317c:5ce4:875:e0a7:d628) (Ping timeout: 240 seconds) |
| 2025-04-04 16:36:19 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-04 16:36:53 +0000 | rit | (~rit@2409:40e0:39:317c:5ce4:875:e0a7:d628) |
| 2025-04-04 16:38:54 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-04-04 16:39:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) |
| 2025-04-04 16:45:38 +0000 | Square2 | (~Square@user/square) Square |
| 2025-04-04 16:46:02 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-04 16:46:44 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-04 16:49:09 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-04-04 16:58:38 +0000 | Digit | (~user@user/digit) Digit |
| 2025-04-04 16:59:32 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-04-04 17:05:39 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-04 17:06:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 17:07:40 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-04-04 17:10:15 +0000 | Digitteknohippie | digitteknohippie |
| 2025-04-04 17:10:20 +0000 | digitteknohippie | Digitteknohippie |
| 2025-04-04 17:11:47 +0000 | Digit | (~user@user/digit) (Quit: sorting out accidental double login) |
| 2025-04-04 17:12:01 +0000 | Digitteknohippie | Digit |
| 2025-04-04 17:12:30 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-04-04 17:15:54 +0000 | dhil | (~dhil@2a0c:b381:52e:3600:d846:130d:349b:6b56) (Ping timeout: 246 seconds) |
| 2025-04-04 17:17:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 17:18:30 +0000 | rit | (~rit@2409:40e0:39:317c:5ce4:875:e0a7:d628) (Ping timeout: 240 seconds) |
| 2025-04-04 17:20:57 +0000 | sprotte24 | (~sprotte24@p200300d16f176a0098ec2c88260f9eb5.dip0.t-ipconnect.de) |
| 2025-04-04 17:21:42 +0000 | rit | (~rit@2409:40e0:39:317c:5ce4:875:e0a7:d628) |
| 2025-04-04 17:24:07 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-04 17:24:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-04 17:36:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 17:37:24 +0000 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-04 17:38:19 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-04 17:39:36 +0000 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2025-04-04 17:43:58 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 272 seconds) |
| 2025-04-04 17:44:23 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-04-04 17:46:30 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f050cb0d6601d636238.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-04 17:50:30 +0000 | manwithluck | (~manwithlu@2a09:bac5:5085:2dc::49:221) manwithluck |
| 2025-04-04 17:51:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) |
| 2025-04-04 17:59:37 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-04 18:01:32 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-04 18:06:19 +0000 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-04-04 18:11:54 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-04 18:13:48 +0000 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Ping timeout: 244 seconds) |
| 2025-04-04 18:18:47 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) |
| 2025-04-04 18:19:59 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-04-04 18:21:38 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-04 18:31:39 +0000 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-04-04 18:33:04 +0000 | ash3en | (~Thunderbi@89.56.182.235) (Client Quit) |
| 2025-04-04 18:40:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-04 18:40:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 18:46:49 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 2025-04-04 18:47:05 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-04-04 18:47:36 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f05ad6cd39b235d43c6.dip0.t-ipconnect.de) |
| 2025-04-04 18:56:10 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2025-04-04 19:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-04 19:00:47 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-04 19:04:12 +0000 | <kqr> | I have a program that performs two actions. One of them is known to be very expensive, and then there's another that seems to be slower than I thought it would be. I want to profile only the latter, but with regular RTS profiling the former ovbeing slow makes it hard to tease out which parts of the latter is slow. What do I do? |
| 2025-04-04 19:05:10 +0000 | <merijn> | kqr: You can have GHC inject labels and instruct the profiler to use those markers |
| 2025-04-04 19:05:38 +0000 | <merijn> | kqr: Can also do manual cost centre annotation |
| 2025-04-04 19:06:38 +0000 | <merijn> | kqr: https://hackage.haskell.org/package/base-4.21.0.0/docs/GHC-Exts.html#v:traceMarker-35- |
| 2025-04-04 19:07:33 +0000 | <merijn> | Entirely unrelatedly: In the absence of a tree-sitter grammar, does anyone have/know a decent syntax file for .cabal? |
| 2025-04-04 19:09:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-04 19:10:44 +0000 | Adran | (~adran@botters/adran) (Ping timeout: 272 seconds) |
| 2025-04-04 19:10:54 +0000 | tavare | (~tavare@150.129.88.189) tavare |
| 2025-04-04 19:10:54 +0000 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-04-04 19:10:54 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-04 19:11:37 +0000 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2025-04-04 19:12:43 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-04 19:13:09 +0000 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2025-04-04 19:18:12 +0000 | <kqr> | merijn, Oh, that was very helpful. It also made clear what happened: laziness caused some of the work from the first action to be performed during the second action evaluation. I should have known! |
| 2025-04-04 19:21:25 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-04 19:21:34 +0000 | <merijn> | \o/ |
| 2025-04-04 19:21:56 +0000 | wlhn | (~wlhn@2001-14ba-4e04-ccf0-9803-c364-b8d-97b4.rev.dnainternet.fi) (Quit: Leaving) |
| 2025-04-04 19:22:06 +0000 | <merijn> | Does anyone know how to use environment variables like $HOME in cabal's config? |
| 2025-04-04 19:22:22 +0000 | <merijn> | My issue to support that was closed as implemented, but I can't actually find any documentation on it |
| 2025-04-04 19:25:29 +0000 | <merijn> | hmm, the more I look into it, it's just a lie that my issue was closed as fixed |
| 2025-04-04 19:25:43 +0000 | <sclv> | can you link to the issue? but yeah, i don't think i've ever seen it done |
| 2025-04-04 19:27:02 +0000 | <merijn> | sclv: https://github.com/haskell/cabal/issues/5998 |
| 2025-04-04 19:27:30 +0000 | <merijn> | It was closed because of Athas' XDG implementation, but it's IMO entirely unrelated to XDG |
| 2025-04-04 19:28:17 +0000 | <merijn> | I was hoping that in 2025 I could *finally* have a cabal config shared across my machines >.> |
| 2025-04-04 19:29:17 +0000 | <sclv> | yeah, i think that was a mistake, agreed |
| 2025-04-04 19:29:50 +0000 | <merijn> | I mean, I guess it's still a duplicate of hvr's issue, but for a second there I had hope |
| 2025-04-04 19:30:23 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-04 19:31:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-04 19:31:14 +0000 | rit | (~rit@2409:40e0:39:317c:5ce4:875:e0a7:d628) (Remote host closed the connection) |
| 2025-04-04 19:31:16 +0000 | <sclv> | merijn: funny to see that the issue came from a discussion with you and was assigned to you even then :-/ |
| 2025-04-04 19:32:00 +0000 | <merijn> | sclv: That's why I had it tracked :p |
| 2025-04-04 19:32:18 +0000 | <merijn> | But it got stuck in some bikeshedding hell and I never got consensus on how to do it |
| 2025-04-04 19:33:52 +0000 | <sclv> | commented on the other ticket, though i don't have much time for cabal these days. with the xdg stuff cleared up i think just having some set of env variables that are expanded (and also kept in our rebuild-checking logic) should be straightforward. |
| 2025-04-04 19:34:34 +0000 | <sclv> | i agree with you that coupling "let people use some env variables in cabal config" to "xdg implementation" made things more intertwingled |
| 2025-04-04 19:35:25 +0000 | <merijn> | I mean, let's face it, 98% of the use case is covered by supporting $HOME and/or ~ |
| 2025-04-04 19:36:28 +0000 | <merijn> | Actually...maybe I can get away just commenting out the paths and relying on the defaults? |
| 2025-04-04 19:38:34 +0000 | Adran | (~adran@botters/adran) Adran |
| 2025-04-04 19:58:43 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 245 seconds) |
| 2025-04-04 20:00:03 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 268 seconds) |
| 2025-04-04 20:01:59 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-04 20:02:20 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-04 20:05:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-04 20:07:28 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 244 seconds) |
| 2025-04-04 20:08:16 +0000 | krei-se- | (~krei-se@p5dea165d.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 20:09:09 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 276 seconds) |
| 2025-04-04 20:09:48 +0000 | krei-se | (~krei-se@p5dea1e73.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-04 20:10:41 +0000 | <EvanR> | what is the status quo on Integer's implementation in ghc programs. libgmp? bespoke haskell code? other? |
| 2025-04-04 20:14:46 +0000 | <geekosaur> | in 99% of non-js/wasm cases it's libgmp |
| 2025-04-04 20:15:06 +0000 | <geekosaur> | business types whose companies are allergic to GPL use native |
| 2025-04-04 20:17:43 +0000 | <merijn> | geekosaur: * LGPL |
| 2025-04-04 20:18:15 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-04 20:18:47 +0000 | <geekosaur> | true, but IME corporate lawyers don't sdifferentiate |
| 2025-04-04 20:19:26 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-04-04 20:20:49 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2025-04-04 20:20:52 +0000 | <EvanR> | GPL is marxist propaganda. LGPL probably standards for Liberal GPL which is even worse! |
| 2025-04-04 20:21:02 +0000 | krei-se- | (~krei-se@p5dea165d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-04 20:23:01 +0000 | <haskellbridge> | <Liamzee> grrr, any idea how I can get pidigits algorithm in Haskell faster? |
| 2025-04-04 20:23:30 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-04 20:23:53 +0000 | <haskellbridge> | <Liamzee> I'm wondering if I'm just seeing an intrinsic limitation of Haskell; like, I know I can match C -O1 or whatever that doesn't just compile-time erase loops with a Haskell loop |
| 2025-04-04 20:24:08 +0000 | <haskellbridge> | <Liamzee> in an empty loop, at least |
| 2025-04-04 20:24:23 +0000 | krei-se | (~krei-se@p3ee0fa02.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 20:25:12 +0000 | <EvanR> | no way to begin to guess without seeing your code |
| 2025-04-04 20:26:08 +0000 | <haskellbridge> | <Liamzee> https://paste.tomsmeding.com/DvVKtsYl |
| 2025-04-04 20:26:36 +0000 | <haskellbridge> | <Liamzee> the original version by W. Gordon Goodman was an accumulating parameter loop |
| 2025-04-04 20:26:46 +0000 | <haskellbridge> | <Liamzee> with div somehow having no performance difference vs quot |
| 2025-04-04 20:26:55 +0000 | <EvanR> | are you using 4 mutable variables |
| 2025-04-04 20:27:20 +0000 | <haskellbridge> | <Liamzee> more or less |
| 2025-04-04 20:27:50 +0000 | <haskellbridge> | <Liamzee> i think debian complained because gordon did the obvious and removed the freaking second division |
| 2025-04-04 20:27:52 +0000 | <EvanR> | you could probably speed that up by not doing that |
| 2025-04-04 20:27:55 +0000 | <haskellbridge> | <Liamzee> when it's obvious how it can be abstracted out |
| 2025-04-04 20:28:15 +0000 | <EvanR> | just pass 4 variables to the next loop |
| 2025-04-04 20:28:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-04 20:28:33 +0000 | <haskellbridge> | <Liamzee> https://paste.tomsmeding.com/yEZan94f |
| 2025-04-04 20:28:40 +0000 | <haskellbridge> | <Liamzee> second version is Gordon's original |
| 2025-04-04 20:28:44 +0000 | <EvanR> | the mutable writes have to have extra memory management bookkeeping |
| 2025-04-04 20:29:07 +0000 | <haskellbridge> | <Liamzee> that's the dumb thing! |
| 2025-04-04 20:29:13 +0000 | <haskellbridge> | <Liamzee> all four versions benchmark roughly the same! |
| 2025-04-04 20:29:38 +0000 | <EvanR> | you could look at the core and see if there's something still not being optimized |
| 2025-04-04 20:30:05 +0000 | <haskellbridge> | <Liamzee> i mean it's already pretty good |
| 2025-04-04 20:30:10 +0000 | <haskellbridge> | <Liamzee> about 140-160% of C time |
| 2025-04-04 20:30:15 +0000 | <haskellbridge> | <Liamzee> problem is, node is much faster |
| 2025-04-04 20:30:30 +0000 | <haskellbridge> | <Liamzee> idg why debian will complain about optimizing away the second division |
| 2025-04-04 20:30:45 +0000 | <EvanR> | the whole unsafe thaw thing doesn't sit well with me especially if you say it's not helping |
| 2025-04-04 20:31:12 +0000 | <EvanR> | node? |
| 2025-04-04 20:32:08 +0000 | <haskellbridge> | <Liamzee> well, not really |
| 2025-04-04 20:32:52 +0000 | <EvanR> | I'm guessing this algorithm relies on unlimited precision Integer so you can't use machine int |
| 2025-04-04 20:32:54 +0000 | <haskellbridge> | <Liamzee> https://benchmarksgame-team.pages.debian.net/benchmarksgame/performance/pidigits.html |
| 2025-04-04 20:32:58 +0000 | <haskellbridge> | <Liamzee> ya |
| 2025-04-04 20:37:06 +0000 | <EvanR> | yep all the ghc submissions don't use mutable |
| 2025-04-04 20:37:23 +0000 | <EvanR> | but their code styling leaves a lot to be desired |
| 2025-04-04 20:39:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 20:39:15 +0000 | <haskellbridge> | <Liamzee> it's weird because a few of the originals were BOS and Don Stewarts' |
| 2025-04-04 20:39:26 +0000 | <haskellbridge> | <Liamzee> I think someone was trying to game down the gzip metric (the size of the resulting binary) |
| 2025-04-04 20:40:08 +0000 | <EvanR> | how many digits of pi is this benchmark |
| 2025-04-04 20:42:57 +0000 | <haskellbridge> | <Liamzee> 10k |
| 2025-04-04 20:43:03 +0000 | <haskellbridge> | <Liamzee> algorithm is part of the benchmark instructions |
| 2025-04-04 20:45:25 +0000 | <EvanR> | had a somewhat hard time finding it on that site |
| 2025-04-04 20:46:11 +0000 | <EvanR> | I get about 0.85 sec |
| 2025-04-04 20:46:41 +0000 | <EvanR> | without optimization flag |
| 2025-04-04 20:48:14 +0000 | <haskellbridge> | <Liamzee> on my machine, it's 0.315 seconds for the C (which is technically slower than Rust), and .49 seconds on their requirements (superfluous N4) |
| 2025-04-04 20:49:46 +0000 | <EvanR> | this kind of pertains to the GMP question |
| 2025-04-04 20:50:12 +0000 | <haskellbridge> | <Liamzee> yeah, it does, but iirc the bigint revamp IOHK paid for outperforms GMP? |
| 2025-04-04 20:50:14 +0000 | <EvanR> | GMP is "optimized" around you initializing some "variables" which get reallocaed with more space as the values get larger |
| 2025-04-04 20:50:31 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-04-04 20:50:45 +0000 | <EvanR> | but in haskell, you need to reallocate the whole thing for each computation and clear then when the GC collects them |
| 2025-04-04 20:50:55 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-04 20:50:57 +0000 | <EvanR> | it's not very haskelly |
| 2025-04-04 20:51:08 +0000 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-04-04 20:51:17 +0000 | <haskellbridge> | <Liamzee> https://iohk.io/en/blog/posts/2020/07/28/improving-haskells-big-numbers-support/ |
| 2025-04-04 20:51:20 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-04 20:51:21 +0000 | <EvanR> | sure |
| 2025-04-04 20:51:35 +0000 | <EvanR> | and the answer to the question was "it's probably not being used" |
| 2025-04-04 20:51:42 +0000 | <EvanR> | you're still on gmp |
| 2025-04-04 20:51:47 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-04 20:52:11 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-04 20:54:02 +0000 | <geekosaur> | and may not move because iirc there are programs that rely on gmp being linked in |
| 2025-04-04 20:54:13 +0000 | <geekosaur> | (so they can FFI to it) |
| 2025-04-04 20:55:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-04 20:55:52 +0000 | <haskellbridge> | <Liamzee> hum, wondering if i can select whether it's native backend or integer-gmp |
| 2025-04-04 20:56:31 +0000 | <geekosaur> | currently requires rebuilding ghc but runtime selection is in the works |
| 2025-04-04 20:56:44 +0000 | krei-se- | (~krei-se@p3ee0fa6d.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 20:57:16 +0000 | <haskellbridge> | <Liamzee> integer-gmp backend is still the default? |
| 2025-04-04 20:57:21 +0000 | <haskellbridge> | <Liamzee> it looks like there's a 40% performance difference |
| 2025-04-04 20:57:24 +0000 | krei-se | (~krei-se@p3ee0fa02.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-04 20:57:32 +0000 | <geekosaur> | yes, except on js/wasm |
| 2025-04-04 20:57:34 +0000 | <haskellbridge> | <Liamzee> I had an advertising post via debian benchmarks and the old "Haskell can sometimes be faster than C" canard |
| 2025-04-04 20:59:03 +0000 | <haskellbridge> | <Liamzee> unfortunately i screenshotted pidigits because it was between two benchmarks where Haskell was pushed to better multicore resource consumption than C |
| 2025-04-04 20:59:22 +0000 | <haskellbridge> | <Liamzee> i guess the easier way is to just fix the screenshot, but it's more fun and interesting to try to fix pidigits instead, then screenshot it again |
| 2025-04-04 20:59:25 +0000 | sprotte24_ | (~sprotte24@p200300d16f176a007d5b6fd7286fde7f.dip0.t-ipconnect.de) |
| 2025-04-04 21:01:48 +0000 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2025-04-04 21:02:08 +0000 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2025-04-04 21:03:17 +0000 | sprotte24 | (~sprotte24@p200300d16f176a0098ec2c88260f9eb5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-04 21:03:47 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-04 21:06:19 +0000 | <haskellbridge> | <Liamzee> the sad thing is, i just took a look at the other benchmarks, theiy're, ummm, C FFIs using Haskell as a parallelism enabler |
| 2025-04-04 21:09:06 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-04-04 21:15:22 +0000 | jmcantrell | Guest2956 |
| 2025-04-04 21:15:22 +0000 | Guest2956 | (644f1bed9a@user/jmcantrell) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2025-04-04 21:15:22 +0000 | __jmcantrell__ | jmcantrell |
| 2025-04-04 21:15:31 +0000 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-04-04 21:16:50 +0000 | krei-se | (~krei-se@p200300f1cfff3115da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 21:17:19 +0000 | krei-se- | (~krei-se@p3ee0fa6d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-04 21:17:25 +0000 | <EvanR> | "benchmark game" suggests "fixing the screenshot" is a valid strategy |
| 2025-04-04 21:17:33 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2025-04-04 21:18:29 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 260 seconds) |
| 2025-04-04 21:19:35 +0000 | <EvanR> | it would be funny if you ran that pidigits program in a browser and it was faster |
| 2025-04-04 21:19:38 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-04 21:20:43 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-04-04 21:21:20 +0000 | <haskellbridge> | <Liamzee> hmmm, maybe the solution is to just port to MVar, but my forkIO version is bugging out :( |
| 2025-04-04 21:21:31 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 21:22:17 +0000 | <EvanR> | :( |
| 2025-04-04 21:22:30 +0000 | <haskellbridge> | <Liamzee> it turns out a MVar version without forkIO has roughly the same performance as the one without forkIO, so I think it might be parallelizable as it seems as though it's the computations that are the main bottleneck |
| 2025-04-04 21:22:33 +0000 | <EvanR> | MVar is not going to "be faster" than the mutable vector |
| 2025-04-04 21:22:54 +0000 | <haskellbridge> | <Liamzee> 10 ms vs 490 ms total runtime |
| 2025-04-04 21:22:56 +0000 | <EvanR> | and it's starting to sound like how you get values from A to B isn't the bottleneck |
| 2025-04-04 21:23:11 +0000 | <EvanR> | it's the numerics (probably shouldn't be obvious) |
| 2025-04-04 21:23:15 +0000 | <EvanR> | should be |
| 2025-04-04 21:23:45 +0000 | <haskellbridge> | <Liamzee> rewrite it in Eval Monad? :D |
| 2025-04-04 21:26:16 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-04-04 21:26:29 +0000 | krei-se- | (~krei-se@p3ee0f949.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 21:27:00 +0000 | krei-se | (~krei-se@p200300f1cfff3115da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-04-04 21:31:07 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-04-04 21:31:26 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 21:33:06 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-04 21:35:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-04 21:39:34 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-04-04 21:39:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-04 21:40:12 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 272 seconds) |
| 2025-04-04 21:40:25 +0000 | krei-se | (~krei-se@p3ee0f988.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 21:40:59 +0000 | krei-se- | (~krei-se@p3ee0f949.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-04 21:45:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 21:48:40 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) |
| 2025-04-04 21:53:53 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-04 21:55:21 +0000 | krei-se- | (~krei-se@p3ee0f990.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 21:55:42 +0000 | krei-se | (~krei-se@p3ee0f988.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-04 21:56:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 21:57:06 +0000 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-04 21:58:53 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-04 22:00:28 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-04 22:01:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-04 22:02:35 +0000 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-04 22:02:43 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-04-04 22:03:15 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-04 22:03:15 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-04 22:03:30 +0000 | forell | (~forell@user/forell) forell |
| 2025-04-04 22:06:19 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-04 22:06:22 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) |
| 2025-04-04 22:08:43 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 22:09:40 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-04 22:10:08 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-04 22:12:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 22:15:12 +0000 | remexre_ | (~remexre@user/remexre) remexre |
| 2025-04-04 22:15:19 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 265 seconds) |
| 2025-04-04 22:16:39 +0000 | remexre_ | remexre |
| 2025-04-04 22:16:46 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 265 seconds) |
| 2025-04-04 22:18:34 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-04 22:24:54 +0000 | krei-se | (~krei-se@p200300f1cfff316bda9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 22:25:35 +0000 | krei-se- | (~krei-se@p3ee0f990.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-04-04 22:26:26 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-04 22:26:53 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 22:27:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-04 22:27:45 +0000 | remexre_ | (~remexre@user/remexre) remexre |
| 2025-04-04 22:27:58 +0000 | remexre | (~remexre@user/remexre) (Read error: Connection reset by peer) |
| 2025-04-04 22:29:27 +0000 | remexre_ | remexre |
| 2025-04-04 22:31:24 +0000 | krei-se- | (~krei-se@p200300f1cfff3170da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 22:31:59 +0000 | krei-se | (~krei-se@p200300f1cfff316bda9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-04 22:32:06 +0000 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-04 22:35:28 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-04 22:35:40 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-04-04 22:51:44 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-04-04 22:52:22 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-04 23:01:06 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-04 23:12:05 +0000 | sprotte24_ | (~sprotte24@p200300d16f176a007d5b6fd7286fde7f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-04 23:12:20 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-04 23:14:02 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce) |
| 2025-04-04 23:17:24 +0000 | Kaladin | (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) |
| 2025-04-04 23:18:25 +0000 | Kaladin | (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2025-04-04 23:19:04 +0000 | krei-se | (~krei-se@p3ee0f75f.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 23:19:49 +0000 | krei-se- | (~krei-se@p200300f1cfff3170da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-04 23:20:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-04 23:22:24 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 23:25:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 23:27:15 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-04 23:28:19 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-04 23:28:44 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-04-04 23:29:11 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-04 23:30:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-04 23:40:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-04 23:41:40 +0000 | krei-se | (~krei-se@p3ee0f75f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-04 23:48:42 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-04 23:49:08 +0000 | krei-se | (~krei-se@p200300f1cfff3299da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-04 23:51:28 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-04-04 23:52:29 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-04 23:53:07 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-04 23:53:39 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-04-04 23:55:04 +0000 | forell | (~forell@user/forell) forell |
| 2025-04-04 23:59:19 +0000 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |