- 3Show HN: ActionRail, verify agent actions using live system of records (github.com)
- 61Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History (simpleflying.com)
- 4What's That Burning Smell? (inthewilderness.net)
- 6Reaping the Whirlwind – Inside the Potomac River Midair Collision (admiralcloudberg.medium.com)
- 74So, you want to make a game engine (2023) (lisyarus.github.io)
- 7These European airports now allow up to 2 litres of liquids in hand luggage (fly4free.com)
- 20Why We're Dropping Basecamp (2023) (blogs.library.duke.edu)
- 83Solving Fermat: Andrew Wiles (pbs.org)
- 53Toolcraft (toolcraft.sh)
- 112Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
- 645New HIV vaccine shows unprecedented success in preclinical study (lji.org)
- 47Google DeepMind dismantles AlphaFold team (ft.com)
- 137Running Kimi K3 on a M1 Max (github.com)
- 3Epoch.ai: Parallelization constraints could delay a technological singularity (twitter.com)
- 54Ubuntu's TPM encryption switches to snap kernel that blocks deb kernel packages (bare.systems)
- 6Show HN: Cadence Money – a budgeting app with no AI features, just an MCP server (cadencemoney.com)
- 145An Uncomplicated Man – A review of The Odyssey, directed by Christopher Nolan (lrb.co.uk)
- 5Show HN: PriEco (open source, 400M index, EU search engine) integrated Goggles (prieco.net)
- 8AI "Proves" Collatz Conjecture with Lean 4 Bug (twitter.com)
- 66WOFF 1.0: a milestone on W3C's journey of fonts on the web (w3.org)
- 17Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)
- 294A walk through of the DeltaNet family of linear attention variants (blog.doubleword.ai)
- 54eBay agrees $56M settlement with bloggers over harassment case (bbc.co.uk)
- 4About half of Americans support all-day school cellphone bans (pewresearch.org)
- 9Moonshot AI Raises $3.5B at $35B Valuation (bloomberg.com)
- 14Americans say large tech companies have too much power (axios.com)
- 19Does Your Home or Classroom Need an Air Purifier? Make a Corsi-Rosenthal Box (npr.org)
- 7Show HN: Free weather map with 25 model layers, live lightning and storm cells (wfy24.com)
- 130Kimi K3 Now Available via Telnyx Inference API (telnyx.com)
- 41877–1878 El Niño event (en.wikipedia.org)