Edsger Dijkstra is retiring.

[bookmark]