Actively exploited sandbox RCE in all Chromium versions
https://nvd.nist.gov/vuln/detail/cve-2026-85046Formalizing Fermat's Last Theorem
https://www.anthropic.com/research/formalizing-fermats-last-theoremDiscovery of a new OpenAI agent message board
https://collusion.wiki/Artificial Analysis Intelligence Index v4.2
https://artificialanalysis.ai/articles/artificial-analysis-intelligence-index-v4-2Statichost.eu – European static site hosting
https://www.statichost.eu/GPT-6 Astra on OpenRouter
https://openrouter.ai/openai/gpt-6-astraShutting down our public encrypted DNS
https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-insteadCan AI design circuit boards yet?
https://eebench.org/blog/can-ai-design-circuit-boards-yet/Can guitar frets perform multiplication?
https://www.charlespetzold.com/blog/2026/09/Can-Guitar-Frets-Perform-Multiplication.htmlPortal by Spotify cut my Claude Code token usage by 90%
https://engineering.atspotify.com/2026/9/portal-by-spotify-cut-my-claude-code-token-usage-by-90Git Submodules as a Package Manager
https://nesbitt.io/2026/09/01/git-submodules-as-a-package-manager.htmlShow HN: Open-Source eInk Bike Computer
https://opentrailpaper.comRSA-260 Factorized
https://twitter.com/penlume/status/2095372672356212876An open DNS recursive service for free security and high privacy
https://quad9.net/Ask HN: Resources to get good at soldering?
Fermat's Last Theorem in Lean 4
https://github.com/anthropics/fermats-last-theoremBugs happen: The easy way to compare solo PQ to ECC+PQ
https://blog.cr.yp.to/20260704-bugs.htmlGovernment Rails Site Hit Hours After CVE Patch
https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/Decompiler Explorer
https://dogbolt.orgThe Rust React Compiler is now native in Vite
https://blog.master.dev/react-now-rusted-all-the-way-out/IBM Bob
https://bob.ibm.com/Record-High 89% in U.S. Say Government Corruption Widespread
https://news.gallup.com/poll/713933/record-high-say-government-corruption-widespread.aspxShow HN: TERMy – A fast terminal assistant that does not use LLMs
https://github.com/gioblu/NPC-Forge/blob/main/docs/development.mdIcons as a Service
https://nravic.com/blog/images/ExactTex. A gradually-typed superset of LaTeX
https://github.com/camilochs/exacttexShow HN: Moadim.io – A scheduler for agents
https://moadim.io/Connecting every app to every other app
https://blog.val.town/connectorsdeSEC – Free Secure DNS
https://desec.io/Nitter has more working instances than before the takedowns
https://codeberg.org/mv12star/shitter/wiki/InstancesUpdates on HEIR, the Homomorphic Encryption Compiler Project
https://www.jeremykun.com/2026/09/04/updates-on-heir-homomorphic-encryption/