4 ms·
Memory safety is not the same a scorrectness and more advanced type is also not the same thing as correctness.
by uecker 7mo ago
Memory safety is not the same a scorrectness and more advanced type is also not the same thing as correctness.
- masklinn 7mo ago50 years of computing have proved pretty conclusively that less than that is wishful thinking at best. Large C++ programs, even with massive amounts of resources and tooling, can’t even get memory management correct.
- uecker 7mo agoThat Rust gives you correctness is very misleading claim.