Earlier 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...
Re: Tony Hoare has died
#11It was edited again a few minutes ago and now displays Sunday, March 8th as his date of death.