- 184Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
- 24What's missing to have reproducible builds on PyPI (snarky.ca)
- 50Why travellers are obsessed with foreign supermarkets (bbc.com)
- 1381The Amazon tax (seths.blog)
- 4NASA mission to save sinking space telescope fails (nbcnews.com)
- 124Rules of good social skills (2025) (liamrosen.com)
- 38Universality of Gradient Descent Neural Network Training (arxiv.org)
- 422PostgreSQL for Everything (raphaelbauer.com)
- 166Bun 1.4 Rust rewrite is not looking good? (tipiirai.com)
- 53A portable, sensitive, low power, analog Geiger counter (2025) (ludens.cl)
- 70Pressed Penny Machine Map (pennypresses.net)
- 72Why Microsoft Entertainment Pack had a sticker announcing that it had Tetris? (devblogs.microsoft.com)
- 112Taffy: A flexible, high-performance, cross-platform UI layout library (github.com)
- 932Being ambitious and being a dad (nicholascharriere.com)
- 6Arc AGI-3 100% solved with a skill (twitter.com)
- 193AI usage patterns in software teams (linear.app)
- 132How Kubernetes Probes Work (ngrok.com)
- 201Mathematics in the age of AI (arxiv.org)
- 7DDD matters more when AI writes your code (threedots.tech)
- 317Ask HN: GitHub employees what's going on? Why? ()
ask - 5Solving the Flat Cube (mathenchant.wordpress.com)
- 28FCC abolishes gigabit speed goal (arstechnica.com)
- 55IDE Nostalgia (2022) (davidsmaynard.com)
- 15We replaced our ledger with two functions (river.com)
- 296Turbovec – Google's TurboQuant for vector search in Rust (github.com)
- 9Music Theory for Programmers (runjs.app)
- 286Apple announces changes for apps in the European Union (apple.com)
- 12RAPx: A static analysis tool for Rust programs (github.com)
- 4High-speed star is whipping around the black hole in the middle of our galaxy (npr.org)
- 79Xwayland 26.1.0 rc1 (lists.x.org)