-
215
Actively exploited sandbox RCE in all Chromium versions
(nvd.nist.gov)
-
479
Formalizing Fermat's Last Theorem
(anthropic.com)
-
1468
Discovery of a new OpenAI agent message board
(collusion.wiki)
-
33
Artificial Analysis Intelligence Index v4.2
(artificialanalysis.ai)
-
170
Statichost.eu – European static site hosting
(statichost.eu)
-
115
GPT-6 Astra on OpenRouter
(openrouter.ai)
-
250
Shutting down our public encrypted DNS
(mullvad.net)
-
154
Can AI design circuit boards yet?
(eebench.org)
-
11
Reversing MikroTik's Silent Patch: The RouterOS 7.23.4 Fix They Wouldn't Explain
(npratley.net)
-
25
Can guitar frets perform multiplication?
(charlespetzold.com)
-
57
RSA-260 Factorized
(twitter.com)
-
63
An open DNS recursive service for free security and high privacy
(quad9.net)
-
228
Show HN: Open-Source eInk Bike Computer
(opentrailpaper.com)
-
24
Portal by Spotify cut my Claude Code token usage by 90%
(engineering.atspotify.com)
-
172
Record-High 89% in U.S. Say Government Corruption Widespread
(news.gallup.com)
-
74
Government Rails Site Hit Hours After CVE Patch
(rietta.com)
-
64
Fermat's Last Theorem in Lean 4
(github.com)
-
110
The Rust React Compiler is now native in Vite
(blog.master.dev)
-
7
Show HN: Moadim.io – A scheduler for agents
(moadim.io)
-
24
Updates on HEIR, the Homomorphic Encryption Compiler Project
(jeremykun.com)
-
225
IBM Bob
(bob.ibm.com)
-
391
Solving the Jane Street reverse engineering challenge
(jestoph.com)
-
9
Connecting every app to every other app
(blog.val.town)
-
32
Decompiler Explorer
(dogbolt.org)
-
17
Icons as a Service
(nravic.com)
-
41
How to Create a Tor Exit Node (2015)
(madpsy.uk)
-
110
deSEC – Free Secure DNS
(desec.io)
-
80
“Next-token predictor” is the wrong mental model for LLMs
(gmcgoldr.github.io)
-
8
ExactTex. A gradually-typed superset of LaTeX
(github.com)
-
339
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
(torrentfreak.com)