Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
undefined | Better HN
0 points
uecker
1mo ago
0 comments
Share
Memory safety is not the same a scorrectness and more advanced type is also not the same thing as correctness.
0 comments
default
newest
oldest
masklinn
1mo ago
50 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
OP
1mo ago
That Rust gives you correctness is very misleading claim.
j
/
k
navigate · click thread line to collapse