- 21Why are European countries moving their gold out of North America? (bbc.com)
- 401Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
- 1602Discovery of a new OpenAI agent message board (collusion.wiki)
- 565Formalizing Fermat's Last Theorem (anthropic.com)
- 216Statichost.eu – European static site hosting (statichost.eu)
- 180GPT-6 Astra on OpenRouter (openrouter.ai)
- 97Nitter has more working instances than before the takedowns (codeberg.org)
- 220Can AI design circuit boards yet? (eebench.org)
- 95Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
- 307Shutting down our public encrypted DNS (mullvad.net)
- 30Git Submodules as a Package Manager (nesbitt.io)
- 57Can guitar frets perform multiplication? (charlespetzold.com)
- 81Portal by Spotify cut my Claude Code token usage by 90% (engineering.atspotify.com)
- 265Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 98RSA-260 Factorized (twitter.com)
- 13The Highest Point in the Netherlands (ipv6.hanazo.no)
- 97Ask HN: Resources to get good at soldering? ()
ask - 7GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)
- 13Praearcturus gigas: giant scorpion from Lower Devonian (Lochkovian) of Britain (onlinelibrary.wiley.com)
- 84Fermat's Last Theorem in Lean 4 (github.com)
- 79An open DNS recursive service for free security and high privacy (quad9.net)
- 248IBM Bob (bob.ibm.com)
- 129The Rust React Compiler is now native in Vite (blog.master.dev)
- 85Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 60Decompiler Explorer (dogbolt.org)
- 110Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
- 322Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
- 34Icons as a Service (nravic.com)
- 25ExactTex. A gradually-typed superset of LaTeX (github.com)
- 26Connecting every app to every other app (blog.val.town)