Hackernews posts about Hoare

1. A contribution to the development of Algol. (Algol W, Wirth and Hoare) (dl.acm.org)
   3 points by fanf2 3 days ago | discuss
2. Recursive data structures. (Hoare, 1973) [pdf] (apps.dtic.mil)
   2 points by fanf2 9 days ago | discuss
3. Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
   1 points by fanf2 1 day ago | discuss
4. Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
   1 points by fanf2 30 days ago | discuss
5. A replica of Citizen Quartz watch based on Harel's paper introducing statecharts (andyjakubowski.github.io)
   146 points by all2 10 days ago | 22 comments
6. Hare, the 100-Year Language (www.youtube.com)
   4 points by fuzztester 13 days ago | 1 comments
7. Scientists once hoarded pre-nuclear steel; now we're hoarding pre-AI content (arstechnica.com)
   4 points by deegles 8 days ago | discuss
8. Have you heared about shadow banned?
   3 points by viadm_co 25 days ago | 3 comments
9. Shares in Bitcoin hoarders sink as 'crypto treasury' mania sours (www.ft.com)
   3 points by 1vuio0pswjnm7 28 days ago | 1 comments
10. Shares in Bitcoin hoarders sink as 'crypto treasury' mania sours (www.ft.com)
    3 points by petethomas 28 days ago | discuss
11. Builtwithhare.org – various projects built with the Hare programming language (builtwithhare.org)
    1 points by TheWiggles 25 days ago | discuss
12. Ask HN: Has the Gaza war affected the HN crowd?
    47 points by padraic7a 28 days ago | 61 comments
13. Utah addresses are Cartesian. Google does not grok
    2 points by pesoneto 12 days ago | 10 comments
14. Show HN: Gooder News: rewrite headlines as a golden retriever, Spock, or caveman (gooder.news)
    1 points by Skidaddle about 20 hours ago | discuss
15. Show HN: Rclone UI – GUI Storage Manager (github.com)
    1 points by ftchd 7 days ago | discuss
16. Show HN: Spyc – Privacy-First Investment Tracker for DIY Portfolio and Net Worth (spyc.io)
    1 points by lykhonis 22 days ago | discuss
17. An Israeli Judge Frees a Settler Who Killed a Palestinian for No Reason (www.haaretz.com)
    12 points by proshno 19 days ago | discuss
18. AI model trapped in a Raspberry Pi (blog.adafruit.com)
    132 points by harel 11 days ago | 100 comments
19. Galileo Bad, Archimedes Good (intellectualmathematics.com)
    24 points by hoerensagen 10 days ago | 13 comments
20. Show HN: Free AI Prompt Hub (cvibe.dev)
    2 points by harelush99 23 days ago | 1 comments
21. Show HN: Cvibe is an new standard to share prompts worldwide (cvibe.dev)
    1 points by harelush99 29 days ago | discuss
22. Can We Survive AI? A Conversation with Eliezer Yudkowsky and Nate Soares (samharris.substack.com)
    2 points by mhb 22 days ago | discuss
23. AI armageddon? Assessing the threat from artificial general intelligence (www.the-tls.com)
    3 points by cmsefton 21 days ago | discuss
24. A.I. Bots or Us: Who Will End Humanity First? (www.nytimes.com)
    2 points by bookofjoe 14 days ago | 1 comments
25. Impact of chatbots on mental health is warning over future of AI, expert says (www.theguardian.com)
    2 points by JeanKage 27 days ago | 1 comments
26. World Lung Cancer Expert Diagnosed with Advanced Lung Cancer (news.cuanschutz.edu)
    12 points by soared 29 days ago | 3 comments
27. Long division verified via Hoare logic (www.cofault.com)
    114 points by ndanilov 7 months ago | 60 comments
28. The Hoare Cube (johnwickerson.wordpress.com)
    86 points by matt_d 10 months ago | 23 comments
29. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
    13 points by fanf2 2 months ago | 1 comments
30. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin 4 months ago | 1 comments
31. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points by mechtaev 7 months ago | discuss
32. Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)
    3 points by wslh 8 months ago | discuss
33. Tony Hoare on record handling. (1965) (dl.acm.org)
    2 points by fanf2 about 2 months ago | 1 comments
34. 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
    2 points by weinzierl 4 months ago | discuss
35. Rust for "modern" C++ devs – Graydon Hoare, March 2022 [pdf] (venge.net)
    2 points by hyperluz almost 2 years ago | discuss
36. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester 8 months ago | discuss
37. Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf] (d22yoqkt46k26p.cloudfront.net)
    1 points by ozten over 1 year ago | discuss
38. Concurrency Panel Discussion with Tony Hoare, Joe Armstrong, Carl Hewitt (2019) (www.erlang-solutions.com)
    1 points by tosh over 1 year ago | discuss
39. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder 6 months ago | discuss
40. Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
    4 points by TaurenHunter 9 months ago | 1 comments
41. The Emperor's Old Clothes (1981) [pdf] (worrydream.com)
    3 points by tosh over 1 year ago | 2 comments
42. Hoarder: Self-hostable bookmark-everything app (github.com)
    475 points by thunderbong 10 months ago | 106 comments
43. Hoard of coins from Norman Conquest is Britain's most valuable treasure find (www.cnn.com)
    162 points by ChumpGPT 12 months ago | 82 comments
44. Show HN: Media Hoarder v1.4.0 Supporting TV Series, Introducing Episode Heatmaps (github.com)
    152 points by MK2k about 1 year ago | 70 comments
45. Building a Personal Archive with Hoarder (brainsteam.co.uk)
    152 points by edward 7 months ago | 21 comments
46. Windows 11 24H2 hoards 8.63 GB of junk you can't delete (www.theregister.com)
    151 points by Bender 12 months ago | 195 comments
47. A new product that solves your tab hoarding problem and forgotten saved items (getstasher.com)
    101 points by aymanalrifai 10 months ago | 7 comments
48. Porting Hare to OpenBSD (harelang.org)
    84 points by mfru almost 2 years ago | 11 comments
49. The Inchtuthil Nail Hoard (www.scottishhistory.org)
    80 points by Luc 5 months ago | 27 comments
50. My Impressions of Hare (vfoley.xyz)
    71 points by todsacerdoti over 1 year ago | 18 comments
51. Viking-Age hoard reveals trade between England and the Islamic World (www.heritagedaily.com)
    69 points by bookofjoe about 2 months ago | 58 comments
52. The Hare Programming Language (harelang.org)
    35 points by marcodiego over 1 year ago | 1 comments
53. Knowing Steam players are hoarders explains why you give Valve that 30% (www.pcgamer.com)
    33 points by musha68k 3 months ago | 46 comments
54. Tortoise Mode vs. Hare Mode (www.autodidacts.io)
    33 points by surprisetalk 5 months ago | 2 comments
55. 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
56. 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