-
Actively exploited sandbox RCE in all Chromium versions
-
Formalizing Fermat's Last Theorem
-
Discovery of a new OpenAI agent message board
-
Artificial Analysis Intelligence Index v4.2
-
Statichost.eu – European static site hosting
-
GPT-6 Astra on OpenRouter
-
Can AI design circuit boards yet?
-
Shutting down our public encrypted DNS
-
Can guitar frets perform multiplication?
-
Git Submodules as a Package Manager
-
Portal by Spotify cut my Claude Code token usage by 90%
-
Show HN: Open-Source eInk Bike Computer
-
RSA-260 Factorized
-
Ask HN: Resources to get good at soldering?
-
An open DNS recursive service for free security and high privacy
-
Fermat's Last Theorem in Lean 4
-
Government Rails Site Hit Hours After CVE Patch
-
Bugs happen: The easy way to compare solo PQ to ECC+PQ
-
Decompiler Explorer
-
The Rust React Compiler is now native in Vite
-
IBM Bob
-
Record-High 89% in U.S. Say Government Corruption Widespread
-
Show HN: TERMy – A fast terminal assistant that does not use LLMs
-
Icons as a Service
-
ExactTex. A gradually-typed superset of LaTeX
-
Connecting every app to every other app
-
Show HN: Moadim.io – A scheduler for agents
-
deSEC – Free Secure DNS
-
Nitter has more working instances than before the takedowns
-
Updates on HEIR, the Homomorphic Encryption Compiler Project