We have many of those that are perfectly fine. Writing proofs is still quite har... | Hacker News

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

		yencabulator 5 months ago \| parent \| context \| favorite \| on: I'm worried it might get bad We have many of those that are perfectly fine. Writing proofs is still quite hard, especially proofs that actually say something about your program.

kamaal 5 months ago [–]

Proving something is correct is a far harder exercise, than writing a broken but acceptable version of that thing.

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