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

So what this is really all about is this- do you mentally step through your code and consider what could go wrong at each step?


I would rather think in invariants - knowing what must be true at particular points in the code, at the start of loop bodies, etc. Essentially, doing a proof in one's head.




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

Search: