Turing Award winner and former Oxford professor Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGOL, Hoare logic and so much more.
https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html
Turing Award winner and former Oxford professor Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGOL, Hoare logic and so much more.
https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html
If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.social/users/nixCraft/statuses/116206095018507132 on your instance and quote it. (Note that quoting is not supported in Mastodon.)