Hackernews posts about Leo

1. 991
   

   newUS agency approves Amazon Leo’s $11.5B acquisition of Globalstarwww.reuters.com

   ▲ 241noptd11d💬 107savesaved
2. 992
   

   newAI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media

   ▲ 219datascientist10d💬 59savesaved
3. 993
   

   newShow HN: A guided 3D Leonardo da Vinci museum, built in codemuseumofages.org

   ▲ 90micstradev25d💬 41savesaved
4. 994
   

   newSnow Leopard Was Peak Computerwww.alara.blog

   ▲ 5asaddhamani21ddiscusssavesaved
5. 995
   

   newLeonardo da Vinci Was Jewish (2023)www.tabletmag.com

   ▲ 3surprisetalk11d💬 1savesaved
6. 996
   

   newBranching Beyond Leonardo: The Evolution of Tree Architecture Theoryblue-continuum.com

   ▲ 3dnetesn2ddiscusssavesaved
7. 997
   

   newHow Europe's top cocaine trafficker made Sierra Leone the first true narco statewww.theguardian.com

   ▲ 3orf25ddiscusssavesaved
8. 998
   

   newLeona - AI Powered Career Toolkitleona.co.za

   ▲ 2sollysegogoba4d💬 1savesaved
9. 999
   

   newLeo Adds E2E Encryption, Oblivious HTTP, and Verifiable Confidential Computingbrave.com

   ▲ 2conferza8ddiscusssavesaved
10. 1000
    

    newHeartbreak, hope and human imperfection: Leonard Cohen's greatest songswww.theguardian.com

    ▲ 2Tomte14ddiscusssavesaved
11. 1001
    

    newLeonardo da Vinci Was Jewishwww.tabletmag.com

    ▲ 2paulpauper27ddiscusssavesaved
12. 1002
    

    newLeon Thereminen.wikipedia.org

    ▲ 2eamag29ddiscusssavesaved
13. 1003
    

    newBob Dylan comes knockin' on pope's door as Leo welcomes legend to Vaticantext.npr.org

    ▲ 1mooreds3ddiscusssavesaved
14. 1004
    

    newShow HN: Attestlane – SOC 2 readiness for 1–50 person teams, from Sierra Leoneattestlane.to

    ▲ 1cbt20265ddiscusssavesaved
15. 1005
    

    newAdvancing cybersecurity for modern LEO constellationsblog.satsearch.co

    ▲ 1kartikkumar20ddiscusssavesaved
16. 1006
    

    newLaunch HN: Kino AI (YC S23) – AI media manager and video editor

    ▲ 111lukeigel3d💬 36savesaved
17. 1007
    

    newShow HN: Minute of Fame – own one minute of the day, it airs live every dayminuteoffame.lol

    ▲ 2regnull19ddiscusssavesaved
18. 1008
    

    newShow HN: Cc-pair – Claude Code and Codex review each other's workgithub.com

    ▲ 1blackicebird9ddiscusssavesaved
19. 1009
    

    newLean now ships with verified kernelsleodemoura.github.io

    ▲ 204matt_d23d💬 81savesaved
20. 1010
    

    newAnt: Can unprecedented revenue growth outrun irresponsibly large investmentleonlins.com

    ▲ 16avoidboringppl7d💬 3savesaved
21. 1011
    

    newPlay your Steam library's Windows games on a jailbroken PS5github.com

    ▲ 4croes12d💬 1savesaved
22. 1012
    

    newAre You Working: In Defense of the Invisible Labors of Creativitiywww.themarginalian.org

    ▲ 3mooreds18hdiscusssavesaved
23. 1013
    

    newMostly PHP, and Mostly Unaffectedblog.leonbecker.de

    ▲ 3rowbin9ddiscusssavesaved
24. 1014
    

    newDynamic MCP Server Discovery on Google Cloudleoy.blog

    ▲ 2minherz19d💬 1savesaved
25. 1015
    

    newActive Sonar: Mitigating Hardware CV Aimbots via Kinematics [RFC]github.com

    ▲ 2LeoLordin14ddiscusssavesaved
26. 1016
    

    newShow HN: Murmur, open-source push-to-talk dictation for Mac (BYO OpenAI key)github.com

    ▲ 2leochaddad16ddiscusssavesaved
27. 1017
    

    newShow HN: Find duplicates in 5 lines of Python (offline, lightweight, fast, Rust)github.com

    ▲ 2jweaz17ddiscusssavesaved
28. 1018
    

    newI let two Pi agents maintain my repositories. They invented their own workleocavalcante.dev

    ▲ 2leocavalcante24ddiscusssavesaved
29. 1019
    

    newShow HN: Web Potions – let ChatGPT or Claude restyle the web you browsegithub.com

    ▲ 1leofree26h💬 1savesaved
30. 1020
    

    newShow HN: Ferrule – copy-in React Native UI components for iOS, Android and webleoanimesh.github.io

    ▲ 1leoanimesh7hdiscusssavesaved

· edit