Hackernews posts about Hoare

1. In Memoriam: Car Hoare – Communications of the ACM (cacm.acm.org)
   2 points by furcyd 26 days ago | discuss
2. Record Handling (1966) [pdf] (archive.computerhistory.org)
   1 points by tosh 14 days ago | discuss
3. The tortoise and the hare live on (unsung.aresluna.org)
   4 points by CharlesW 22 days ago | discuss
4. The tortoise and the hare: will China beat the US in the race back to the moon? (www.theguardian.com)
   3 points by pseudolus 26 days ago | discuss
5. Companies are hoarding AI compute because of FOMO and sitting on most of it (www.businessinsider.com)
   2 points by berkeleyjunk 25 days ago | 1 comments
6. The tortoise and the hare: will China beat the US in the race back to the moon? (www.theguardian.com)
   2 points by PaulHoule 9 days ago | discuss
7. Single-layer transformer model "HarEmb" showcasing PII SOTA performance (huggingface.co)
   1 points by fblgit 18 days ago | 1 comments
8. Bad Connection: Global telecom exploitation by covert surveillance actors (citizenlab.ca)
   210 points by miohtama 20 days ago | 24 comments
9. Show HN: Vaava – a baby routine tracker / logging app (www.vaava.app)
   2 points by jkantola 25 days ago | 1 comments
10. I created a 126K line Android app with AI – the workflow that worked for me
    2 points by sminchev 4 days ago | discuss
11. Show HN: Linlore – Defending human existence, one question at a time (linlore.com)
    2 points by calinf 16 days ago | discuss
12. Show HN: Rethinking browser tabs to treat too many tabs open (github.com)
    1 points by moogas 27 days ago | discuss
13. Israeli Tech Exposes Users of Musk's Starlink Satellite-Based Internet (www.haaretz.com)
    11 points by bhouston 9 days ago | 3 comments
14. Israeli Tech Exposes Users of Musk's Starlink Satellite-Based Internet (www.haaretz.com)
    6 points by pnw 11 days ago | discuss
15. Starlink users can be located and sometimes identified through terminal mapping (www.haaretz.com)
    4 points by puttycat 11 days ago | 3 comments
16. Show HN: Is he OK? Senior safety monitoring app (howareu.app)
    1 points by sminchev 13 days ago | discuss
17. Show HN: Showing the same info in 248 different UI (whoareyou.infiniwa.com)
    4 points by ym705 9 days ago | discuss
18. SpaceX's IPO paperwork has landed (www.businessinsider.com)
    4 points by soared 2 days ago | 3 comments
19. Tony Hoare has died (blog.computationalcomplexity.org)
    2043 points by speckx 2 months ago | 268 comments
20. Tony Hoare has died (lefenetrou.blogspot.com)
    268 points by nextos 2 months ago | 34 comments
21. Celebrating Tony Hoare's mark on computer science (bertrandmeyer.com)
    140 points by benhoyt 2 months ago | 32 comments
22. Long division verified via Hoare logic (www.cofault.com)
    114 points by ndanilov about 1 year ago | 60 comments
23. The Hoare Cube (johnwickerson.wordpress.com)
    86 points by matt_d over 1 year ago | 23 comments
24. Tony Hoare and His Imprint on Computer Science (cacm.acm.org)
    68 points by matt_d 2 months ago | 4 comments
25. FFmpeg 8.1 "Hoare" has been released (ffmpeg.org)
    45 points by jbk 2 months ago | 2 comments
26. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
    13 points by fanf2 10 months ago | 1 comments
27. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin 11 months ago | 1 comments
28. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points by mechtaev about 1 year ago | discuss
29. Sir Tony Hoare Obituary (www.theguardian.com)
    3 points by ColinWright about 1 month ago | discuss
30. Tony Hoare and Negative Space (www.sicpers.info)
    3 points by ingve 6 months ago | discuss
31. A contribution to the development of Algol. (Algol W, Wirth and Hoare) (dl.acm.org)
    3 points by fanf2 8 months ago | discuss
32. Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)
    3 points by wslh about 1 year ago | discuss
33. Tony Hoare on record handling. (1965) (dl.acm.org)
    2 points by fanf2 9 months ago | 1 comments
34. Recursive data structures. (Hoare, 1973) [pdf] (apps.dtic.mil)
    2 points by fanf2 8 months ago | discuss
35. 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
    2 points by weinzierl 12 months ago | discuss
36. Null References: The Billion Dollar Mistake – Tony Hoare (www.youtube.com)
    1 points by Brysonbw 5 months ago | discuss
37. Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
    1 points by fanf2 8 months ago | discuss
38. Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
    1 points by fanf2 9 months ago | discuss
39. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester over 1 year ago | discuss
40. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder about 1 year ago | discuss
41. Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
    4 points by TaurenHunter over 1 year ago | 1 comments
42. Hoarder: Self-hostable bookmark-everything app (github.com)
    475 points by thunderbong over 1 year ago | 106 comments
43. Ask HN: Do you also "hoard" notes/links but struggle to turn them into actions?
    235 points by item007 4 months ago | 217 comments
44. Hoard of coins from Norman Conquest is Britain's most valuable treasure find (www.cnn.com)
    162 points by ChumpGPT over 1 year ago | 82 comments
45. Show HN: Media Hoarder v1.4.0 Supporting TV Series, Introducing Episode Heatmaps (github.com)
    152 points by MK2k over 1 year ago | 70 comments
46. Building a Personal Archive with Hoarder (brainsteam.co.uk)
    152 points by edward about 1 year ago | 21 comments
47. Windows 11 24H2 hoards 8.63 GB of junk you can't delete (www.theregister.com)
    151 points by Bender over 1 year ago | 195 comments
48. A replica of Citizen Quartz watch based on Harel's paper introducing statecharts (andyjakubowski.github.io)
    146 points by all2 8 months ago | 22 comments