Best of 2025

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

Tools & Productivity
246

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…

260

My other email client is a daemon

I have a slight problem wherein every time I start up a game of NetHack, I completely lose touch with my surroundings for hours on end. Thankfully The DevTeam Thinks Of Everything and there’s a solution that allows communication with the outside world without breaking immersion: the mail daemon!

262

Customizing tmux

I have been exploring some new tools here and there. When I started watching Primeagen, I took a note of several tools that he was using and advocating for. One of them was tmux. What is tmux? tmux is a terminal multiplexer. What that means is you can have many terminals in one. According to tmux wiki: tmux is a…