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 wolfgke on Saturday December 30, 2017 @06:45PM (#16038372)
> In ten years.

> That's where I thought we were in 1983 - ten years away.

Obligatory xkcd:

> https://xkcd.com/678/

[ Parent | on HN ]
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.

[ Parent | on HN ]