#Levien explains of #Dijkstra’s letter to him: “Yes, we were corresponding for a while, this wasn’t just a response to a cold contact. My dad, who was quite a promoter and very invested in the idea of me being a gifted kid, reached out to a bunch of computer scientists, and several responded. I have some of those letters but haven’t done any careful organizing of them. As I mentioned in the memorial note, Dijkstra would go on to invite me to the Marktoberdorf summer school the following summer, where I got to spend time with him, Tony Hoare, Greg Nelson, Robert Constable (of Nuprl fame), and others.”
on 02025-09-07Kazinator on #Mastodon replying to Raph #Levien about #Dijkstra
on 02025-09-07#PDF of #Dijkstra’s letter to Raph #Levien about #Io
on 02025-09-07Raph #Levien on #Mastodon posting a PDF of a letter #Dijkstra wrote him about #Io on 01989-11-11 when he was 19, which means he was born in 01970 or late 01969.
on 02025-09-07UNITY is an experimental language by K. Mani Chandy and Jayadev Misra from 01988 based on #Dijkstra’s #guarded-commands. #programming-languages
on 02025-08-02the 1979 correspondence between Backus and #Dijkstra. “I propose to discuss with you as a friend the sad impairment of your great abilities…that result from your powerful and self-indulgent ego.” Includes photos and transcriptions. Handwritten flamewar.
on 02016-05-31