Hackernews posts about Hoare
- In Memoriam: Car Hoare – Communications of the ACM (cacm.acm.org)
- Record Handling (1966) [pdf] (archive.computerhistory.org)
- The tortoise and the hare live on (unsung.aresluna.org)
- The tortoise and the hare: will China beat the US in the race back to the moon? (www.theguardian.com)
- Companies are hoarding AI compute because of FOMO and sitting on most of it (www.businessinsider.com)
- The tortoise and the hare: will China beat the US in the race back to the moon? (www.theguardian.com)
- Show HN: Vaava – a baby routine tracker / logging app (www.vaava.app)
- Israeli Tech Exposes Users of Musk's Starlink Satellite-Based Internet (www.haaretz.com)
- Israeli Tech Exposes Users of Musk's Starlink Satellite-Based Internet (www.haaretz.com)
- Show HN: Is he OK? Senior safety monitoring app (howareu.app)
- Show HN: Showing the same info in 248 different UI (whoareyou.infiniwa.com)
- SpaceX's IPO paperwork has landed (www.businessinsider.com)
- Tony Hoare has died (blog.computationalcomplexity.org)
- Tony Hoare has died (lefenetrou.blogspot.com)
- Celebrating Tony Hoare's mark on computer science (bertrandmeyer.com)
- Long division verified via Hoare logic (www.cofault.com)
- The Hoare Cube (johnwickerson.wordpress.com)
- Tony Hoare and His Imprint on Computer Science (cacm.acm.org)
- FFmpeg 8.1 "Hoare" has been released (ffmpeg.org)
- Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
- Show HN: Tiny Hoare logic verifier using SMT (github.com)
- Sir Tony Hoare Obituary (www.theguardian.com)
- Tony Hoare and Negative Space (www.sicpers.info)
- Tony Hoare on record handling. (1965) (dl.acm.org)
- Recursive data structures. (Hoare, 1973) [pdf] (apps.dtic.mil)
- 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
- Null References: The Billion Dollar Mistake – Tony Hoare (www.youtube.com)
- Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
- Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
- Assertions – Tony Hoare – 2001/01 (www.youtube.com)
- Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
- Hoarder: Self-hostable bookmark-everything app (github.com)
- Building a Personal Archive with Hoarder (brainsteam.co.uk)
- Windows 11 24H2 hoards 8.63 GB of junk you can't delete (www.theregister.com)
- A replica of Citizen Quartz watch based on Harel's paper introducing statecharts (andyjakubowski.github.io)