Hacker News new | past | comments | ask | show | jobs | submit login

Unless it is formally verified, then it is really perfect. Not sure why we shouldn't strive towards that final state of evolution. Conceding the game at "good enough" is a cop out.



Formal verification depends on frozen requirements. These are quite rare in practice.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: