New

The latest blog posts to take off on Hacker News. 3,713 posts.

Any topic
2026
3182

Why I don't think AGI is imminent

The CEOs of OpenAI and Anthropic have both claimed that human-level AI is just around the corner — and at times, that it's already here. These claims have generated enormous public attention. There has been some technical scrutiny of these claims, but critiques rarely reach the public discourse. This piece is a sketch…

3189

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…

3195

A Programmer's Loss of Identity

This is the follow-up to last year’s I’m an American software developer and the "broligarchs" don’t speak for me . In that essay, I tried to express why I was so agonized by the leaders in my industry doing a speedrun towards dystopia and how it all felt so divorced from what technology could, and should be…

3208

WolfSSL sucks too, so now what?

OpenSSL sucks. The BoringSSL and AWS-LC forks are Googled and Amazoned to death; they don't care about anyone but their own use cases. I can't remember ever having a good experience with software using GnuTLS. LibreSSL is incomplete... FOREWARD This post is about the experience of taking a leap of …