Hackernews posts about Hoare

1. Tony Hoare has died (blog.computationalcomplexity.org)
   2043 points by speckx 29 days ago | 268 comments
2. Tony Hoare has died (lefenetrou.blogspot.com)
   268 points by nextos 29 days ago | 34 comments
3. Celebrating Tony Hoare's mark on computer science (bertrandmeyer.com)
   140 points by benhoyt 21 days ago | 32 comments
4. Tony Hoare and His Imprint on Computer Science (cacm.acm.org)
   68 points by matt_d 18 days ago | 4 comments
5. FFmpeg 8.1 "Hoare" has been released (ffmpeg.org)
   45 points by jbk 22 days ago | 2 comments
6. FCC chair threatens to throttle news broadcasts over 'hoaxes' about Iran war (www.theguardian.com)
   6 points by kuerbel 24 days ago | 1 comments
7. Internet Archive Faces Copyright Lawsuit over 'Myspace Dragon Hoard' (torrentfreak.com)
   6 points by crtasm 29 days ago | discuss
8. The Life Changing Magic of Hoarding (thenewinquiry.com)
   2 points by jbegley 2 days ago | discuss
9. Linear Types Proposal for Hare (yerinalexey.srht.site)
   1 points by birdculture 6 days ago | discuss
10. The Robotic Tortoise and the Robotic Hare (tomtunguz.com)
    1 points by djoldman 16 days ago | discuss
11. The Robotic Tortoise and the Robotic Hare (tomtunguz.com)
    1 points by dataminer 20 days ago | discuss
12. Launch HN: Didit (YC W26) – Stripe for Identity Verification
    77 points by rosasalberto 29 days ago | 66 comments
13. Show HN: Aethalloc – lock-free Rust memory allocator for Linux (github.com)
    3 points by section_me 21 days ago | 2 comments
14. Show HN: Tidbits – Quick save any text without switching windows (www.tidbits.tools)
    2 points by uglyburger 9 days ago | 1 comments
15. MemX – my AI agent remembers I hate capsicum on pizza
    1 points by mohitbadi 25 days ago | 1 comments
16. IDF Officials Admit Military Struggling to Intercept Hezbollah Drones (www.haaretz.com)
    10 points by johnshades 30 days ago | discuss
17. IDF Air Crew Member Suspected of Betting on Iran War in Polymarket (www.haaretz.com)
    9 points by inaros 10 days ago | 1 comments
18. Ruthless Leader and Brilliant Philosopher: Who Is Ali Larijani? (www.haaretz.com)
    2 points by tartoran 25 days ago | discuss
19. Show HN: daily anonymous question site, and what I'm learning from the responses (howareweall.com)
    1 points by thepsychguy 15 days ago | discuss
20. Careless Whisper – personal local speech to text (github.com)
    5 points by harel 17 days ago | discuss
21. Major security incident in the UK companies house (twitter.com)
    5 points by harel 22 days ago | discuss
22. Play Anthakshari (anthakshari.ai)
    2 points by hareeshimo 11 days ago | discuss
23. Prices for new cars have soared. Here's one big reason why (www.reuters.com)
    4 points by cf100clunk 27 days ago | 4 comments
24. Show HN: Oareo – an iPhone app for scanning rooms into 3D using Lidar
    1 points by gvs46 25 days ago | discuss
25. Improve Battery Life and Performance Using Intel's Battery Life Diagnostic Tool (medium.com)
    2 points by oarevalo 9 days ago | discuss
26. Long division verified via Hoare logic (www.cofault.com)
    114 points by ndanilov about 1 year ago | 60 comments
27. The Hoare Cube (johnwickerson.wordpress.com)
    86 points by matt_d over 1 year ago | 23 comments
28. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
    13 points by fanf2 8 months ago | 1 comments
29. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin 10 months ago | 1 comments
30. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points by mechtaev about 1 year ago | discuss
31. Tony Hoare and Negative Space (www.sicpers.info)
    3 points by ingve 5 months ago | discuss
32. A contribution to the development of Algol. (Algol W, Wirth and Hoare) (dl.acm.org)
    3 points by fanf2 6 months ago | discuss
33. Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)
    3 points by wslh about 1 year ago | discuss
34. Tony Hoare on record handling. (1965) (dl.acm.org)
    2 points by fanf2 8 months ago | 1 comments
35. Recursive data structures. (Hoare, 1973) [pdf] (apps.dtic.mil)
    2 points by fanf2 6 months ago | discuss
36. 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
    2 points by weinzierl 10 months ago | discuss
37. Null References: The Billion Dollar Mistake – Tony Hoare (www.youtube.com)
    1 points by Brysonbw 4 months ago | discuss
38. Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
    1 points by fanf2 6 months ago | discuss
39. Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
    1 points by fanf2 7 months ago | discuss
40. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester about 1 year ago | discuss
41. Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf] (d22yoqkt46k26p.cloudfront.net)
    1 points by ozten almost 2 years ago | discuss
42. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder about 1 year ago | discuss
43. Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
    4 points by TaurenHunter about 1 year ago | 1 comments
44. Hoarder: Self-hostable bookmark-everything app (github.com)
    475 points by thunderbong over 1 year ago | 106 comments
45. Ask HN: Do you also "hoard" notes/links but struggle to turn them into actions?
    235 points by item007 2 months ago | 217 comments
46. 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
47. 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
48. Building a Personal Archive with Hoarder (brainsteam.co.uk)
    152 points by edward about 1 year ago | 21 comments
49. 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
50. A replica of Citizen Quartz watch based on Harel's paper introducing statecharts (andyjakubowski.github.io)
    146 points by all2 6 months ago | 22 comments
51. A tab hoarder's journey to sanity (twitter.com)
    106 points by borisandcrispin 3 months ago | 123 comments
52. A new product that solves your tab hoarding problem and forgotten saved items (getstasher.com)
    101 points by aymanalrifai over 1 year ago | 7 comments
53. The Inchtuthil Nail Hoard (www.scottishhistory.org)
    80 points by Luc 11 months ago | 27 comments
54. Viking-Age hoard reveals trade between England and the Islamic World (www.heritagedaily.com)
    69 points by bookofjoe 8 months ago | 58 comments
55. The cleaner: One woman’s mission to help Britain’s hoarders (www.aljazeera.com)
    66 points by Qem 3 months ago | 74 comments