News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by betterunix on Sunday April 20, 2014 @07:27PM (#7618873)
On the topic of trusting compilers:

http://www.dwheeler.com/trusting-trust/

[ Parent | on HN ]

There are no comments on this comment yet.