3 ms·
I absolutely adore Djikstra's stubborn and always eloquent insistence on rigor and purity in CS education, his unabashed refusal to see even one tendril of its
by lr4444lr 8y ago
I absolutely adore Djikstra's stubborn and always eloquent insistence on rigor and purity in CS education, his unabashed refusal to see even one tendril of its mathematical connections be sacrificed for mere code production efficiency. If this case isn't going to be made at the university level, then where?
- Bromskloss 8y agoI agree with you! Something I've wondered, though, is how he would propose writing a formal specification for, say, a graphical application. Does anyone know?