4 ms·
Edsger Dijkstra's work was almost entirely oriented towards breaking programmer intuition, emphasizing that we should reason /as/ the machine and eventually /ah
by bordercases 11y ago
Edsger Dijkstra's work was almost entirely oriented towards breaking programmer intuition, emphasizing that we should reason /as/ the machine and eventually /ahead/ of the machine.
http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1036.PDF http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1036.PDF
- amasad 11y agoDijkstra's work is definitely an inspiration. The only thing I disagree with his views is that using analogies and metaphors in programming is always bad.
- mrestko 11y agoWow, he has interesting handwriting.
- poof131 11y agoYep, you can even get it as a font.[1] [1] http://www.fontpalace.com/font-details/Dijkstra/ http://www.fontpalace.com/font-details/Dijkstra/
- musha68k 11y agoThank you very much for sharing this. Edit: It always feels as if Dijkstra had been a true 50/50 growth/scarcity mindset kind of guy, in any case it's a very worthwhile read I think so I've re-shared your article over here: https://news.ycombinator.com/edit?id=10837146 https://news.ycombinator.com/edit?id=10837146
- bordercases 11y ago> 50/50 growth/scarcity What exactly do you mean by this, how does Dijkstra represent it and where can I learn more?