FRESH

Hacker News

Page 20

The OEIS meta sequence and subway stations 12 points by surprisetalk | 3 Comments

Reflections on Building Forum Software 6 points by sebg | 0 Comments

Coding on Paper 88 points by owickstrom | 26 Comments

We used Quint to find over 10 bugs in SQLite while hardening Turso 39 points by 0xedb | 0 Comments

Long-term editing of brain circuits using an engineered electrical synapse 19 points by bookofjoe | 1 Comments

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep 442 points by Bibabomas | 150 Comments

Are we self-sovereign PKI yet? 3 points by ca98am79 | 0 Comments

Denmark's wind and solar investments shield it from global energy turmoil 39 points by vrganj | 8 Comments

Why I don’t vibe code 97 points by birdculture | 112 Comments

Pope Leo XIV’s first encyclical Magnifica humanitas to be published May 25 291 points by cucho | 239 Comments

Unusual uses of OEIS sequences on GitHub 33 points by surprisetalk | 3 Comments

Aether: High-performance, formally-verified storage engine written in Rust 37 points by dboreham | 14 Comments

Riot's Vanguard update reportedly disables DMA cheat hardware via IOMMU 11 points by encrux | 3 Comments

How to Call an API from an Email 13 points by joshmoody24 | 0 Comments

Peter Salus has died 172 points by speckx | 15 Comments

The Invention of Buses 53 points by surprisetalk | 14 Comments

Designing an FPGA Calculator from Scratch 74 points by zdw | 11 Comments

AI-assisted engineers are burning out, is this fine? 37 points by vinnyglennon | 25 Comments

The famous O3 "GeoGuessr" prompt did not work 45 points by ingve | 13 Comments

Page 20