Hackernews posts about Leta
- 571Google let a fake Chrome app on the Play Store, and it got over 100k downloadswww.androidauthority.com
- 572
- 573
- 574
- 575
- 576
- 577OpenCode Hacked: User credentials leakedtwitter.com
- 578US Reps Lead Democratic Resolution Opposing A.I. Bubble Bailout for Big Techprogressives.house.gov
- 579
- 580PingCap TiDB Leaksfulcrumsec.vg
- 581AfD Leak: What 421,179 Hacked Emails Show about the German Far Rightwww.heistberlin.com
- 582
- 583
- 584
- 585
- 586BIPM decides to stop adding leap seconds to UTCwww.bipm.org
- 587
- 588Classification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai
- 589
- 590
- 591
- 592AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media
- 593What mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com
- 594Lean now ships with verified kernelsleodemoura.github.io
- 595Leaving Techryanbigg.com
- 596Hacker leaks 281 GB of data from Germany's far-right AfD partywww.bitdefender.com
- 597
- 598
- 599Leak website releases data on DHS employeeswww.reuters.com
- 600
· edit