[deleted]
Tony Hoare has died
31–39 of 39 posts
Re: Tony Hoare has died
#32This post appears to have been hidden from the front page of HN?
Re: Tony Hoare has died
#33No black band at the op of HN? Is that only for rich people?
Re: Tony Hoare has died
#34I found this link elsewhere. But then I went to his wikipedia page; it doesn't seem to have any mention of date of demise.
Re: Tony Hoare has died
#35No black band at the op of HN? Is that only for rich people?
[deleted]
Re: Tony Hoare has died
#36No black band at the op of HN? Is that only for rich people?
I hope you've noticed which story has been at the top of HN all day today, and how lovely the comments in it are.
Re: Tony Hoare has died
#37This post appears to have been hidden from the front page of HN?
Yes, it was submitted before the news had been confirmed. More here: https://news.ycombinator.com/item?id=47327440.
Re: Tony Hoare has died
#38I've merged the comments into this thread now: Tony Hoare has died - 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.)
Re: Tony Hoare has died
#39Even now his Oxford bio lists him as alive, by his Royal Society bio lists him as deceased.