Best of 2025

The blog posts Hacker News loved most in 2025. 6,220 posts.

Any topic
4640

50 years of proof assistants

Crackpots ranging from billionaire Peter Thiel to random YouTube influencers claim that science has been stagnating for the past 50 years. They admit that computing is an exception: they don’t pretend that my personal 32GB laptop is not an advance over the 16MB mainframe that served the whole Caltech community when I…

4649

iPhone DevOps (2023)

I wrote earlier about my dream of developing “single-handedly” on an iPhone. Then, I wrote some more about it . The dream still lives strongly! I am now coding single-handedly in any language on my iPhone SE model 2022. But although i still like pythonista I am now using a combination of three great apps that allow me…