Hacker News with Generative AI

Actively exploited sandbox RCE in all Chromium versions (nist.gov)
Why are European countries moving their gold out of North America? (bbc.com)
Discovery of a new OpenAI agent message board (collusion.wiki)
Formalizing Fermat's Last Theorem (anthropic.com)
Statichost.eu – European static site hosting (statichost.eu)
GPT-6 Astra on OpenRouter (openrouter.ai)
Nitter has more working instances than before the takedowns (codeberg.org)
Can AI design circuit boards yet? (eebench.org)
Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
Shutting down our public encrypted DNS (mullvad.net)
Git Submodules as a Package Manager (nesbitt.io)
Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)
Can guitar frets perform multiplication? (charlespetzold.com)
Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
RSA-260 Factorized (twitter.com)
The Highest Point in the Netherlands (hanazo.no)
Ask HN: Resources to get good at soldering? (ycombinator.com)
Praearcturus gigas: giant scorpion from Lower Devonian (Lochkovian) of Britain (wiley.com)
Fermat's Last Theorem in Lean 4 (github.com/anthropics)
An open DNS recursive service for free security and high privacy (quad9.net)
IBM Bob (bob.ibm.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)
GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)
Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)
Icons as a Service (nravic.com)
ExactTex. A gradually-typed superset of LaTeX (github.com/camilochs)
Connecting every app to every other app (val.town)