@UweHalfHand@avp
Great! Enjoy your Sunday and especially the birthday party (congrats)!
Don't hesitate to join our IRC if you're at all into that; #bootstrappable @ libera.chat!
Copyright (C) 2016 Jeremiah Orians
This file is part of #stage0
stage0 is free software: you can redistribute it and/or modify. It under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. stage0 is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
Most of the people who attends comes from the more mainstream side of software development, #web#mobile and so on (this year #gamedev too!), but there's also space for a crazy motherfucker like me.
@lxo
Right; if the program cannot be (easily) built, script or build-system-wise, it cannot be copylefted.
Without a new "freedom 4" (the freedom to build/bootstrap a program and re-create it bit-for-bit using free software) it would still be OK to require build dependencies that themselves cannot be built (or only by injecting pre-built binaries that cannot be verified to have been built exclusively with free software) and copyleft the program.
#haskell q: are there any small and living haskell implementations with power at least partially close to ghc? (e.g., vectors, concurrent IO and TyFams)
Spent part of my #RechageDay at #AMD looking at bootstrapping #TinyCC 0.9.26 from #GNUMes on #x86_64 architecture. And thanks to #Mes mantainer @janneke for his help with debugging various issues. We can now build initial #tcc binary and it can even run some simple commands such as --help or -vv.
Unfortunately, we still hit some critical bugs when trying to use this tcc binary to rebuild itself but hopefully we are not far now.
Talk at IEEE S&P 2023 "Oakland" by Marcel Fourné "It’s like flossing your teeth: On the Importance and Challenges of Reproducible Builds for Software Supply Chain Security"
At the Linux Apps Conference 2023 #LAS2023 (sic., that's really GNU/Linux), Dor Askayo talks about making the Freedesktop SDK project #bootstrappable, bringing the benefits of a clear dependency graph of fully auditable code and a build process independent from the previous binary version of Freedesktop SDK (which depended on its previous binary version, which...).
Lovely to see how quickly they took full advantage of us closing the gap between Stage0 and GNU Mes!
If you run "guix pull" today, you get a package graph of more than 22,000 nodes rooted in a 357-byte program---something that had never been achieved, to our knowledge, since the birth of Unix: a Full-Source Bootstrap.
I’m (experimentally) extending the hs-all-in-one tool to munge the whole GHC source code into a single #Haskell module. I now have a 680k loc, 41MB file. Doesn’t work yet, still fighting the renamer.