Edsger W. Dijkstra – Reasoning About Programs [video] | Dark Hacker News