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