Hacker News new | ask | show | jobs
by tasty_freeze 586 days ago
It is the "correct by construction" approach vs the "construct by correction" approach.