| 27 May 2021 |
NinjaTrappeur | https://www.joachim-breitner.de/blog/748-Thoughts_on_bootstrapping_GHC | 06:30:14 |
siraben | x-post from Melg8: "If there somebody interested in nix bootstrap, please checkout https://github.com/NixOS/nixpkgs/issues/123095 i think we need some discussion/thoughts about it. " | 06:33:13 |
NinjaTrappeur | I remember reading a WIP based on hugs but I can't find the link anymore :( TL;DR: there's been some effort in that area, but as far as I can tell, nothing beyond a WIP. | 06:33:22 |
siraben | the only fully bootstrappable Haskell compiler I'm aware of right now is https://github.com/OriansJ/blynn-compiler which implements a subset of GHC's Haskell (enough for it to self-host and be accepted by GHC) | 06:34:38 |
siraben | but GHC itself has lost a bootstrap long ago | 07:24:46 |
| adisbladis joined the room. | 07:44:58 |
| 28 May 2021 |
| adisbladis left the room. | 00:39:19 |
| 29 May 2021 |
| Ochoa joined the room. | 02:35:52 |
immae | https://r13y.com/ still mentions #nixos-r13y (cc grahamc (he/him)) | 09:46:34 |
immae | (and congratulations for managing to remove gcc from the unreproductible list btw!) | 09:48:49 |
@grahamc:nixos.org | Can you send me a pr? Grahamc/r13y.com I think | 11:29:11 |
siraben | In reply to @immae:matrix.org (and congratulations for managing to remove gcc from the unreproductible list btw!) yay! | 11:44:58 |
siraben | what was the effect on performance of compiled binaries? | 11:45:16 |
andi- | In reply to @siraben:matrix.org what was the effect on performance of compiled binaries? Compilation is now about 10% slower IIRC | 11:46:07 |
siraben | oh, and are the binaries slower? | 11:46:50 |
andi- | No | 12:09:29 |
| justinrestivo changed their display name from justinrestivo to oh caml >>=. | 12:20:52 |
| justinrestivo changed their profile picture. | 12:21:57 |
| justinrestivo changed their display name from oh caml >>= to justinrestivo. | 12:22:24 |
| justinrestivo changed their profile picture. | 12:23:57 |
immae | sure | 12:56:15 |
siraben | andi-: why does compiling become slower? | 13:01:36 |
andi- | siraben: the produced GCC binary no longer is PGO optimized. | 13:02:03 |
andi- | because the PGO stop wasn't reproducible | 13:02:19 |
siraben | Ah. Is that acceptable for the rest of Nixpkgs? | 13:02:36 |
andi- | I think so | 13:05:16 |
andi- | baloo was looking into making it reproducible | 13:05:30 |
andi- | And I am trying to do the same for python (with little success). | 13:05:43 |
| Mark left the room. | 19:13:31 |
| 30 May 2021 |
raboof | that 10% wasn't very scientific btw AFAIK, I tried getting more reliable numbers but it varied wildly so I didn't really get anywhere yet | 11:57:14 |