Hacker News with Generative AI

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