- AI handles incidents, engineers lose touch with their systems (www.sylvainkalache.com)
- Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
- Discovery of a new OpenAI agent message board (collusion.wiki)
- Formalizing Fermat's Last Theorem (www.anthropic.com)
- Nitter has more working instances than before the takedowns (codeberg.org)
- Statichost.eu – European static site hosting (www.statichost.eu)
- GPT-6 Astra on OpenRouter (openrouter.ai)
- GPT-6 Astra in code review: Gains, privacy, and cost (www.coderabbit.ai)
- Can AI design circuit boards yet? (eebench.org)
- Kale: A Transformation-Safe Spreadsheet System (arxiv.org)
- Shutting down our public encrypted DNS (mullvad.net)
- Portal by Spotify cut my Claude Code token usage by 90% (engineering.atspotify.com)
- Git Submodules as a Package Manager (nesbitt.io)
- Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
- The Highest Point in the Netherlands (ipv6.hanazo.no)
- Can guitar frets perform multiplication? (www.charlespetzold.com)
- Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- IBM Bob (bob.ibm.com)
- Fermat's Last Theorem in Lean 4 (github.com)
- Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
- The Rust React Compiler is now native in Vite (blog.master.dev)
- Government Rails Site Hit Hours After CVE Patch (rietta.com)
- Decompiler Explorer (dogbolt.org)
- RSA-260 Factorized (twitter.com)
- deSEC – Free Secure DNS (desec.io)
- GPT-6 Astra (openai.com)