Top stories in the last month

Tell HN: Mechanical Turk is twenty years old today

Making the Electron Microscope

NaN, the not-a-number number that isn't NaN

Show HN: Cuq – Formal Verification of Rust GPU Kernels

CRDTs: Convergence without coordination

Free applicatives, the handle pattern, and remote systems

Show HN: A Minimal Monthly Task Planner (printable, offline, no signup)

The space of minds

Switzerland: Data Protection Officers Impose Broad Cloud Ban for Authorities

Why Strong Consistency?

Super fast aggregations in PostgreSQL 19

Private Equity's New Venture: Youth Sports

Linux Career Opportunities in 2025: Skills in High Demand

LLMs are bullshitters. But that doesn't mean they're not useful

European Commission plans “digital omnibus” package to simplify its tech laws

A File Format Uncracked for 20 Years

Azure major outage: Portal, Front Door and global regions down

Character.ai to bar children under 18 from using its chatbots

Why your social.org files can have millions of lines without performance issues

The MacBook Air 2025 Is Now Cheaper Than a Random Mid-Range Windows Laptop