When you convince yourself of the program correctness, are you using techniques ... | Hacker News

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

vendiddy on Jan 24, 2025 | parent | context | favorite | on: You should write "without bugs"

When you convince yourself of the program correctness, are you using techniques from the class?

Any advice on reasoning about correctness?

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact