DeVault: Announcing the Hare programming language

Those are all good points, but it's not about *completely avoiding* the need to trust programmers, that's a straw-man. It's about *minimizing* the need to trust programmers where we have proven techniques to reduce such trust that aren't unduly burdensome. And Rust and Swift and other languages with good type systems have lots of ways to do that beyond just memory safety!