Hackernews posts about Tony Hoare
- Tony Hoare has died (blog.computationalcomplexity.org)
- Tony Hoare has died (lefenetrou.blogspot.com)
- Celebrating Tony Hoare's mark on computer science (bertrandmeyer.com)
- Tony Hoare and His Imprint on Computer Science (cacm.acm.org)
- Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
- Tony Hoare and Negative Space (www.sicpers.info)
- Tony Hoare on record handling. (1965) (dl.acm.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)
- Show HN: Tiny Hoare logic verifier using SMT (github.com)