Hackernews posts about Leta

RSS feed for Leta

991
newGoogle let a fake Chrome app on the Play Store, and it got over 100k downloadswww.androidauthority.com
▲ 11timpera 23d discuss
992
newLetagents – let your coding agents talk across machinesletagents.talk
▲ 2pg_2023 3d discuss
993
newHow to let a coding agent port your code and know what it portedjscpd.dev
▲ 2andreypk 26d discuss
994
newMontray – don't let a broken systemd service go unnoticedgithub.com
▲ 2dimonomid 26d discuss
995
newClaude let a grandma die rather than recite Justin Bieber lyricswww.reddit.com
▲ 1bigwheels 11d discuss
996
newShow HN: Hatoba, an open-source SSH client with an AI assistant and E2EE syncgithub.com
▲ 3scarletkc 25d discuss
997
newOpenCode Hacked: User credentials leakedtwitter.com
▲ 977pranshuchittora 21d 💬 185
998
newUS Reps Lead Democratic Resolution Opposing A.I. Bubble Bailout for Big Techprogressives.house.gov
▲ 670DeepLogin 9d 💬 533
999
newLeak Exposes 41,000 Homeland Security Workers–Including Undercover ICE Agentswww.wired.com
▲ 473Aboutplants 10d 💬 304
1000
newPingCap TiDB Leaksfulcrumsec.vg
▲ 433swyx 18d 💬 74
1001
newAfD Leak: What 421,179 Hacked Emails Show about the German Far Rightwww.heistberlin.com
▲ 390firefax 19d 💬 570
1002
newU.S. workers took home their smallest share of capital since at least 1947fortune.com
▲ 354qlte 6d 💬 221
1003
newIn Leaked Audio, Flock CEO Tells Cops Backlash to the Company Isn't Realwww.404media.co
▲ 323Frieren 12d 💬 209
1004
newCisco gives engineer unlimited AI tokens to rewrite legacy codefortune.com
▲ 316taubek 9d 💬 393
1005
newSleep framework: A new way for LLMs to retain knowledge in continual learningresearch.google
▲ 277acossta 11d 💬 58
1006
newBIPM decides to stop adding leap seconds to UTCwww.bipm.org
▲ 272gliffie 23d 💬 141
1007
newShow HN: Point your camera at a landscape to learn about its geologyoutcrop.rocks
▲ 263headsupernova 9d 💬 55
1008
newClassification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai
▲ 243pfdietz 11d 💬 79
1009
newAI use leads UC Berkeley math professor to see 'no point' in grading homeworkwww.dailycal.org
▲ 240romanhn 13d 💬 342
1010
newGermany's far-right AfD: half a million internal documents leakedhexane.cc
▲ 226else42 19d 💬 120
1011
newLeaking Secrets from Air-Gap Computers by Spelling Radio Signals from RAM (2024)arxiv.org
▲ 222hapax_legomena 7d 💬 106
1012
newAI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media
▲ 219datascientist 9d 💬 59
1013
newWhat mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com
▲ 210matt_d 29d 💬 58
1014
newLean now ships with verified kernelsleodemoura.github.io
▲ 204matt_d 23d 💬 81
1015
newLeaving Techryanbigg.com
▲ 178jonahx 26d 💬 196
1016
newHacker leaks 281 GB of data from Germany's far-right AfD partywww.bitdefender.com
▲ 171speckx 16d 💬 127
1017
newUsing thousands of AI agents to uncover new leads in biological dataopenai.com
▲ 160raahelb 18d 💬 106
1018
newChomsky and the two cultures of statistical learning (2011)www.norvig.com
▲ 145andsoitis 2d 💬 137
1019
newLeak website releases data on DHS employeeswww.reuters.com
▲ 134wondersky 10d 💬 40
1020
newThe Importance of Limitations for Creativity and Learning (2023)ratfactor.com
▲ 120andsoitis 14d 💬 40