Hacker News Reader

the code is statically verified to be memory safe, so i dont really know what you're trying to get at

Being memory safe (and here we implicitly assume the compiler ecosystem is behaving as intended) does not guarantee the code is generally safe.

I was referring to memory safety. I would not have been able to write memory-safe C or C++ code, the Rust compiler helped me do that.

I don't know why you would think I meant 'safety' in some other way, considering Rust advertises that it is a 'safe' language, and they are obviously talking about memory safety.

It seems like you just wanted to construct an easy strawman to knock down.

Reply on news.ycombinator.com