John Backus had some correspondence with Dijkstra that's worth a read: https://medium.com/@acidflask/this-guys-arrogance-takes-your...
Incredible letters, thanks for sharing. I wish some of this correspondence was published in physical books. What a joy it would be to read.
That's a wild ride of passive aggressive academia in a field I know something about. A rare treat. Thanks for sharing!
There's that immortal Alan Kay line "arrogance in computer science is measured in nano Dijkstras".