4 ms·

I think programming may be a bit harder because (at the end of the day) it becomes an engineering problem (one of efficient resource utilization). A program ce

I think programming may be a bit harder because (at the end of the day) it becomes an engineering problem (one of efficient resource utilization). A program certainly has to be correct, but it also must run effectively on reasonably sized machines (less an issue these days for most problems), and implemented in a reasonable amount of time. The latter one is the killer that seems to never be accounted for in CS courses.

carterschonwald 18y ago
this is certainly true when you're considering the finest of algorithmic fu, (yay, that rhymes!) on the other hand, it worth mentioning that when you break out a computerize theorem prover to verify properties of say, a 15 line assembly bootloader, that winds up taking ~ 15k lines of code in the COQ theorem prover http://coq.inria.fr/ http://coq.inria.fr/ (granted a lot of it was in libraries that were reusable) as far as I can tell, proof engineering is the most technically challenging form of software engineering