- 11 New Boeing 737 MAX Software Glitch Could Disrupt Navigation Feature (wsj.com)
- 10 Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com)
- 280 First Principles Thinking (sunilsadasivan.com)
- 62 New Satellite Engine Could Use Earth's Atmosphere to Stay in Orbit Indefinitely (scitechdaily.com)
- 66 Lab on a Contact Lens Can Measure Stress Through Serotonin (spectrum.ieee.org)
- 72 Fourier Analysis: Drawing Llamas with Circles (adekau.github.io)
- 71 Show HN: A Claude Code skill to analyze your chess games (github.com)
- 486 U.S. appeals court upholds designation of Anthropic as supply chain risk (cnbc.com)
- 67 A new world airport and its baggage (computer.rip)
- 37 From Thin Air to Bootable Images: The Tine Build System (amutable.com)