Hackernews posts about Hoare

1. 01
   

   newThe Emperor's Old Clothes [pdf]worrydream.com

   ▲ 3pykello23ddiscusssavesaved
2. 02
   

   newCommunicating Sequential Processes (1978) [pdf]www.cs.cmu.edu

   ▲ 1andsoitis9ddiscusssavesaved
3. 03
   

   newI ported the new Hare compiler to OpenBSDbriancallahan.net

   ▲ 7birdculture18hdiscusssavesaved
4. 04
   

   newMitsubishi hoards frozen bluefin tuna (2009)fiskerforum.com

   ▲ 3simonebrunozzi6ddiscusssavesaved
5. 05
   

   newNorway's largest hoard passes the 5k markwww.thehistoryblog.com

   ▲ 2speckx2ddiscusssavesaved
6. 06
   

   newAmateur detectorist unearths Germany's biggest Roman silver hoardwww.smithsonianmag.com

   ▲ 2promptspheree7ddiscusssavesaved
7. 07
   

   newLaunch HN: Coverage Cat (YC S22) – Umbrella insurance via your personal agentwww.coveragecat.com

   ▲ 54botacode13d💬 32savesaved
8. 08
   

   newAsk HN: Formatting Guidelines for LLM Comments

   ▲ 2manlymuppet14ddiscusssavesaved
9. 09
   

   newShow HN: Local historical wind and gust visualizertamtamhero.github.io

   ▲ 1popol1220ddiscusssavesaved
10. 10
    

    newShow HN: Natively – comms for agents built by agentsnatively.io

    ▲ 1taylorhou24ddiscusssavesaved
11. 11
    

    newNetanyahu Received an Explicit Warning Days Before Oct. 7www.haaretz.com

    ▲ 7Betelbuddy26d💬 3savesaved
12. 12
    

    newNetanyahu was warned of 7 October Hamas attacks, book claimswww.theguardian.com

    ▲ 7_bsds26d💬 2savesaved
13. 13
    

    newASI risk debate with Nate Soares [video]www.youtube.com

    ▲ 4paulpauper16ddiscusssavesaved
14. 14
    

    newShow HN: KnowNote-A local desktop workspace for questioning your own sourcesknownote.pages.dev

    ▲ 4mrsibe7ddiscusssavesaved
15. 15
    

    newKeeping Humans in the Looproarepally.com

    ▲ 2ro_arepally17ddiscusssavesaved
16. 16
    

    newTony Hoare has diedblog.computationalcomplexity.org

    ▲ 2043speckx209d💬 268savesaved
17. 17
    

    newTony Hoare has diedlefenetrou.blogspot.com

    ▲ 268nextos209d💬 34savesaved
18. 18
    

    newCelebrating Tony Hoare's mark on computer sciencebertrandmeyer.com

    ▲ 140benhoyt201d💬 32savesaved
19. 19
    

    newLong division verified via Hoare logicwww.cofault.com

    ▲ 114ndanilov586d💬 60savesaved
20. 20
    

    newThe Hoare Cubejohnwickerson.wordpress.com

    ▲ 86matt_d669d💬 23savesaved
21. 21
    

    newTony Hoare and His Imprint on Computer Sciencecacm.acm.org

    ▲ 68matt_d198d💬 4savesaved
22. 22
    

    newFFmpeg 8.1 "Hoare" has been releasedffmpeg.org

    ▲ 45jbk202d💬 2savesaved
23. 23
    

    newTony Hoare on record handling. (1966) [pdf]archive.computerhistory.org

    ▲ 13fanf2432d💬 1savesaved
24. 24
    

    newShow HN: Tiny Hoare logic verifier using SMTgithub.com

    ▲ 12namin474d💬 1savesaved
25. 25
    

    newHoarePrompt: Structural Reasoning About Program Correctness in Natural Languagegithub.com

    ▲ 6mechtaev558ddiscusssavesaved
26. 26
    

    newSir Tony Hoare Obituarywww.theguardian.com

    ▲ 3ColinWright175ddiscusssavesaved
27. 27
    

    newTony Hoare and Negative Spacewww.sicpers.info

    ▲ 3ingve326ddiscusssavesaved
28. 28
    

    newA contribution to the development of Algol. (Algol W, Wirth and Hoare)dl.acm.org

    ▲ 3fanf2364ddiscusssavesaved
29. 29
    

    newWhy Graydon Hoare, the author of Rust, stopped contributing into it? (2018)old.reddit.com

    ▲ 3wslh588ddiscusssavesaved
30. 30
    

    newTony Hoare on record handling. (1965)dl.acm.org

    ▲ 2fanf2417d💬 1savesaved
31. 31
    

    newIn Memoriam: Car Hoare – Communications of the ACMcacm.acm.org

    ▲ 2furcyd161ddiscusssavesaved
32. 32
    

    newRecursive data structures. (Hoare, 1973) [pdf]apps.dtic.mil

    ▲ 2fanf2371ddiscusssavesaved
33. 33
    

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

    ▲ 2weinzierl492ddiscusssavesaved
34. 34
    

    newNull References: The Billion Dollar Mistake – Tony Hoarewww.youtube.com

    ▲ 1Brysonbw288ddiscusssavesaved
35. 35
    

    newTony Hoare's hints on programming language design [pdf]i.stanford.edu

    ▲ 1fanf2363ddiscusssavesaved
36. 36
    

    newTony Hoare: How did software get so reliable without proof?blog.regehr.org

    ▲ 1fanf2391ddiscusssavesaved
37. 37
    

    newAssertions – Tony Hoare – 2001/01www.youtube.com

    ▲ 1fuzztester597ddiscusssavesaved
38. 38
    

    newFormer BCPL compiler maintainer Simon Langley has died

    ▲ 16kevthecoder548ddiscusssavesaved
39. 39
    

    newCommunicating Sequential Processes (PDF, 1977)www.cs.cmu.edu

    ▲ 4TaurenHunter619d💬 1savesaved
40. 40
    

    newRecord Handling (1966) [pdf]archive.computerhistory.org

    ▲ 1tosh149ddiscusssavesaved
41. 41
    

    newHoarder: Self-hostable bookmark-everything appgithub.com

    ▲ 475thunderbong652d💬 106savesaved
42. 42
    

    newAsk HN: Do you also "hoard" notes/links but struggle to turn them into actions?

    ▲ 235item007248d💬 217savesaved
43. 43
    

    newHoard of coins from Norman Conquest is Britain's most valuable treasure findwww.cnn.com

    ▲ 162ChumpGPT712d💬 82savesaved
44. 44
    

    newBuilding a Personal Archive with Hoarderbrainsteam.co.uk

    ▲ 152edward568d💬 21savesaved
45. 45
    

    newWindows 11 24H2 hoards 8.63 GB of junk you can't deletewww.theregister.com

    ▲ 151Bender723d💬 195savesaved

· edit