@neauoire this is actively on my mind as I return to maintain the clojure compiler I wrote in clojure. self-hosting creates all kinds of headaches and yes the compiler depends on precompiled binaries from previous versions of itself... not great...
@neauoire I was going to mention GuixSD's incredible efforts in this space until I saw the website footer. the site is written in Guile and therefore almost certainly a Guix community/devs project itself
but anyway, they've got some pretty robust reproducibility principles for anything that makes it into the main repos. notably I believe they're aiming for the entire toolchain to be bootstrapped off a few hand written hex binaries, and then upwards from there? been a minute since I read it
@neauoire Reminds me of Ken Thompsons "Reflections on Trusting Trust" https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf
@neauoire wasn't it a sign that the language works? And people write a compiler in that language that should be able to compile itself?
@neauoire This is one reason why I like GNU autoconf and automake: It only needs m4 and a shell as dependency — m4 which is a much simpler language.
They pay the price for getting the bootstrap working. That’s one of many reasons I nowadays prefer autotools over other build tools. Despite their also existing problems.
Revel in the marvels of the universe. We are a collective of forward-thinking individuals who strive to better ourselves and our surroundings through constant creation. We express ourselves through music, art, games, and writing. We also put great value in play. A warm welcome to any like-minded people who feel these ideals resonate with them.