#HOARE

Ranjit Mathew

@rmathew4bs.bsky.social

4 days ago

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

@slbarth.bsky.social

5 days ago

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

GLOBAL Visibility aéPiot - by aePiot.ro

@globalvisibility.bsky.social

2 months ago

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

LOGO PED - Semantic Tags by aéPiot

@logo-ped.bsky.social

2 months ago

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

GetNews.me

@getnews-me.bsky.social

5 months ago

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