Why are there always these smug "Dijkstra's right that everyone else is an idiot" replies to Dijkstraposts? Do people understand exactly what Dijkstra was advocating for?
> I have met some developers in my career that can communicate as effectively as this with equally brutal criticality, but those people are astonishingly rare
The fact that it's rare to find arrogant people who argue with "brutal criticality" that all programmers should use formal methods all the time (like Dijkstra did), is not a bad thing IMO.
> I have met some developers in my career that can communicate as effectively as this with equally brutal criticality, but those people are astonishingly rare
The fact that it's rare to find arrogant people who argue with "brutal criticality" that all programmers should use formal methods all the time (like Dijkstra did), is not a bad thing IMO.