Re:A case against security nihilism
by kobebrookskC3 on Wednesday July 21, 2021 @04:45AM
(#27903888)
i was responding to the claim "It is sheer ego that would cause anybody to say that they can feasibly write a safe program in C or C++". of course, the feasibility part is questionable.
[ Parent
| on HN ]
It was written by top experts of the field through multiple years and is formally verified. It could have been written in brainfuck as well, since at that point the language is not important.