- 149 AI handles incidents, engineers lose touch with their systems (sylvainkalache.com)
- 518 Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
- 1741 Discovery of a new OpenAI agent message board (collusion.wiki)
- 625 Formalizing Fermat's Last Theorem (anthropic.com)
- 260 Nitter has more working instances than before the takedowns (codeberg.org)
- 305 Statichost.eu – European static site hosting (statichost.eu)
- 19 Kale: A Transformation-Safe Spreadsheet System (arxiv.org)
- 236 GPT-6 Astra on OpenRouter (openrouter.ai)
- 267 Can AI design circuit boards yet? (eebench.org)
- 51 GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)
- 148 Portal by Spotify cut my Claude Code token usage by 90% (engineering.atspotify.com)
- 359 Shutting down our public encrypted DNS (mullvad.net)
- 60 Git Submodules as a Package Manager (nesbitt.io)
- 20 Netherlands pulls gold out of the US for fears of 'geopolitical unrest' (abc.net.au)
- 140 Ask HN: Resources to get good at soldering? ()
ask - 121 Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
- 3 Sky Map 2000 – Star Atlas and Planetarium (skymap2000.com)
- 293 Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 90 Can guitar frets perform multiplication? (charlespetzold.com)
- 18 Pointing at the error: compiler-style diagnostics in uutils coreutils (uutils.org)
- 274 IBM Bob (bob.ibm.com)
- 94 An open DNS recursive service for free security and high privacy (quad9.net)
- 116 Fermat's Last Theorem in Lean 4 (github.com)
- 143 The Rust React Compiler is now native in Vite (blog.master.dev)
- 447 Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
- 98 Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 139 Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
- 93 Decompiler Explorer (dogbolt.org)
- 116 RSA-260 Factorized (twitter.com)
- 2179 GPT-6 Astra (openai.com)