Hackernews posts about Leta
- 661Google let a fake Chrome app on the Play Store, and it got over 100k downloadswww.androidauthority.com
- 662
- 663
- 664
- 665
- 666
- 667OpenCode Hacked: User credentials leakedtwitter.com
- 668US Reps Lead Democratic Resolution Opposing A.I. Bubble Bailout for Big Techprogressives.house.gov
- 669
- 670PingCap TiDB Leaksfulcrumsec.vg
- 671AfD Leak: What 421,179 Hacked Emails Show about the German Far Rightwww.heistberlin.com
- 672
- 673
- 674
- 675
- 676BIPM decides to stop adding leap seconds to UTCwww.bipm.org
- 677
- 678Classification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai
- 679
- 680
- 681
- 682AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media
- 683What mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com
- 684Lean now ships with verified kernelsleodemoura.github.io
- 685Leaving Techryanbigg.com
- 686Hacker leaks 281 GB of data from Germany's far-right AfD partywww.bitdefender.com
- 687
- 688
- 689Leak website releases data on DHS employeeswww.reuters.com
- 690
· edit