zlacker

[return to "“Rust is safe” is not some kind of absolute guarantee of code safety"]
1. stephc+fe[view] [source] 2022-10-02 15:48:16
>>rvz+(OP)
This a naming/marketing issue.

Because "safe" in the context of a programming language is provably wrong and thus will trigger adversary reactions.

Rust is a hardened language, compared to C/C++. In the same way that Ada is hardened language, with different techniques, but the spirit is similar.

◧◩
2. mlindn+Yx[view] [source] 2022-10-02 17:33:23
>>stephc+fe
Rust isn't really hardened in the same way as Ada at all. They're almost perpendicular to each other.
[go to top]