German Vidal

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.

Jim Miles gives his personal reflections.

https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html?m=1

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 11 at 9:49amWeb
Show threadAdrian SegarMar 11
@the_heruman ALGOL is the first programming language I learned. Used to teach my compsci students quicksort. RIP Tony Hoare.
Show threadGerman VidalMar 11
@ASegar I usually cover formal software verification topics in class using "Hoare triples"... A great loss for the community 😔
Show threadWeyland-Yutani CorporationMar 11
@the_heruman 😭
Show threadMikeStokMar 11
@the_heruman @cstross oh the benefits of liberal arts vs STEM. Classics and philosophy help develop thinking skills, and those are huge amplifiers when doing STEM work.