Hacker News new | ask | show | jobs
by mad44 1048 days ago
I had written this in 2014 as a short introduction to Dijkstra's EWD notes. https://muratbuffalo.blogspot.com/2014/09/revisiting-ewds.ht...