In fact the MES-compiler, the one that I want to replace, is written in Scheme. It also comes with a Scheme interpreter written in C. Before the MES-compiler can be executed the source has to be unzipped and unpacked with two programs that are also compiled from C sources. So, you already need a compiler that supports a sizable subset of C to compile all these programs in order to compile the MES-compiler, which is a rather compliant C-compiler, which is used to compile the Tiny C Compiler and a standard library (included in the MES sources). The unzip and untar programs are also needed to unpack/zip the archive with the Tiny C Compiler sources.

Please share me the youtube video regarding the presentation for bootstrapping as I find the idea of bootstrapping really pleasant and like I am most likely sure that although I am more an arch(cachy) personal user/debian for servers users. I feel like even these are adding reproducibility and I am sure that nixos can be reproducible https://news.ycombinator.com/item?id=38057591

Guix can definitely be bootstrapped but there are comments on this post where someone tries to reproduce nix with tcc etc.

Imagining the ability that nix can be completely bootstrapped makes me feel like it can be really good for these purposes

Like if this is reproducible and bootstrappble, then I am satisfied with the hash because other people can test it out to verify they get the same hash and I can download the iso's and then verify the hash myself to find complete safety.

Although I might still be trusting my linux iso but maybe we will have risc-v hardware where I can plug in an sd card or data or similar and it can give the hash of it for the extremely paranoid (maybe universities or very secure companies perhaps?)

After that (or quite frankly just the hash part for 99% people), I can then flash the iso to any and every hardware with complete verification

Although I feel like this still won't help if the firmware or the hardware itself can't be trusted. I mean even in corebooted chromebooks, the intel TPM only stops the ability of sending the bytecode over wire but it itself really can't be stopped. Maybe we will have risc-v machines but they would rather be really expensive.

I think tho librebooted thinkpads + nixos/guix can be really great for privacy perhaps. But what are your reasons why bootstrappability fascinates you (for me its this stacking aspect and then finally we get some useful os without having to trust anything but source which we can read/heck even audit ourselves or have the shared faith that the source code is audited by security people since its completely readable)

The idea of bootstrapping is that you start with nothing, or at least with almost nothing. In case of stage0 (the first stage of live-bootstrap) this a small program that converts a file with hexadecimal characters (in pairs) to a binary file. From there you have to build everything. To compile Rust, you need a Rust or C compiler, I understand. I have no idea how hard it would be to build a minimal Rust compiler that could compile itself, one that not necessary performs all the checks that the (full) Rust compiler would do.

I think that Rust is build as part of live-bootstrap, but at a much later stage when the latest version of the GNU C compiler has been build.

I am currently watching closely both yours, pnut.sh (already mentioned in the thread) and https://github.com/cosinusoidally experiments. I think they all have something good to contribute.

These first steps interest me very much, and perhaps x86-only is the best we'll get for a foreseeable future (10 years or so), considering how difficult builder-hex0/fiwix is to port to another arch and how crucial it is for the whole concept.

The GCC 4.7 RISC port and other things are nice (higher stages), but they are short term practical goals. I think the future lies in very specialized bootstrap-specific software that can cut lots of corners at once.