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 crb002 on Sunday December 31, 2017 @02:48PM (#16042437)
We already have them. It's called compiler type checks. Albeit having an SMT solver in your unit tests is nice too.
[ Parent | on HN ]
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by UncleMeat on Sunday December 31, 2017 @04:23PM (#16043069)
Type checking is (usually) intraprocedural and flow insensitive. That's what makes it easy. The other stuff is harder.
[ Parent | on HN ]