[tluyben2]

I am Dutch, my father studied under Dijkstra (TUE) and I studied under some of Dijkstra's prodigies. The humor Dijkstra uses is very Dutch to me and to me it's hilarious. His hard stabs were considered good practice in a lot of professional Dutch high end careers in the 70s/80s/90s but I believe it became less common. We have less issues telling like it is even if it hurts people in general, but when I still worked in NL this was definitely dying out.

That said; I admire Dijkstra for having such strong opinions and striving to create solid software no matter what. He was used to write software for machines that didn't exist yet[1] and I for one wish I had the time/budget to write software proofs. Especially with the modern tools (not the ones I learnt using from Dijkstra's works, but that was a good theoretical foundation which gave me understanding) we have now it's very possible but only for very expensive systems with very generous deadlines. I could say we will not deliver without that but I would be living under a bridge...

[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E...