That's quite sad: Formal methods should be one of the more exciting topics in yo... | Hacker News

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

astrec on May 29, 2012 | parent | context | favorite | on: Why I Hate Test Driven Development

That's quite sad: Formal methods should be one of the more exciting topics in your CS programme. Hope they didn't scar you too badly.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact