FRESH

Hacker News

Page 5

Broken Proofs and Broken Provers 59 points by RebelPotato | 14 Comments

AliSQL: Alibaba's open-source MySQL with vector and DuckDB engines 286 points by baotiao | 47 Comments

Notepad++ supply chain attack breakdown 371 points by natebc | 175 Comments

Show HN: The Last Worm – Visualizing guinea worm eradication, from 3.5M to 10 6 points by onyx_writes | 1 Comments

Xcode 26.3 – Developers can leverage coding agents directly in Xcode 364 points by davidbarker | 315 Comments

Litestream Writable VFS 32 points by emschwartz | 25 Comments

Launch HN: Modelence (YC S25) – App Builder with TypeScript / MongoDB Framework 70 points by eduardpi | 44 Comments

Show HN: Bunqueue – Job queue for Bun using SQLite instead of Redis 35 points by kernelvoid | 19 Comments

Banks seek out new buyers for Oracle data centre loans 25 points by zerosizedweasle | 5 Comments

221 Cannon is Not For Sale 313 points by mecredis | 253 Comments

1 kilobyte is precisely 1000 bytes? 117 points by surprisetalk | 399 Comments

Learning Low-Level Computing and C++ by Making a Game Boy Emulator 15 points by romes | 1 Comments

The TV industry concedes that the future may not be in 8K 31 points by cxrlosfx | 55 Comments

Banning lead in gas worked. The proof is in our hair 358 points by geox | 290 Comments

SanDisk crushes wallets with up to 2.8X SSD price hikes 39 points by vmykyt | 5 Comments

Flying Around the World in under 80 Days 65 points by alexfernandez | 21 Comments

Coding assistants are solving the wrong problem 183 points by jinhkuan | 144 Comments

The fax numbers of the beast, and other mathematical sports 28 points by marysminefnuf | 10 Comments

Show HN: GitHub Browser Plugin for AI Contribution Blame in Pull Requests 60 points by rbbydotdev | 34 Comments

Page 5