Hackernews posts about Hoare

1. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
   13 points by fanf2 24 days ago | 1 comments
2. Tony Hoare on record handling. (1965) (dl.acm.org)
   2 points by fanf2 10 days ago | 1 comments
3. Viking-Age hoard reveals trade between England and the Islamic World (www.heritagedaily.com)
   68 points by bookofjoe 9 days ago | 58 comments
4. Embedding Wren in Hare (drewdevault.com)
   8 points by mrtz 3 days ago | 2 comments
5. William Cowper's pet hares [1784] (cowperandnewtonmuseum.org.uk)
   6 points by quuxplusone 28 days ago | discuss
6. New FBI case files reveal suspects, tips and hoaxes in DB Cooper plane hijacking (www.abc.net.au)
   4 points by austinallegro 4 days ago | discuss
7. The Hare Programming Language (harelang.org)
   3 points by begoon 7 days ago | discuss
8. Ask HN: Approaches to decluttering a disorganised digital hoard?
   2 points by phs318u 6 days ago | 7 comments
9. Show HN: Stop hoarding content – I built a tool to make it useful
   2 points by barnabas-szoke 3 days ago | 4 comments
10. Embedding Wren in Hare (drewdevault.com)
    2 points by als0 1 day ago | 1 comments
11. Embedding Wren in Hare (drewdevault.com)
    1 points by ingve about 8 hours ago | discuss
12. Ancient DNA Studies Find Black Africans in England, in the Early Middle Ages (www.haaretz.com)
    5 points by wslh 11 days ago | 1 comments
13. Emotional Attachment to Digital Assets (en.wikipedia.org)
    2 points by sixthDot 12 days ago | discuss
14. But how do AI images/videos work? – Guest video by ‪ WelchLabsVideo [video] ‬ (www.youtube.com)
    4 points by hoerensagen 27 days ago | discuss
15. CEO pay and stock buybacks have soared at the largest low-wage corporations (ips-dc.org)
    218 points by hhs 2 days ago | 243 comments
16. Figma's stock soared in its highly anticipated IPO,market cap instantly hit $45B (techcrunch.com)
    4 points by pranay01 23 days ago | 1 comments
17. Long division verified via Hoare logic (www.cofault.com)
    114 points by ndanilov 6 months ago | 60 comments
18. The Hoare Cube (johnwickerson.wordpress.com)
    86 points by matt_d 9 months ago | 23 comments
19. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin 2 months ago | 1 comments
20. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points by mechtaev 5 months ago | discuss
21. Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)
    3 points by wslh 6 months ago | discuss
22. 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
    2 points by weinzierl 3 months ago | discuss
23. Rust for "modern" C++ devs – Graydon Hoare, March 2022 [pdf] (venge.net)
    2 points by hyperluz over 1 year ago | discuss
24. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester 6 months ago | discuss
25. Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf] (d22yoqkt46k26p.cloudfront.net)
    1 points by ozten over 1 year ago | discuss
26. Concurrency Panel Discussion with Tony Hoare, Joe Armstrong, Carl Hewitt (2019) (www.erlang-solutions.com)
    1 points by tosh over 1 year ago | discuss
27. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder 5 months ago | discuss
28. Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
    4 points by TaurenHunter 7 months ago | 1 comments
29. The Emperor's Old Clothes (1981) [pdf] (worrydream.com)
    3 points by tosh over 1 year ago | 2 comments
30. Hoarder: Self-hostable bookmark-everything app (github.com)
    475 points by thunderbong 8 months ago | 106 comments
31. Hoard of coins from Norman Conquest is Britain's most valuable treasure find (www.cnn.com)
    162 points by ChumpGPT 10 months ago | 82 comments
32. Show HN: Media Hoarder v1.4.0 Supporting TV Series, Introducing Episode Heatmaps (github.com)
    152 points by MK2k 11 months ago | 70 comments
33. Building a Personal Archive with Hoarder (brainsteam.co.uk)
    152 points by edward 5 months ago | 21 comments
34. Windows 11 24H2 hoards 8.63 GB of junk you can't delete (www.theregister.com)
    151 points by Bender 11 months ago | 195 comments
35. A new product that solves your tab hoarding problem and forgotten saved items (getstasher.com)
    101 points by aymanalrifai 8 months ago | 7 comments
36. When allocators are hoarding your precious memory (2021) (www.algolia.com)
    94 points by marcodiego almost 2 years ago | 59 comments
37. Porting Hare to OpenBSD (harelang.org)
    84 points by mfru over 1 year ago | 11 comments
38. The Inchtuthil Nail Hoard (www.scottishhistory.org)
    80 points by Luc 4 months ago | 27 comments
39. My Impressions of Hare (vfoley.xyz)
    71 points by todsacerdoti over 1 year ago | 18 comments
40. Hoxne Hoard (en.wikipedia.org)
    67 points by diodorus almost 2 years ago | 32 comments
41. School shooting hoaxes have terrorized kids across U.S. (www.washingtonpost.com)
    60 points by anjel almost 2 years ago | 116 comments
42. The Hare Programming Language (harelang.org)
    35 points by marcodiego over 1 year ago | 1 comments
43. Knowing Steam players are hoarders explains why you give Valve that 30% (www.pcgamer.com)
    33 points by musha68k about 2 months ago | 46 comments
44. Tortoise Mode vs. Hare Mode (www.autodidacts.io)
    33 points by surprisetalk 4 months ago | 2 comments
45. Four co's are hoarding billions worth of Nvidia GPU chips. Meta has 350K of them (sherwood.news)
    27 points by SurfTokyo about 1 year ago | 15 comments
46. Buffett is hoarding $188B in cash in short term Tbills collecting 5.4% (twitter.com)
    21 points by wslh over 1 year ago | 14 comments