Earlier quoted context omitted.
Yes. He died last week.
Any link to information?
Came through personal contact who is close to the family.
Tony Hoare has died
21–30 of 39 posts
Re: Tony Hoare has died
#22@dang is there such a thing as a double black bar? Because we need one for Tony.
Tags do nothing, email the mods if desired. Bottom bar has deets (“contact”).
Re: Tony Hoare has died
#23Once verified, I definitely think the creator of Quicksort deserves a black bar.
Yes, make it black.
Re: Tony Hoare has died
#24Earlier quoted context omitted.
There were a few recent edits about this on Tony Hoar's Wikipedia page which were reverted because there was no substantial evidence: https://en.wikipedia.org/w/index.php?title=Tony_Hoare&action...
It was edited again a few minutes ago and now displays Sunday, March 8th as his date of death.
And it's gone again!
Re: Tony Hoare has died
#25[deleted]
Re: Tony Hoare has died
#26Earlier quoted context omitted.
There is very little information around, this is the most authoritative post I could find. There are some comments on X as well. According to this blogpost, he sadly passed away last Thursday, March 5th.
There were a few recent edits about this on Tony Hoar's Wikipedia page which were reverted because there was no substantial evidence: https://en.wikipedia.org/w/index.php?title=Tony_Hoare&action...
[deleted]
Re: Tony Hoare has died
#27Once verified, I definitely think the creator of Quicksort deserves a black bar.
It goes a lot further than Quicksort.
Re: Tony Hoare has died
#28Pardon if I’m dumb/missed something: Is Tony Hoare dead? I see no news anywhere.
Sadly it seems to be true. Heard it late last week from a coworker in a position to know.
Re: Tony Hoare has died
#29@dang is there such a thing as a double black bar? Because we need one for Tony.
What is a black bar?