Top stories from this year

Show HN: Formalizing Principia Mathematica using Lean

Are polynomial features the root of all evil? (2024)

They Might Be Giants Flood EPK Promo (1990) [video]

Tesla deliveries down 43% in Europe while EVs are up 31%

Arc-AGI-2 and ARC Prize 2025

Google’s two-year frenzy to catch up with OpenAI

Macron to open debate on extending French nuclear protection to European allies

The Return of Digg, a Star of an Earlier Internet Era

'Everybody is looking at their phones,' says man freed after 30 years in prison

Show HN: While the world builds AI Agents, I'm just building calculators

Among top researchers 10% publish at unrealistic levels, analysis finds

Project 2025 Observer

How browsers really load web pages [video]

NOAA's public weather data powers the local forecasts on your phone and TV

Make Your Own Website: A beginner's guide

Trying out Zed after more than a decade of Vim/Neovim

Ozempic and Wegovy are selected for Medicare's price negotiations

Nvidia bets on robotics to drive future growth

Little Snitch: Network Monitor and Application Firewall for macOS

New Google Sheet on half of 13.6" MacBook Air screen is fully covered by popups