News for hackers. Stuff that matters.
Re:The Case for Formal Verification (2013) by 0x0 on Sunday April 20, 2014 @08:12PM (#7618992)
It can still be useful documentation. Four years later and after a couple rounds of heavy refactoring, it's nice to verify that 2+2 still equals 4.

There are no comments on this comment yet.