Best of 2026

The blog posts Hacker News loved most in 2026. 5,943 posts.

Any topic
4928

Learning Lean: Part 1

Motivation I’ve been captivated by the recent movement to popularize mathematics formalization through the Lean theorem prover, and this year I’m diving deeper into learning it. For those unfamiliar with this revolution, I highly recommend watching Kevin Buzzard’s talks on YouTube for an overview of why formal…

4935

I Remain a Skeptic

I still do not use LLMs for anything I actually care about. There are a lot of reasons I could give: environmental, social, political. I could talk about ecosystem lock-in, learned dependence, self-soverignty, philosophical concerns, the intentional dismantling of labour bargaining power, and more. But before all of…

4937

Monzo Stand-In

Our customers reasonably expect to be able to spend on their card, make bank transfers and pay their bills 24 hours a day, 365 days a year. Their lives don’t have downtime for maintenance so nor should we. We dedicate a lot of our engineering effort to minimise the risk of downtime during technical migrations and…

4949

A whole boss fight in 256 bytes

Endbot is a complete audio-visual demo that fits in exactly 256 bytes . It runs under DOS (via DosBox-X) and renders in real-time: a robot sprite with progressive bullet damage, a growing explosion, a scrolling checkerboard landscape, and a MIDI soundtrack - all from a single tiny .com file.