3 ms·
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 an
by imh 10y ago
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 10y ago> 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.