Comment by whytevuhuni
7 days ago
Of course, but even the presence of CVEs does not make software worthless, it just makes it worth less.
7 days ago
Of course, but even the presence of CVEs does not make software worthless, it just makes it worth less.
You don't seem to understand what I'm talking about.
bad axiom -> worthless theorem.
bad unsafe section -> verified safe section is actually not safe.
I’ve understood the distinction. I just don’t like you equating “actually not safe” with “worthless”.
So you haven't understood the distinction or you're letting your feelings for software get the best of you.
The proof that there are no (for rust's definition of "no") memory bugs becomes worthless, not the entire software itself.
1 reply →