What? Why? Seriously getting fed up with the Rust lovers in Hacker News. It makes me hate Rust even though I actually really like it as a modern replacement for C++. Memory safety is only one aspect of proving program correctness. It's also less of an issue for garbage collected languages, and tracing GCs are fairly performant.

You don't see Coq users crapping on other languages for not proving their programs correct according to a formally defined specification.