That's mostly true, but the speed programmers write programs depends how bulletp... | Hacker News

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

imh on Aug 24, 2016 | parent | context | favorite | on: Types

That's mostly true, but the speed programmers write programs depends how bulletproof they have to be. There have been times that if you include the debugging and maintainability difficulty, proving things to my compiler would be a step forward for me. There's probably a sweet spot.

catnaroek on Aug 24, 2016 [–]

> That's mostly true, but the speed programmers write programs depends how bulletproof they have to be.

Of course, but, in any case, writing programs at the same rate mathematicians prove theorems simply isn't viable.

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