AI handles incidents, engineers lose touch with their systems
https://www.sylvainkalache.com/blog/ai-handles-incidents-engineers-lose-touch-with-their-systemsActively exploited sandbox RCE in all Chromium versions
https://nvd.nist.gov/vuln/detail/cve-2026-85046Discovery of a new OpenAI agent message board
https://collusion.wiki/Formalizing Fermat's Last Theorem
https://www.anthropic.com/research/formalizing-fermats-last-theoremNitter has more working instances than before the takedowns
https://codeberg.org/mv12star/shitter/wiki/InstancesStatichost.eu – European static site hosting
https://www.statichost.eu/GPT-6 Astra on OpenRouter
https://openrouter.ai/openai/gpt-6-astraGPT-6 Astra in code review: Gains, privacy, and cost
https://www.coderabbit.ai/blog/gpt-6-astra-code-review-evaluationCan AI design circuit boards yet?
https://eebench.org/blog/can-ai-design-circuit-boards-yet/Shutting down our public encrypted DNS
https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-insteadPortal 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.htmlArtificial Analysis Intelligence Index v4.2
https://artificialanalysis.ai/articles/artificial-analysis-intelligence-index-v4-2The Highest Point in the Netherlands
https://ipv6.hanazo.no/posts/anniversary-personal/Show HN: Open-Source eInk Bike Computer
https://opentrailpaper.comCan guitar frets perform multiplication?
https://www.charlespetzold.com/blog/2026/09/Can-Guitar-Frets-Perform-Multiplication.htmlAsk HN: Resources to get good at soldering?
Kale: A Transformation-Safe Spreadsheet System
https://arxiv.org/abs/2608.26345Pointing at the error: compiler-style diagnostics in uutils coreutils
https://uutils.org/blog/2026-08-error-diagnostics/IBM Bob
https://bob.ibm.com/An open DNS recursive service for free security and high privacy
https://quad9.net/RSA-260 Factorized
https://twitter.com/penlume/status/2095372672356212876Fermat's Last Theorem in Lean 4
https://github.com/anthropics/fermats-last-theoremThe Rust React Compiler is now native in Vite
https://blog.master.dev/react-now-rusted-all-the-way-out/Decompiler Explorer
https://dogbolt.orgGovernment Rails Site Hit Hours After CVE Patch
https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/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.mdGit hosting that never leaves Europe
https://pushin.eudeSEC – Free Secure DNS
https://desec.io/