- 282Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
- 517Formalizing Fermat's Last Theorem (anthropic.com)
- 1514Discovery of a new OpenAI agent message board (collusion.wiki)
- 61Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
- 181Statichost.eu – European static site hosting (statichost.eu)
- 138GPT-6 Astra on OpenRouter (openrouter.ai)
- 264Shutting down our public encrypted DNS (mullvad.net)
- 180Can AI design circuit boards yet? (eebench.org)
- 41Can guitar frets perform multiplication? (charlespetzold.com)
- 45Portal by Spotify cut my Claude Code token usage by 90% (engineering.atspotify.com)
- 71RSA-260 Factorized (twitter.com)
- 241Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
- 7Git Submodules as a Package Manager (nesbitt.io)
- 67An open DNS recursive service for free security and high privacy (quad9.net)
- 72Fermat's Last Theorem in Lean 4 (github.com)
- 231Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
- 77Government Rails Site Hit Hours After CVE Patch (rietta.com)
- 19ExactTex. A gradually-typed superset of LaTeX (github.com)
- 117The Rust React Compiler is now native in Vite (blog.master.dev)
- 16Show HN: Moadim.io – A scheduler for agents (moadim.io)
- 27Icons as a Service (nravic.com)
- 15When declaring an incident becomes everyone's favorite workaround (greatcircle.com)
- 233IBM Bob (bob.ibm.com)
- 17Connecting every app to every other app (blog.val.town)
- 41Decompiler Explorer (dogbolt.org)
- 116deSEC – Free Secure DNS (desec.io)
- 44How to Create a Tor Exit Node (2015) (madpsy.uk)
- 25Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)
- 92“Next-token predictor” is the wrong mental model for LLMs (gmcgoldr.github.io)
- 360Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)