Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Interesting idea. The verifying correctness kind of seems like the most important part though, and entirely non trivial. Test driven development maybe?


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

Search: