Tony Hoare has died(blog.computationalcomplexity.org)
1957 points by speckx | 256 comments
Computational Complexity blog post marking the death of Turing Award winner Tony Hoare at 92, with personal reflections by Jim Miles.
#hoare-logic on Hacker News
1 story tagged hoare-logic, newest first.