News for hackers. Stuff that matters.

A comment on Reflections of an “Old” Programmer. Parent comment

Re:Reflections of an “Old” Programmer by mafribe on Friday October 07, 2016 @03:49AM (#12658903) 

   Program verification
We really tried. It's hard, and verification of even simple programs easily hits the worst cases in automation. It will take another decade before program verification is digestible by mainstream programmers.
[ Parent | on HN ]

There are no comments on this comment yet.