Hackernews posts about Hoare

1. The Neoclouds Build Cash Hoards Faster Than Revenues (www.nextplatform.com)
   5 points by rbanffy 4 days ago | discuss
2. Show HN: Harness session memory without transcript hoarding (llm-wiki.net)
   5 points by nvk 5 days ago | discuss
3. Talent Hoarding in Organizations (www.aeaweb.org)
   4 points by baxtr 21 days ago | discuss
4. Star Citizen has a disastrously laggy stream with horrendous vibes (www.pcgamer.com)
   3 points by evo_9 3 days ago | discuss
5. Manufactured crisis – Europe's car industry hoards funds, delays climate action (www.somo.nl)
   3 points by tchalla 24 days ago | discuss
6. A Fine balance between curiosity and digital hoarding (libraryofpotential.com)
   3 points by speckx 30 days ago | discuss
7. Show HN: I run 30B 22tok/s, 109tok/s not novel,6GB/16GB RAM overcoming llama.cpp (github.com)
   5 points by federicoTXTS 23 days ago | discuss
8. Show HN: FEDERaiDE, a TUI harness with P2P multi-agent routing and built in IDE (federaide.rocklab.in)
   3 points by petrokitty 9 days ago | discuss
9. A Teenager Exposed the Truth Behind Israel's Gaza 'Voluntary Emigration' Plan (www.haaretz.com)
   9 points by xg15 15 days ago | 2 comments
10. The Swiss Spaghetti Harvest (hoaxes.org)
    3 points by EndXA 20 days ago | discuss
11. Play Anthakshari Online (anthakshari.ai)
    4 points by hareeshimo 4 days ago | discuss
12. US beef prices have soared but farmers aren't making more money (www.bbc.com)
    75 points by tartoran 15 days ago | 133 comments
13. Yudkowsky and Soares' Book Is Lacking (2025) (oscarmdavies.substack.com)
    11 points by measurablefunc 25 days ago | 6 comments
14. Show HN: Coarena - A community-driven arena to benchmark models for computer-use (coarena.ai)
    2 points by nkov47 14 days ago | discuss
15. Settling Scores: Experts Debate Why AP Performance Has Soared (www.the74million.org)
    1 points by jyunwai 25 days ago | discuss
16. Tony Hoare has died (blog.computationalcomplexity.org)
    2043 points by speckx 5 months ago | 268 comments
17. Tony Hoare has died (lefenetrou.blogspot.com)
    268 points by nextos 5 months ago | 34 comments
18. Celebrating Tony Hoare's mark on computer science (bertrandmeyer.com)
    140 points by benhoyt 5 months ago | 32 comments
19. Long division verified via Hoare logic (www.cofault.com)
    114 points by ndanilov over 1 year ago | 60 comments
20. The Hoare Cube (johnwickerson.wordpress.com)
    86 points by matt_d over 1 year ago | 23 comments
21. Tony Hoare and His Imprint on Computer Science (cacm.acm.org)
    68 points by matt_d 5 months ago | 4 comments
22. FFmpeg 8.1 "Hoare" has been released (ffmpeg.org)
    45 points by jbk 5 months ago | 2 comments
23. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
    13 points by fanf2 about 1 year ago | 1 comments
24. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin about 1 year ago | 1 comments
25. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points by mechtaev over 1 year ago | discuss
26. Sir Tony Hoare Obituary (www.theguardian.com)
    3 points by ColinWright 4 months ago | discuss
27. Tony Hoare and Negative Space (www.sicpers.info)
    3 points by ingve 9 months ago | discuss
28. A contribution to the development of Algol. (Algol W, Wirth and Hoare) (dl.acm.org)
    3 points by fanf2 11 months ago | discuss
29. Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)
    3 points by wslh over 1 year ago | discuss
30. Tony Hoare on record handling. (1965) (dl.acm.org)
    2 points by fanf2 about 1 year ago | 1 comments
31. In Memoriam: Car Hoare – Communications of the ACM (cacm.acm.org)
    2 points by furcyd 4 months ago | discuss
32. Recursive data structures. (Hoare, 1973) [pdf] (apps.dtic.mil)
    2 points by fanf2 11 months ago | discuss
33. 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
    2 points by weinzierl about 1 year ago | discuss
34. Null References: The Billion Dollar Mistake – Tony Hoare (www.youtube.com)
    1 points by Brysonbw 8 months ago | discuss
35. Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
    1 points by fanf2 11 months ago | discuss
36. Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
    1 points by fanf2 12 months ago | discuss
37. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester over 1 year ago | discuss
38. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder over 1 year ago | discuss
39. Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
    4 points by TaurenHunter over 1 year ago | 1 comments
40. Record Handling (1966) [pdf] (archive.computerhistory.org)
    1 points by tosh 3 months ago | discuss
41. Hoarder: Self-hostable bookmark-everything app (github.com)
    475 points by thunderbong over 1 year ago | 106 comments
42. Ask HN: Do you also "hoard" notes/links but struggle to turn them into actions?
    235 points by item007 7 months ago | 217 comments
43. Hoard of coins from Norman Conquest is Britain's most valuable treasure find (www.cnn.com)
    162 points by ChumpGPT almost 2 years ago | 82 comments
44. Show HN: Media Hoarder v1.4.0 Supporting TV Series, Introducing Episode Heatmaps (github.com)
    152 points by MK2k almost 2 years ago | 70 comments
45. Building a Personal Archive with Hoarder (brainsteam.co.uk)
    152 points by edward over 1 year ago | 21 comments