New

The latest blog posts to take off on Hacker News. 80,814 posts.

Any topic
Any year
5077

The Sideprocalypse

You can't open a feed today without having AI boosters fling word salad like "agentic engineering" or "openclaw" into your beautiful but disapproving face. I'm terrible at predicting the future—you should ask me about selling NVIDIA stock in early 2022 some time—but one thing seems…

5087

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…

5097

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…