FRESH Hacker News
Home

Page 6

Leanstral: Open-source agent for trustworthy coding and formal proof engineering 775 points by Poudlardo | 188 Comments
Building a Shell 172 points by ingve | 39 Comments
Aliens.gov ~ domain registered 17MAR2026 152 points by someprick | 125 Comments
Leviathan (1651) 112 points by mrwh | 52 Comments
Animation 10k Starlink Satellites 43 points by MeteorMarc | 51 Comments
China's robotics revolution: I visited 11 companies in 5 Chinese cities 4 points by calcifer | 0 Comments
A Fuzzer for the Toy Optimizer 24 points by surprisetalk | 3 Comments
FFmpeg 8.1 428 points by gyan | 65 Comments
Beyond has dropped “meat” from its name and expanded its high-protein drink line 216 points by rmason | 572 Comments
Show HN: Crust – A CLI framework for TypeScript and Bun 88 points by jellyotsiro | 38 Comments
Trashing American Allies Turns Out to Be Bad for National Security 56 points by breve | 4 Comments
Show HN: Claude Code skills that build complete Godot games 327 points by htdt | 199 Comments
Hundreds of Millions of iPhones Can Be Hacked With a New Tool Found in the Wild 118 points by WalterSobchak | 89 Comments
Ryugu asteroid samples contain all DNA and RNA building blocks 301 points by bookofjoe | 164 Comments
Every layer of review makes you 10x slower 563 points by greyface- | 312 Comments
The US goods trade deficit hit a record $1.2T in 2025 16 points by qwikhost | 0 Comments
Toward automated verification of unreviewed AI-generated code 92 points by peterlavigne | 84 Comments
Powell: Job creation is near zero 15 points by AlexDragusin | 0 Comments
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain 1001 points by opengrass | 331 Comments
Prev Page
Page 6
Next Page