FRESH

Hacker News

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

Page 6