Hackernews posts about Tony Hoare

1. Tony Hoare has died (blog.computationalcomplexity.org)
   2040 points by speckx 11 days ago | 266 comments
2. Tony Hoare has died (lefenetrou.blogspot.com)
   268 points by nextos 12 days ago | 34 comments
3. Celebrating Tony Hoare's mark on computer science (bertrandmeyer.com)
   138 points by benhoyt 3 days ago | 32 comments
4. Tony Hoare and His Imprint on Computer Science (cacm.acm.org)
   6 points by matt_d about 19 hours ago | 1 comments
5. MemX – my AI agent remembers I hate capsicum on pizza
   1 points by mohitbadi 7 days ago | 1 comments
6. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
   13 points by fanf2 8 months ago | 1 comments
7. Tony Hoare and Negative Space (www.sicpers.info)
   3 points by ingve 4 months ago | discuss
8. Tony Hoare on record handling. (1965) (dl.acm.org)
   2 points by fanf2 7 months ago | 1 comments
9. Null References: The Billion Dollar Mistake – Tony Hoare (www.youtube.com)
   1 points by Brysonbw 3 months ago | discuss
10. Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
    1 points by fanf2 6 months ago | discuss
11. Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
    1 points by fanf2 6 months ago | discuss
12. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester about 1 year ago | discuss
13. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder 12 months ago | discuss
14. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin 9 months ago | 1 comments
15. I Am So Tired
    14 points by Piko 9 months ago | 6 comments
16. I'm Fucked
    8 points by thenooby over 1 year ago | 8 comments