Hacker News with Generative AI

Why are European countries moving their gold out of North America? (bbc.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)
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)
Git Submodules as a Package Manager (nesbitt.io)
Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)
Shutting down our public encrypted DNS (mullvad.net)
Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)
I Want a Wife (1971) [pdf] (sevanoland.com)
Can guitar frets perform multiplication? (charlespetzold.com)
Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
RSA-260 Factorized (twitter.com)
Ask HN: Resources to get good at soldering? (ycombinator.com)
The Highest Point in the Netherlands (hanazo.no)
Fermat's Last Theorem in Lean 4 (github.com/anthropics)
IBM Bob (bob.ibm.com)
Praearcturus gigas: giant scorpion from Lower Devonian (Lochkovian) of Britain (wiley.com)
The Rust React Compiler is now native in Vite (master.dev)
An open DNS recursive service for free security and high privacy (quad9.net)
Decompiler Explorer (dogbolt.org)
Government Rails Site Hit Hours After CVE Patch (rietta.com)
Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)
Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
Icons as a Service (nravic.com)
Connecting every app to every other app (val.town)