News for hackers. Stuff that matters.

A comment on GNU Coding Standards: Writing Robust Programs. Parent comment

Re:GNU Coding Standards: Writing Robust Programs by oscardssmith on Friday June 11, 2021 @03:46PM (#27477627)
Just because you have a proof doesn't mean it proves the right thing.
[ Parent | on HN ]
Re:GNU Coding Standards: Writing Robust Programs by dnautics on Friday June 11, 2021 @06:20PM (#27479193)
Congratulations. You have won the argument "there is no perfectly secure system", which no one was arguing.
[ Parent | on HN ]