I've merged the comments into this thread now: Tony Hoare has died - https://news.ycombinator.com/item?id=47324054 https://news.ycombinator.com/item?id=47324054

I've merged the comments into this thread now: Tony Hoare has died - https://news.ycombinator.com/item?id=47324054 https://news.ycombinator.com/item?id=47324054. Normally we'd try to re-up the earliest submission of a story, but in this case the article had little information, while the other post is nicely personal and detailed. I've left below the comments which were (understandably) debating whether the news was true or not. (Just to be clear: this is not a criticism! It's an important story, nextos is a fine contributor, and the submission was entirely understandable.)