Hacker News with Generative AI

Formalizing Fermat's Last Theorem (anthropic.com)
Discovery of a new OpenAI agent message board (collusion.wiki)
Shutting down our public encrypted DNS (mullvad.net)
Can AI design circuit boards yet? (eebench.org)
Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
Government Rails Site Hit Hours After CVE Patch (rietta.com)
An open DNS recursive service for free security and high privacy (quad9.net)
The Rust React Compiler is now native in Vite (master.dev)
IBM Bob (bob.ibm.com)
deSEC – Free Secure DNS (desec.io)
Solving the Jane Street reverse engineering challenge (jestoph.com)
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
Statichost.eu – 100% European static site hosting (statichost.eu)
Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
People that worked on the same idea for decades (nityasnotes.com)
Corporate America is getting hooked on open-source AI (nytimes.com)
How to Create a Tor Exit Node (madpsy.uk)
Bin Laden's "Letter to America" (ceu.su)
Deadpan Photography: Enjoying the Pretence (photoni.st)
Elevator of the Year: Modernization of the Metropolis Trust Building (starelevator.com)
Fermat's Last Theorem in Lean 4 (github.com/anthropics)
Getting Started with AT Protocol (bnb.im)
Ok, but does it scale? (spacetimedb.com)
The Two Abstractions of System Design: Hide or Reduce (blogspot.com)
Qwen 3.8 27B available on Cerebras at 1500 tokens/s (cerebras.ai)
GPT-6 Astra (openai.com)
Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express' (millersbookreview.com)
Resources to Get Good at Soldering? (ycombinator.com)