News for hackers. Stuff that matters.

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

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by Animats on Saturday December 30, 2017 @06:35PM (#16038338)
In ten years.

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

[ Parent | on HN ]
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 ]
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by AlexCoventry on Saturday December 30, 2017 @10:13PM (#16039145)
I think ten years is an extremely conservative estimate, since he's giving real-world examples in the talk.
[ Parent | on HN ]
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by throwaway2048 on Sunday December 31, 2017 @02:52AM (#16039810)
They had real world examples of formally verified code in 1983 too.
[ Parent | on HN ]