Hackernews posts about Hoare

1. Tony Hoare and Negative Space (www.sicpers.info)
   3 points by ingve 10 days ago | discuss
2. The Hare Programming Language (harelang.org)
   10 points by Lyngbakr 7 days ago | discuss
3. Gigantic VHS videotape hoard of videos being given away for free (www.tomshardware.com)
   8 points by doener 5 days ago | 8 comments
4. Passively capture, archive, and hoard your web browsing history (oxij.org)
   4 points by 1gn15 28 days ago | discuss
5. Gigantic VHS videotape hoard of videos being given away free (www.tomshardware.com)
   1 points by naves 1 day ago | 2 comments
6. Teeming.ai Puzzle of the Week – "The Atomic Tortoise and the Superluminal Hare" (teemingai.substack.com)
   1 points by tompccs 25 days ago | discuss
7. When the Firefighter Looks Like the Arsonist: AI Safety Needs IRL Accountability
   4 points by fawkesg 12 days ago | discuss
8. Israel is attempting to influence ChatGPT and Claude responses (www.haaretz.com)
   16 points by willahmad 15 days ago | 1 comments
9. The Elite Iranian Cyber Unit Targeting Israel (www.haaretz.com)
   3 points by jonyt 2 days ago | 1 comments
10. Iframe with Hot Reload for Code Agents (github.com)
    2 points by gabyword 5 days ago | discuss
11. Iframe with Hot-Relod (github.com)
    2 points by gabyword 24 days ago | discuss
12. A minimal and self-contained system for local preview environments (github.com)
    1 points by gabyword about 14 hours ago | discuss
13. Anthakshari AI (anthakshari.ai)
    2 points by hareeshimo 6 days ago | 1 comments
14. A Letter from Leonard Tramiel (www.facebook.com)
    1 points by harel 22 days ago | discuss
15. Kilauea's lava soared as high as a skyscraper during a 6-hour eruption (www.sfgate.com)
    4 points by PaulHoule 26 days ago | discuss
16. Why car insurance costs have soared (and what drivers are doing about it) (text.npr.org)
    2 points by kianN 23 days ago | discuss
17. Long division verified via Hoare logic (www.cofault.com)
    114 points by ndanilov 9 months ago | 60 comments
18. The Hoare Cube (johnwickerson.wordpress.com)
    86 points by matt_d 12 months ago | 23 comments
19. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
    13 points by fanf2 4 months ago | 1 comments
20. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin 5 months ago | 1 comments
21. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points by mechtaev 8 months ago | discuss
22. A contribution to the development of Algol. (Algol W, Wirth and Hoare) (dl.acm.org)
    3 points by fanf2 about 2 months ago | discuss
23. Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)
    3 points by wslh 9 months ago | discuss
24. Tony Hoare on record handling. (1965) (dl.acm.org)
    2 points by fanf2 3 months ago | 1 comments
25. Recursive data structures. (Hoare, 1973) [pdf] (apps.dtic.mil)
    2 points by fanf2 about 2 months ago | discuss
26. 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
    2 points by weinzierl 6 months ago | discuss
27. Rust for "modern" C++ devs – Graydon Hoare, March 2022 [pdf] (venge.net)
    2 points by hyperluz almost 2 years ago | discuss
28. Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
    1 points by fanf2 about 2 months ago | discuss
29. Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
    1 points by fanf2 2 months ago | discuss
30. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester 9 months ago | discuss
31. Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf] (d22yoqkt46k26p.cloudfront.net)
    1 points by ozten over 1 year ago | discuss
32. Concurrency Panel Discussion with Tony Hoare, Joe Armstrong, Carl Hewitt (2019) (www.erlang-solutions.com)
    1 points by tosh almost 2 years ago | discuss
33. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder 8 months ago | discuss
34. Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
    4 points by TaurenHunter 10 months ago | 1 comments
35. The Emperor's Old Clothes (1981) [pdf] (worrydream.com)
    3 points by tosh almost 2 years ago | 2 comments
36. Hoarder: Self-hostable bookmark-everything app (github.com)
    475 points by thunderbong 11 months ago | 106 comments
37. Hoard of coins from Norman Conquest is Britain's most valuable treasure find (www.cnn.com)
    162 points by ChumpGPT about 1 year ago | 82 comments
38. Show HN: Media Hoarder v1.4.0 Supporting TV Series, Introducing Episode Heatmaps (github.com)
    152 points by MK2k about 1 year ago | 70 comments
39. Building a Personal Archive with Hoarder (brainsteam.co.uk)
    152 points by edward 8 months ago | 21 comments
40. Windows 11 24H2 hoards 8.63 GB of junk you can't delete (www.theregister.com)
    151 points by Bender about 1 year ago | 195 comments
41. A replica of Citizen Quartz watch based on Harel's paper introducing statecharts (andyjakubowski.github.io)
    146 points by all2 about 2 months ago | 22 comments
42. A new product that solves your tab hoarding problem and forgotten saved items (getstasher.com)
    101 points by aymanalrifai 11 months ago | 7 comments
43. Porting Hare to OpenBSD (harelang.org)
    84 points by mfru almost 2 years ago | 11 comments
44. The Inchtuthil Nail Hoard (www.scottishhistory.org)
    80 points by Luc 7 months ago | 27 comments
45. My Impressions of Hare (vfoley.xyz)
    71 points by todsacerdoti almost 2 years ago | 18 comments
46. Viking-Age hoard reveals trade between England and the Islamic World (www.heritagedaily.com)
    69 points by bookofjoe 3 months ago | 58 comments