Hackernews posts about Leta

1. 01
   

   newGoogle let a fake Chrome app on the Play Store, and it got over 100k downloadswww.androidauthority.com

   ▲ 11timpera22ddiscusssavesaved
2. 02
   

   newLetagents – let your coding agents talk across machinesletagents.talk

   ▲ 2pg_20232ddiscusssavesaved
3. 03
   

   newHow to let a coding agent port your code and know what it portedjscpd.dev

   ▲ 2andreypk24ddiscusssavesaved
4. 04
   

   newMontray – don't let a broken systemd service go unnoticedgithub.com

   ▲ 2dimonomid25ddiscusssavesaved
5. 05
   

   newClaude let a grandma die rather than recite Justin Bieber lyricswww.reddit.com

   ▲ 1bigwheels10ddiscusssavesaved
6. 06
   

   newShow HN: Hatoba, an open-source SSH client with an AI assistant and E2EE syncgithub.com

   ▲ 3scarletkc24ddiscusssavesaved
7. 07
   

   newOpenCode Hacked: User credentials leakedtwitter.com

   ▲ 977pranshuchittora20d💬 185savesaved
8. 08
   

   newUS Reps Lead Democratic Resolution Opposing A.I. Bubble Bailout for Big Techprogressives.house.gov

   ▲ 669DeepLogin7d💬 533savesaved
9. 09
   

   newLeak Exposes 41,000 Homeland Security Workers–Including Undercover ICE Agentswww.wired.com

   ▲ 473Aboutplants9d💬 304savesaved
10. 10
    

    newPingCap TiDB Leaksfulcrumsec.vg

    ▲ 433swyx17d💬 74savesaved
11. 11
    

    newMathematics has changed. Let's act like itterrytao.wordpress.com

    ▲ 392smilelamp5d💬 520savesaved
12. 12
    

    newAfD Leak: What 421,179 Hacked Emails Show about the German Far Rightwww.heistberlin.com

    ▲ 390firefax18d💬 570savesaved
13. 13
    

    newU.S. workers took home their smallest share of capital since at least 1947fortune.com

    ▲ 353qlte5d💬 221savesaved
14. 14
    

    newIn Leaked Audio, Flock CEO Tells Cops Backlash to the Company Isn't Realwww.404media.co

    ▲ 323Frieren11d💬 209savesaved
15. 15
    

    newCisco gives engineer unlimited AI tokens to rewrite legacy codefortune.com

    ▲ 316taubek7d💬 393savesaved
16. 16
    

    newSleep framework: A new way for LLMs to retain knowledge in continual learningresearch.google

    ▲ 277acossta9d💬 58savesaved
17. 17
    

    newBIPM decides to stop adding leap seconds to UTCwww.bipm.org

    ▲ 272gliffie22d💬 141savesaved
18. 18
    

    newShow HN: Point your camera at a landscape to learn about its geologyoutcrop.rocks

    ▲ 263headsupernova8d💬 55savesaved
19. 19
    

    newClassification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai

    ▲ 243pfdietz10d💬 79savesaved
20. 20
    

    newAI use leads UC Berkeley math professor to see 'no point' in grading homeworkwww.dailycal.org

    ▲ 240romanhn12d💬 342savesaved
21. 21
    

    newSynaptics Appears to Use Legal Threats to Block Open-Source DisplayLink Driverwww.phoronix.com

    ▲ 229snvzz2d💬 105savesaved
22. 22
    

    newGermany's far-right AfD: half a million internal documents leakedhexane.cc

    ▲ 226else4218d💬 120savesaved
23. 23
    

    newLeaking Secrets from Air-Gap Computers by Spelling Radio Signals from RAM (2024)arxiv.org

    ▲ 222hapax_legomena6d💬 106savesaved
24. 24
    

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

    ▲ 219datascientist8d💬 59savesaved
25. 25
    

    newWhat mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com

    ▲ 210matt_d28d💬 58savesaved
26. 26
    

    newLean now ships with verified kernelsleodemoura.github.io

    ▲ 204matt_d22d💬 81savesaved
27. 27
    

    newLet Me Ch...blog.alxgsv.com

    ▲ 193alxgsv4d💬 91savesaved
28. 28
    

    newLeaving Techryanbigg.com

    ▲ 178jonahx25d💬 196savesaved
29. 29
    

    newHacker leaks 281 GB of data from Germany's far-right AfD partywww.bitdefender.com

    ▲ 171speckx14d💬 127savesaved
30. 30
    

    newUsing thousands of AI agents to uncover new leads in biological dataopenai.com

    ▲ 160raahelb16d💬 106savesaved

· edit