Tony Hoare has died (lefenetrou.blogspot.com)

Pardon if I’m dumb/missed something: Is Tony Hoare dead? I see no news anywhere.

Wikipedia seems to say he passed yesterday.

Once verified, I definitely think the creator of Quicksort deserves a black bar.

Time for a black band.

@dang is there such a thing as a double black bar? Because we need one for Tony.

Wikipedia is reporting him as deceased, but there’s a bit of an editing war going on. No source is cited for his death, and and it’s going back and forth.

This post appears to have been hidden from the front page of HN?

No black band at the op of HN? Is that only for rich people?

I found this link elsewhere. But then I went to his wikipedia page; it doesn't seem to have any mention of date of demise.

[0] https://en.wikipedia.org/wiki/Tony_Hoare

I'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.)

Even now his Oxford bio lists him as alive, by his Royal Society bio lists him as deceased.