Hackernews posts about Hoare
- Tony Hoare and Negative Space (www.sicpers.info)
- The Hare Programming Language (harelang.org)
- Gigantic VHS videotape hoard of videos being given away for free (www.tomshardware.com)
- Gigantic VHS videotape hoard of videos being given away free (www.tomshardware.com)
- Teeming.ai Puzzle of the Week – "The Atomic Tortoise and the Superluminal Hare" (teemingai.substack.com)
- Israel is attempting to influence ChatGPT and Claude responses (www.haaretz.com)
- The Elite Iranian Cyber Unit Targeting Israel (www.haaretz.com)
- Iframe with Hot Reload for Code Agents (github.com)
- Iframe with Hot-Relod (github.com)
- Anthakshari AI (anthakshari.ai)
- A Letter from Leonard Tramiel (www.facebook.com)
- Long division verified via Hoare logic (www.cofault.com)
- The Hoare Cube (johnwickerson.wordpress.com)
- Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
- Show HN: Tiny Hoare logic verifier using SMT (github.com)
- 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)
- 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)
- Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf] (d22yoqkt46k26p.cloudfront.net)
- Concurrency Panel Discussion with Tony Hoare, Joe Armstrong, Carl Hewitt (2019) (www.erlang-solutions.com)
- Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
- The Emperor's Old Clothes (1981) [pdf] (worrydream.com)
- 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)
- Porting Hare to OpenBSD (harelang.org)
- The Inchtuthil Nail Hoard (www.scottishhistory.org)
- My Impressions of Hare (vfoley.xyz)
- Viking-Age hoard reveals trade between England and the Islamic World (www.heritagedaily.com)