[metroholografix]

Rust is a welcome addition to the global language toolbox but I feel is mostly a mirage in terms of future breakthroughs in the language / programming space: It still falls under the "formal methods / program correctness" paradigm which has led people astray for decades. Like Gerald Sussman proclaiming (talking about Haskell):

"This is the most advanced of the obsolete languages!"

Watch this talk: https://www.infoq.com/presentations/We-Really-Dont-Know-How-...

Another great talk on the subject (also the biological model of dealing with complexity) is Alan Kay's "Programming and Scaling".

[quectophoton]

And still for all the focus on projecting safety and trust of the compiled programs, you'd think it would be relatively easy to compile `rustc` from source so that people and Linux distros don't need to trust the `rustc` from the GitHub repository.

But unfortunately you need to do a gazillion compilation steps if you want to build the latest `rustc` from scratch.

I honestly can't wait until gccrs is good enough to allow us take a shortcut and be able to bootstrap a `rustc` in a reasonable amount of time and steps.