bah, https://github.com/fosslinux/live-bootstrap

you don’t even need a terminal or a prompt to bootstrap every tool you need.

not exactly, as there are rust compilers like mrust that don’t actually have borrow checkers and virtually none of those safety checks actually occur and there is a question of if the gcc rust compiler would be implementing that feature into the compiler.

So, that would be an attribution failure; as it isn’t required by the language but the most popular rust compiler does include that feature.

But yes, more compilers would likely benefit the languages they support by also adopting that feature by default.

Well rust has a borrow checker which does make some memory bugs harder to create but to say that rust solved any of the known open problems in computer security. The answer is clearly no. It just copied some good ideas from ocaml into C++ and got some good marketing.

borrow checkers also already exist for C/C++/etc [just most people don’t use them]

so, slightly safer defaults than C/C++ but doesn’t contain any new/unique security magic.

50MB for a sub POSIX kernel and a shell prompt for a 50MB ISO image that has less functionality than a 4KB kernel (L4SEC) which has actual formal proofs of correctness.

Well, I guess it has Rust as a selling point but that isn’t something that should matter if the goal is real security.