News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code (2016). Parent comment

Re:Formal Verification Creates Hacker-Proof Code (2016) by im3w1l on Saturday April 25, 2020 @09:19PM (#22983366)
When the checks clear.
[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code (2016) by ternaryoperator on Saturday April 25, 2020 @09:39PM (#22983478)
One of the finest puns I've seen on HN ever!
[ Parent | on HN ]