Hackernews posts about Hoare

1. Ask HN: Do you also "hoard" notes/links but struggle to turn them into actions?
   235 points by item007 22 days ago | 217 comments
2. Hare 0.26.0 Released (harelang.org)
   6 points by birdculture 7 days ago | 1 comments
3. AI giants are hoarding memory chips, pushing prices to hyperinflation levels (www.latimes.com)
   5 points by 1vuio0pswjnm7 4 days ago | 1 comments
4. Amazon's DNA: Why Hoarding Cash Is Secondary to Building Empires (seekingalpha.com)
   3 points by petethomas 6 days ago | discuss
5. Hare 0.26.0 Released (harelang.org)
   3 points by todsacerdoti 9 days ago | discuss
6. Ask HN: Help me find an old Atari 800/800XL program – "Tortoise and the Hare"
   2 points by itay-maman 13 days ago | 2 comments
7. Show HN: HareBoy – A Game Boy emulator written in Hare (github.com)
   2 points by drpaneas 7 days ago | discuss
8. VS Code for Linux may be hoarding trashed files (www.theregister.com)
   2 points by u1hcw9nx 17 days ago | discuss
9. Silicon Valley Is Hoarding Technical PhDs (homeeconomics.substack.com)
   1 points by aziz_sunderji 2 days ago | 1 comments
10. Show HN: Sigilla – Spaced repetition for browser tabs (stop hoarding)
    1 points by northerndev 11 days ago | 1 comments
11. American Humanities Profs Are Like Israeli Haredim (whatiscalledthinking.substack.com)
    1 points by Philosopheril 4 days ago | discuss
12. Device Hoarding and the Obligation to Consume (curtismchale.ca)
    1 points by ingve 7 days ago | discuss
13. Show HN: I built a no-sign up extension to help tab hoarders(Vanilla JavaScript) (chromewebstore.google.com)
    1 points by sanjayreddy571 28 days ago | discuss
14. Show HN: Folion – Local-first Windows file search with a semantic RAG layer
    1 points by Ranuja01 19 days ago | discuss
15. IDF Accepts Gaza Health Ministry Death Toll of 71,000 Palestinians Killed (www.haaretz.com)
    9 points by ceejayoz 18 days ago | discuss
16. Israeli Firms Turn Connected Cars into Surveillance Tools (www.palestinechronicle.com)
    5 points by Qem 3 days ago | 1 comments
17. Your Car Is Spying on You (www.haaretz.com)
    5 points by CGMthrowaway 5 days ago | 1 comments
18. Phishing Detection NLP Heuristic: Prototype Achieves 60% Detection Rate (horeszko.ca)
    2 points by horeszko 4 days ago | discuss
19. Ministry of Justice orders deletion of the UK's largest court reporting database (www.legalcheek.com)
    522 points by harel 6 days ago | 346 comments
20. Synthesizer Cartridge for the Atari 2600 (www.qotile.net)
    37 points by harel 14 days ago | 15 comments
21. Peter Thiel warns the Antichrist and apocalypse linked to the 'end of modernity' (fortune.com)
    12 points by soared 17 days ago | 4 comments
22. Long division verified via Hoare logic (www.cofault.com)
    114 points by ndanilov 12 months ago | 60 comments
23. The Hoare Cube (johnwickerson.wordpress.com)
    86 points by matt_d about 1 year ago | 23 comments
24. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
    13 points by fanf2 7 months ago | 1 comments
25. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin 8 months ago | 1 comments
26. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points by mechtaev 11 months ago | discuss
27. Tony Hoare and Negative Space (www.sicpers.info)
    3 points by ingve 3 months ago | discuss
28. A contribution to the development of Algol. (Algol W, Wirth and Hoare) (dl.acm.org)
    3 points by fanf2 5 months ago | discuss
29. Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)
    3 points by wslh 12 months ago | discuss
30. Tony Hoare on record handling. (1965) (dl.acm.org)
    2 points by fanf2 6 months ago | 1 comments
31. Recursive data structures. (Hoare, 1973) [pdf] (apps.dtic.mil)
    2 points by fanf2 5 months ago | discuss
32. 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
    2 points by weinzierl 9 months ago | discuss
33. Null References: The Billion Dollar Mistake – Tony Hoare (www.youtube.com)
    1 points by Brysonbw 2 months ago | discuss
34. Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
    1 points by fanf2 5 months ago | discuss
35. Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
    1 points by fanf2 6 months ago | discuss
36. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester about 1 year ago | discuss
37. Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf] (d22yoqkt46k26p.cloudfront.net)
    1 points by ozten almost 2 years ago | discuss
38. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder 11 months ago | discuss
39. Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
    4 points by TaurenHunter about 1 year ago | 1 comments
40. Hoarder: Self-hostable bookmark-everything app (github.com)
    475 points by thunderbong about 1 year ago | 106 comments
41. 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
42. 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
43. Building a Personal Archive with Hoarder (brainsteam.co.uk)
    152 points by edward 11 months ago | 21 comments
44. 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
45. A replica of Citizen Quartz watch based on Harel's paper introducing statecharts (andyjakubowski.github.io)
    146 points by all2 5 months ago | 22 comments
46. A tab hoarder's journey to sanity (twitter.com)
    106 points by borisandcrispin about 2 months ago | 123 comments
47. A new product that solves your tab hoarding problem and forgotten saved items (getstasher.com)
    101 points by aymanalrifai about 1 year ago | 7 comments
48. The Inchtuthil Nail Hoard (www.scottishhistory.org)
    80 points by Luc 10 months ago | 27 comments
49. Viking-Age hoard reveals trade between England and the Islamic World (www.heritagedaily.com)
    69 points by bookofjoe 6 months ago | 58 comments
50. The cleaner: One woman’s mission to help Britain’s hoarders (www.aljazeera.com)
    66 points by Qem about 1 month ago | 74 comments
51. Crypto hoarders dump tokens as shares tumble (arstechnica.com)
    42 points by Bender 3 months ago | 62 comments