Actively exploited sandbox RCE in all Chromium versions

345 points193 comments

Formalizing Fermat's Last Theorem

541 points338 comments

Discovery of a new OpenAI agent message board

1557 points1235 comments

Statichost.eu – European static site hosting

193 points64 comments

Artificial Analysis Intelligence Index v4.2

81 points23 comments

GPT-6 Astra on OpenRouter

157 points80 comments

Can AI design circuit boards yet?

199 points127 comments

Shutting down our public encrypted DNS

286 points128 comments

Can guitar frets perform multiplication?

45 points14 comments

Portal by Spotify cut my Claude Code token usage by 90%

62 points26 comments

Git Submodules as a Package Manager

18 points3 comments

Show HN: Open-Source eInk Bike Computer

255 points89 comments

RSA-260 Factorized

85 points39 comments

Ask HN: Resources to get good at soldering?

80 points57 comments

An open DNS recursive service for free security and high privacy

72 points19 comments

Fermat's Last Theorem in Lean 4

80 points15 comments

Government Rails Site Hit Hours After CVE Patch

82 points24 comments

Record-High 89% in U.S. Say Government Corruption Widespread

279 points207 comments

IBM Bob

242 points278 comments

Bugs happen: The easy way to compare solo PQ to ECC+PQ

15 points5 comments

The Rust React Compiler is now native in Vite

125 points24 comments

Decompiler Explorer

50 points1 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

103 points29 comments

Nitter has more working instances than before the takedowns

41 points11 comments

Icons as a Service

31 points2 comments

deSEC – Free Secure DNS

122 points42 comments

ExactTex. A gradually-typed superset of LaTeX

22 points4 comments

Connecting every app to every other app

21 points2 comments

Show HN: Moadim.io – A scheduler for agents

20 points11 comments

Updates on HEIR, the Homomorphic Encryption Compiler Project

32 points0 comments