The stars are not wanted now; put out every one,

Pack up the moon and dismantle the sun,

Pour away the ocean and sweep up the woods;

For nothing now can ever come to any good.

Edsger Dijkstra is dead.