Craig MorganMar 10
Christine Lemmer-Webber

EDIT EDIT: Tony Hoare probably did pass away https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html

EDIT: Tony Hoare may have not, in fact, passed away

Tony Hoare has passed away https://lefenetrou.blogspot.com/2026/03/in-memoriam-tony-hoare.html

Rest in processes, may they be communicating even if individually sequential

Tony Hoare (1934-2026)

Turing Award winner and former Oxford professor  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

Mar 10 at 12:29amWeb
Show threadChristine Lemmer-WebberMar 10
Damn that's Carl Hewitt and Tony Hoare both gone. I know Gul Agha really did a lot of work to clean up actors to make them make sense, but that's the two of the leaders of predominent paradigms of asynchronous programming gone
Show threadChristine Lemmer-WebberMar 10
(In before Carl Hewitt's ghost tells me I don't understand actors again, as he did with me personally and everyone else who ever implemented actors)
Show threadStewart RussellMar 10
@cwebber I'm sure there's an "interrupting Carl Hewiit's ghost" joke around somewhere
Show threadalysMar 10
@cwebber the true actor model has never been implemented.
Show threadThe Long TailMar 12
@alys @cwebber If you see the true actor model upon the road, kill it.
Show threadThe Orange ThemeMar 10
@cwebber Oh no, I'm so sorry to hear this. May his memory be a blessing. ❤️
Show threadChiron CodexMar 10
@cwebber wow this toot became a roller coaster
Show threadChiron CodexMar 10
@cwebber sadly it looks to be true https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html
Tony Hoare (1934-2026)

Turing Award winner and former Oxford professor  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

Show threadChristine Lemmer-WebberMar 10

@chiron_codex :(

Thanks for the link. I updated the post (again)

Show threadChiron CodexMar 10
@cwebber if only we knew something about eventual consistency
Show threadBatsifyMar 14

@cwebber Edit Edit Edit : The Wikipedia page is updated accordingly. RIP Mr Hoare.

https://en.wikipedia.org/wiki/Tony_Hoare

Tony Hoare - Wikipedia