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

>The alternative would be to say that only a system that has been proven correct could be used as evidence which would force pretty much all accounting back to paper.

No. It'd actually just force authorship and disclosure of test cases.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

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

Search: