Hmm. I've never been asked to do formal proofs for my code. Where does he work? | Hacker News

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

		nottorp 22 days ago \| parent \| context \| favorite \| on: Your job is to deliver code you have proven to wor... Hmm. I've never been asked to do formal proofs for my code. Where does he work?

simonw 22 days ago [–]

This isn't about formal proofs, it's about manual testing and simple automated tests.

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