Hackernews posts about Hoare

  1. Null References: The Billion Dollar Mistake – Tony Hoare (www.youtube.com)
    1 points by Brysonbw 16 days ago | discuss
  2. The Dark Data Tax: How Hoarding is Poisoning Your AI (www.dataengineeringweekly.com)
    2 points by saikatsg 15 days ago | discuss
  3. Show HN: Tab Tangle a browser extension to help clean up tab hoarding
    1 points by langarus 21 days ago | discuss
  4. Stop Hoarding Tasks Like They're Canned Peaches for the Apocalypse (humanework.substack.com)
    1 points by flail 26 days ago | discuss
  5. Show HN: Kill List–A local-first PWA where tasks deletes if not done by midnight (killlist-production.up.railway.app)
    3 points by msldiarra 12 days ago | 5 comments
  6. LastChance.Editor
    1 points by allmaxdreams 18 days ago | discuss
  7. Why Stocktwits Still Has Bots
    1 points by saveontrading 29 days ago | discuss
  8. Americans are holding onto devices longer than ever and it's costing the economy (www.cnbc.com)
    6 points by pickledonions49 28 days ago | 7 comments
  9. Mq – jq-like command-line tool for Markdown processing (github.com)
    6 points by lemming 12 days ago | discuss
  10. Humane Guidelines for Computer Usage and Design (horeszko.ca)
    2 points by horeszko 5 days ago | discuss
  11. Dittytoy – Generative Music Playground (dittytoy.net)
    10 points by harel 7 days ago | 1 comments
  12. Anthakshari AI (anthakshari.ai)
    2 points by hareeshimo 20 days ago | discuss
  13. Long division verified via Hoare logic (www.cofault.com)
    114 points by ndanilov 10 months ago | 60 comments
  14. The Hoare Cube (johnwickerson.wordpress.com)
    86 points by matt_d about 1 year ago | 23 comments
  15. Tony Hoare on record handling. (1966) [pdf] (archive.computerhistory.org)
    13 points by fanf2 5 months ago | 1 comments
  16. Show HN: Tiny Hoare logic verifier using SMT (github.com)
    12 points by namin 7 months ago | 1 comments
  17. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com)
    6 points by mechtaev 10 months ago | discuss
  18. Tony Hoare and Negative Space (www.sicpers.info)
    3 points by ingve about 2 months ago | discuss
  19. A contribution to the development of Algol. (Algol W, Wirth and Hoare) (dl.acm.org)
    3 points by fanf2 3 months ago | discuss
  20. Why Graydon Hoare, the author of Rust, stopped contributing into it? (2018) (old.reddit.com)
    3 points by wslh 11 months ago | discuss
  21. Tony Hoare on record handling. (1965) (dl.acm.org)
    2 points by fanf2 5 months ago | 1 comments
  22. Recursive data structures. (Hoare, 1973) [pdf] (apps.dtic.mil)
    2 points by fanf2 3 months ago | discuss
  23. 10 Years of Stable Rust: An Infrastructure Story (By Graydon Hoare) (rustfoundation.org)
    2 points by weinzierl 7 months ago | discuss
  24. Tony Hoare's hints on programming language design [pdf] (i.stanford.edu)
    1 points by fanf2 3 months ago | discuss
  25. Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)
    1 points by fanf2 4 months ago | discuss
  26. Assertions – Tony Hoare – 2001/01 (www.youtube.com)
    1 points by fuzztester 11 months ago | discuss
  27. Graydon Hoare – 50 years in formal word mainstream computing mirror universe [pdf] (d22yoqkt46k26p.cloudfront.net)
    1 points by ozten over 1 year ago | discuss
  28. Concurrency Panel Discussion with Tony Hoare, Joe Armstrong, Carl Hewitt (2019) (www.erlang-solutions.com)
    1 points by tosh almost 2 years ago | discuss
  29. Former BCPL compiler maintainer Simon Langley has died
    16 points by kevthecoder 9 months ago | discuss
  30. Communicating Sequential Processes (PDF, 1977) (www.cs.cmu.edu)
    4 points by TaurenHunter 12 months ago | 1 comments
  31. The Emperor's Old Clothes (1981) [pdf] (worrydream.com)
    3 points by tosh almost 2 years ago | 2 comments
  32. Hoarder: Self-hostable bookmark-everything app (github.com)
    475 points by thunderbong about 1 year ago | 106 comments
  33. Hoard of coins from Norman Conquest is Britain's most valuable treasure find (www.cnn.com)
    162 points by ChumpGPT about 1 year ago | 82 comments
  34. 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
  35. Building a Personal Archive with Hoarder (brainsteam.co.uk)
    152 points by edward 10 months ago | 21 comments
  36. Windows 11 24H2 hoards 8.63 GB of junk you can't delete (www.theregister.com)
    151 points by Bender about 1 year ago | 195 comments
  37. A replica of Citizen Quartz watch based on Harel's paper introducing statecharts (andyjakubowski.github.io)
    146 points by all2 3 months ago | 22 comments
  38. 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
  39. The Inchtuthil Nail Hoard (www.scottishhistory.org)
    80 points by Luc 8 months ago | 27 comments
  40. My Impressions of Hare (vfoley.xyz)
    71 points by todsacerdoti almost 2 years ago | 18 comments
  41. Viking-Age hoard reveals trade between England and the Islamic World (www.heritagedaily.com)
    69 points by bookofjoe 5 months ago | 58 comments
  42. Crypto hoarders dump tokens as shares tumble (arstechnica.com)
    42 points by Bender about 1 month ago | 62 comments