News for hackers. Stuff that matters.
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by MikkoFinell on Sunday December 31, 2017 @09:35AM (#16040693)
> Obligatory xkcd

God I cringe every time someone posts that. It's like the "Big Bang Theory" of internet comics.

There are no comments on this comment yet.