Hacker News new | ask | show | jobs
by layer8 200 days ago
The benefit of that effort is that you know the program is provably correct.