Instead of "unsafe", we could use "computer verified correctness" or something similar. Truth is that humans make mistakes and Rust is the only "project" which achieves verified correctness in some critical areas, in projects of any complexity.
Instead of "unsafe", we could use "computer verified correctness" or something similar. Truth is that humans make mistakes and Rust is the only "project" which achieves verified correctness in some critical areas, in projects of any complexity.