Tony Hoare has died https://news.ycombinator.com/item?id=47324054 (2038 points, 275 comments)