Hackernews posts about Hoare

10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)

2 points by weinzierl 17 days ago | discuss
The Trump-Musk feud exposes America's wealth-hoarding crisis (www.theguardian.com)

11 points by mitchbob 6 days ago | 3 comments
A tour of upcoming RFCs for the Hare programming language (harelang.org)

5 points by todsacerdoti 15 days ago | discuss
Evidence suggests a single hoaxer created 'Piltdown man' (2016) (royalsocietypublishing.org)

5 points by onychomys 28 days ago | discuss
Hare-update assists in addressing breaking changes in your code (harelang.org)

4 points by Bogdanp 6 days ago | discuss
Hare-update assists in addressing breaking changes in your code (harelang.org)

2 points by namanyayg 4 days ago | discuss
Cut Across, Hare (medium.com)

1 points by bryanrasmussen 10 days ago | discuss
Collector's Couch: How Does Collecting Differ Psychologically from Hoarding? (www.sothebys.com)

1 points by ohjeez 21 days ago | discuss
I Am So Tired

14 points by Piko 2 days ago | 6 comments
OSINTGraph – Map Your Target's Instagram Network and Uncover Hidden Circles

4 points by Osintgraph 21 days ago | discuss
Show HN: Sunchay – a universal bookmarker that lets you peek inside your brain (www.sunchay.com)

1 points by panchamk 20 days ago | discuss
The child-like role of dogs in Western societies (econtent.hogrefe.com)

77 points by IndrekR 8 days ago | 179 comments
Why Isn't Anyone Watching Apple TV's 'The Studio?' (www.haaretz.com)

6 points by wslh 8 days ago | 8 comments
Collecting all 242 regional treasures in Pikmin 2 (US, JP, EU) (sethmlarson.dev)

5 points by SethMLarson 14 days ago | discuss
OpenWrt on RPi: Hacking with Frida (zetier.com)

3 points by harepods 30 days ago | 1 comments
India's iPhone exports to the U.S. soared an estimated 76% (www.cnbc.com)

4 points by Brajeshwar 20 days ago | discuss
Ask HN: Difference between decaf and regular coffee as a customer at Starbucks?

1 points by instagib 15 days ago | 1 comments
It's about Time (www.roarepally.com)

1 points by ro_arepally 7 days ago | discuss
Trump Media to raise $2.5B to buy Bitcoin (finance.yahoo.com)

3 points by soared 21 days ago | discuss
Exploring Origins of Football Clubs, a Website for Football History Fans (tactical-touch.com)

2 points by shoarek 14 days ago | 1 comments
Long division verified via Hoare logic (www.cofault.com)

114 points by ndanilov 4 months ago | 60 comments
The Hoare Cube (johnwickerson.wordpress.com)

86 points by matt_d 6 months ago | 23 comments
C. Hoare: Hints on programming language design (1973) [pdf] (flint.cs.yale.edu)

30 points by hazelnut-tree almost 2 years ago | 6 comments
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)

6 points by mechtaev 3 months ago | discuss
Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)

3 points by wslh 4 months ago | discuss
Rust for "modern" C++ devs – Graydon Hoare, March 2022 [pdf] (venge.net)

2 points by hyperluz over 1 year ago | discuss
Assertions – Tony Hoare – 2001/01 (www.youtube.com)

1 points by fuzztester 4 months ago | discuss
Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf] (d22yoqkt46k26p.cloudfront.net)

1 points by ozten about 1 year ago | discuss
Concurrency Panel Discussion with Tony Hoare, Joe Armstrong, Carl Hewitt (2019) (www.erlang-solutions.com)

1 points by tosh over 1 year ago | discuss
Former BCPL compiler maintainer Simon Langley has died

16 points by kevthecoder 2 months ago | discuss
Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)

4 points by TaurenHunter 5 months ago | 1 comments
The Emperor's Old Clothes (1981) [pdf] (worrydream.com)

3 points by tosh over 1 year ago | 2 comments
Hoarder: Self-hostable bookmark-everything app (github.com)

475 points by thunderbong 6 months ago | 106 comments
Hoard of coins from Norman Conquest is Britain's most valuable treasure find (www.cnn.com)

162 points by ChumpGPT 8 months ago | 82 comments
Show HN: Media Hoarder v1.4.0 Supporting TV Series, Introducing Episode Heatmaps (github.com)

152 points by MK2k 9 months ago | 70 comments
Building a Personal Archive with Hoarder (brainsteam.co.uk)

152 points by edward 3 months ago | 21 comments
Windows 11 24H2 hoards 8.63 GB of junk you can't delete (www.theregister.com)

151 points by LinuxBender 8 months ago | 195 comments
What’s causing the rise of hoarding disorder? (2019) (daily.jstor.org)

128 points by rntn almost 2 years ago | 214 comments
A new product that solves your tab hoarding problem and forgotten saved items (getstasher.com)

101 points by aymanalrifai 6 months ago | 7 comments
When allocators are hoarding your precious memory (2021) (www.algolia.com)

94 points by marcodiego over 1 year ago | 59 comments
Porting Hare to OpenBSD (harelang.org)

84 points by mfru over 1 year ago | 11 comments
The Inchtuthil Nail Hoard (www.scottishhistory.org)

80 points by Luc about 1 month ago | 27 comments
My Impressions of Hare (vfoley.xyz)

71 points by todsacerdoti over 1 year ago | 18 comments
Hoxne Hoard (en.wikipedia.org)

67 points by diodorus over 1 year ago | 32 comments
School shooting hoaxes have terrorized kids across U.S. (www.washingtonpost.com)

60 points by anjel over 1 year ago | 116 comments
The Hare Programming Language (harelang.org)

35 points by marcodiego over 1 year ago | 1 comments
Tortoise Mode vs. Hare Mode (www.autodidacts.io)

33 points by surprisetalk about 2 months ago | 2 comments
Four co's are hoarding billions worth of Nvidia GPU chips. Meta has 350K of them (sherwood.news)

27 points by SurfTokyo 11 months ago | 15 comments
Buffett is hoarding $188B in cash in short term Tbills collecting 5.4% (twitter.com)

21 points by wslh about 1 year ago | 14 comments
The Hare programming language now supports OpenBSD (fosstodon.org)

20 points by smlavine over 1 year ago | discuss