News for hackers. Stuff that matters.

A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by KirinDave on Sunday December 31, 2017 @04:58PM (#16043233)
A fiasco is a fiasco. Vitalik is still around because he at least owns his fiascos. The IOTA folks probably won't be at this rate.
[ Parent | on HN ]

There are no comments on this comment yet.