3 ms·It was "Edsger Dijkstra", not Edgar. (Probably no one else cares about this.)by mherdeg 15y agoIt was "Edsger Dijkstra", not Edgar. (Probably no one else cares about this.)