-
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)
-
128
Ask HN: Resources to get good at soldering?
ask -
10
Pointing at the error: compiler-style diagnostics in uutils coreutils
(uutils.org)
-
270
IBM Bob
(bob.ibm.com)
-
88
An open DNS recursive service for free security and high privacy
(quad9.net)
-
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)
-
131
Show HN: TERMy – A fast terminal assistant that does not use LLMs
(github.com)
-
114
RSA-260 Factorized
(twitter.com)
-
72
Git hosting that never leaves Europe
(pushin.eu)
-
131
deSEC – Free Secure DNS
(desec.io)