Hacker News new | ask | show | jobs
by m_j_g 1816 days ago
Contrary, formal methods could (in theory!!) give as way to assess correctness of software regardless of programmer qualifications.