Best of 2025

The blog posts Hacker News loved most in 2025. 550 posts.

Tools & Productivity
339

How to Store Data on Paper?

How to print my voice? How to put music on paper? How to print an executable program? All this boils down to storing digital data on paper. This is also called paper data storage . Arrived in this domain from poetry, I’ve been investigating the area for some time. Here is what I found.

348

Test, don't just verify

AI-assisted mechnical proving companies are raising funds on billion dollar valuations , new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates. Models achieve fascinating results in competitions previously considered to contain some of the hardest problems in the world, such as IMO, ICPC…