FRESH

Hacker News

Page 9

Agent orchestration for the timid 124 points by markferree | 30 Comments

Extracting verified C++ from the Rocq theorem prover at Bloomberg 128 points by clarus | 35 Comments

On the Methodology of Actual Physics [video] 20 points by sbuttgereit | 2 Comments

AI is hitting UK harder than other big economies, study finds 21 points by chrisjj | 18 Comments

Show HN: LLMNet – The Offline Internet, Search the web without the web 29 points by modinfo | 6 Comments

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology 66 points by william1872 | 10 Comments

Show HN: AutoShorts – Local, GPU-accelerated AI video pipeline for creators 70 points by divyaprakash | 34 Comments

How I estimate work 534 points by mattjhall | 312 Comments

eBay explicitly bans AI "buy for me" agents in user agreement update 340 points by bdcravens | 351 Comments

Hackable personal news reader in bash pipes 36 points by haron | 7 Comments

Data center power outage took out TikTok first weekend under US ownership 7 points by Bender | 0 Comments

Data Leak Exposes 149M Logins, Including Gmail, Facebook 97 points by saikatsg | 25 Comments

Show HN: FaceTime-style calls with an AI Companion (Live2D and long-term memory) 31 points by summerlee9611 | 14 Comments

Bugs Apple loves 1095 points by nhod | 531 Comments

Poland's energy grid was targeted by never-before-seen wiper malware 295 points by Bender | 141 Comments

80386 Multiplication and Division 108 points by nand2mario | 30 Comments

The Rise and Fall of the American Monoculture 4 points by mikhael | 0 Comments

Sonic R: The R&R mod – Hacks the Saturn Racing Game into a Platformer 6 points by regus | 0 Comments

The all new Mecha Comet, live on Kickstarter 12 points by krthr | 2 Comments

Page 9