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...

R.I.P. C.A.R. Hoare 😢:

“Tony Hoare (1934-2026)”, Computational Complexity (blog.computationalcomplexity.org/2026/03/tony...).

On HN: news.ycombinator.com/item?id=4732...

On Lobsters: lobste.rs/s/lyktdk/ton...

#Hoare #RIP #Obituary #ComputerScience #CS #CARHoare #TonyHoare

One of the great minds of Computer Science has passed away 😢 .
Rest in peace, Sir C.A.R. Hoare. And thank you for your contributions to the field!
#Hoare

Bridgy Fed Bridgy Fed is a bridge between decentralized social networks like the fediverse, Bluesky, and web sites and blogs.

fed.brid.gy/bsky/globalv...

better-experience.blogspot.com/2026/01/the-...

#VEGAS #MATT
headlines-world.com/advanced-sea...
C #HOARE CO
aepiot.com/advanced-sea...
#UNITED #AUTOMOTIVE #TECHNOLOGIES
aepiot.com/advanced-sea...
allgraph.ro

MultiSearch Tag Explorer MultiSearch Tag Explorer - Explore tags and search results by aéPiot

Add Free Backlinks on aéPiot and Boost Your Site’s Rankings
#EDWARD #HOARE #CRICKETER
headlines-world.com/advanced-sea...
#GEORGIOS #VAZAKAS
aepiot.ro/advanced-sea...

blueskystarterpack.com/starter-pack...

Hoare Logic Analogy Theorem Provides Formal Guarantees for ML Transfer

Researchers submitted a theorem on 4 Oct 2025 via Hoare logic to define data set analogies, defining transfer conditions. In MNIST‑USPS tests, a CNN got an F1 of 0.84 and a random forest 0.88. getnews.me/hoare-logic-analogy-theo... #hoare #ml