Whenever people say things like "Use Rust, it's memory safe" I know that they're clueless. Nobody has shown any evidence that for the average project, written by average developers, writing in Rust won't result in just as many exploitable bugs as writing in C.
Also I had to laugh at this:
> No one is talking about absolute safety guarantees. I am talking about specific ones that Rust makes: these are well-documented and formally defined
As the saying goes "name three".