!LemuOOvbWqRXodtSsw:nixos.org

NixOS Reproducible Builds

544 Members
Report: https://reproducible.nixos.org Project progress: https://github.com/orgs/NixOS/projects/30124 Servers

Load older messages


SenderMessageTime
27 May 2021
@ninjatrappeur:matrix.orgNinjaTrappeurhttps://www.joachim-breitner.de/blog/748-Thoughts_on_bootstrapping_GHC06:30:14
@siraben:matrix.orgsiraben 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:matrix.orgNinjaTrappeurI 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:matrix.orgsirabenthe 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:matrix.orgsirabenbut GHC itself has lost a bootstrap long ago07:24:46
@adis:blad.isadisbladis joined the room.07:44:58
28 May 2021
@adisbladis:matrix.orgadisbladis left the room.00:39:19
29 May 2021
@ochoa:matrix.orgOchoa joined the room.02:35:52
@immae:matrix.orgimmaehttps://r13y.com/ still mentions #nixos-r13y (cc grahamc (he/him))09:46:34
@immae:matrix.orgimmae(and congratulations for managing to remove gcc from the unreproductible list btw!)09:48:49
@grahamc:nixos.org@grahamc:nixos.org Can you send me a pr? Grahamc/r13y.com I think 11:29:11
@siraben:matrix.orgsiraben
In reply to @immae:matrix.org
(and congratulations for managing to remove gcc from the unreproductible list btw!)
yay!
11:44:58
@siraben:matrix.orgsirabenwhat was the effect on performance of compiled binaries?11:45:16
@andi:kack.itandi-
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:matrix.orgsirabenoh, and are the binaries slower?11:46:50
@andi:kack.itandi-No12:09:29
@justinrestivo:matrix.orgjustinrestivo changed their display name from justinrestivo to oh caml >>=.12:20:52
@justinrestivo:matrix.orgjustinrestivo changed their profile picture.12:21:57
@justinrestivo:matrix.orgjustinrestivo changed their display name from oh caml >>= to justinrestivo.12:22:24
@justinrestivo:matrix.orgjustinrestivo changed their profile picture.12:23:57
@immae:matrix.orgimmaesure12:56:15
@siraben:matrix.orgsiraben andi-: why does compiling become slower? 13:01:36
@andi:kack.itandi- siraben: the produced GCC binary no longer is PGO optimized. 13:02:03
@andi:kack.itandi-because the PGO stop wasn't reproducible13:02:19
@siraben:matrix.orgsirabenAh. Is that acceptable for the rest of Nixpkgs?13:02:36
@andi:kack.itandi-I think so13:05:16
@andi:kack.itandi- baloo was looking into making it reproducible 13:05:30
@andi:kack.itandi-And I am trying to do the same for python (with little success).13:05:43
@mkos:matrix.orgMark left the room.19:13:31
30 May 2021
@raboof:matrix.orgraboofthat 10% wasn't very scientific btw AFAIK, I tried getting more reliable numbers but it varied wildly so I didn't really get anywhere yet11:57:14

Show newer messages


Back to Room ListRoom Version: 6