1
68
AI handles incidents, engineers lose touch with their systems (sylvainkalache.com)
490
Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
1709
Discovery of a new OpenAI agent message board (collusion.wiki)
617
Formalizing Fermat's Last Theorem (anthropic.com)
211
Nitter has more working instances than before the takedowns (codeberg.org)
285
Statichost.eu – European static site hosting (statichost.eu)
221
GPT-6 Astra on OpenRouter (openrouter.ai)
40
GPT-6 Astra in code review: Gains, privacy, and cost (coderabbit.ai)
259
Can AI design circuit boards yet? (eebench.org)
344
Shutting down our public encrypted DNS (mullvad.net)
131
Portal by Spotify cut my Claude Code token usage by 90% (engineering.atspotify.com)
56
Git Submodules as a Package Manager (nesbitt.io)
6
Kale: A Transformation-Safe Spreadsheet System (arxiv.org)
118
Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
53
The Highest Point in the Netherlands (ipv6.hanazo.no)
77
Can guitar frets perform multiplication? (charlespetzold.com)
286
Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
270
IBM Bob (bob.ibm.com)
108
Fermat's Last Theorem in Lean 4 (github.com)
416
Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
138
The Rust React Compiler is now native in Vite (blog.master.dev)
94
Government Rails Site Hit Hours After CVE Patch (rietta.com)
86
Decompiler Explorer (dogbolt.org)
114
RSA-260 Factorized (twitter.com)
72
Git hosting that never leaves Europe (pushin.eu)
131
deSEC – Free Secure DNS (desec.io)