I met the man a few times (friend of my father) and I was programming when already when I did: both my father and him always told me to not just write code, but proofs first. I am rather happy for him he is not alive with this LLM stuff. He would've considered it the worst thing ever.
what a charming time it was when that generation discovered a bunch of stuff that now undergirds daily life:<p>“
Dijkstra always believed it a scientist’s duty to maintain a lively correspondence with his scientific colleagues. To a greater extent than most of us, he put that conviction into practice. For over four decades, he mailed copies of his consecutively numbered technical notes, trip reports, insightful observations, and pungent commentaries, known collectively as “EWDs”, to several dozen recipients in academia and industry. Thanks to the ubiquity of the photocopier and the wide interest in Dijkstra’s writings, the informal circulation of many of the EWDs eventually reached into the thousands.
“<p>random sample of a trip note in which he is in ited to consult on a project that he thinks ought to be killed:<p><a href="https://www.cs.utexas.edu/~EWD/ewd06xx/EWD601.PDF" rel="nofollow">https://www.cs.utexas.edu/~EWD/ewd06xx/EWD601.PDF</a>
> ... cannot be expected from the average programmer<p>Ha! He had to deal with the political B.S. of well-spoken self-important people who spend excessively long and write excessively long code/proofs getting accolades over those that just get things done in the best way! I feel for him!
Nonetheless, Prof. Baurer was not a loser. According to some sources he contributed to the invention of the notion of "stack" and "software engineering" among other things.<p><a href="https://en.wikipedia.org/wiki/Friedrich_L._Bauer" rel="nofollow">https://en.wikipedia.org/wiki/Friedrich_L._Bauer</a>
Digistra’s writing, trip report to Munich, a mechanical repair where a three-fold deduction takes place between 26-27 Nov. 1976.<p>The prose strikes one in the vein of a 20th century existential writer.
My favourite is EWD1303: <a href="https://www.cs.tufts.edu/comp/150FP/archive/edsger-dijkstra/ewd1303.pdf" rel="nofollow">https://www.cs.tufts.edu/comp/150FP/archive/edsger-dijkstra/...</a><p>It is Dijkstra's recounting of Operating System design with the notion of the first concurrent computer and interrupt.
Many of these EWD notes are <i>hand written</i> with a lot of mathematical notation,
and <i>no corrections</i>. For example:<p><a href="https://www.cs.utexas.edu/~EWD/ewd10xx/EWD1063.PDF" rel="nofollow">https://www.cs.utexas.edu/~EWD/ewd10xx/EWD1063.PDF</a><p>I am reminded of Salieri's reaction to Mozart's manuscripts in the movie <i>Amadeus</i>.
<i>In this thesis, we restrict ourselves to a tape reader (150 characters per second) and a tape punch (25 characters per second).</i><p>Dijkstra’s I/O apparatus corresponds to communication mechanisms for tape reading.
Dijkstra's notions about provable functions are probably more important during these times where LLMs are churning out hallucinated code.