Hacker News

Actively exploited sandbox RCE in all Chromium versions

349 points by negura 7 hours ago | 199 comments

Formalizing Fermat's Last Theorem

545 points by jlebar 10 hours ago | 338 comments

Discovery of a new OpenAI agent message board

1563 points by moultano 17 hours ago | 1239 comments

Statichost.eu – European static site hosting

196 points by p4bl0 8 hours ago | 64 comments

Artificial Analysis Intelligence Index v4.2

83 points by nojs 5 hours ago | 23 comments

GPT-6 Astra on OpenRouter

159 points by Topfi 7 hours ago | 83 comments

Can AI design circuit boards yet?

201 points by iopapa 9 hours ago | 127 comments

Shutting down our public encrypted DNS

289 points by mywacaday 10 hours ago | 128 comments

Git Submodules as a Package Manager

21 points by ErenayDev 4 days ago | 3 comments

Can guitar frets perform multiplication?

46 points by wibbily 6 hours ago | 14 comments

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

62 points by cebert 5 hours ago | 26 comments

RSA-260 Factorized

86 points by samyok 2 days ago | 38 comments

Show HN: Open-Source eInk Bike Computer

256 points by stingrae 11 hours ago | 90 comments

Ask HN: Resources to get good at soldering?

82 points by tosmatos 3 days ago | 57 comments

An open DNS recursive service for free security and high privacy

73 points by mooreds 8 hours ago | 19 comments

Fermat's Last Theorem in Lean 4

81 points by aaraujo002 10 hours ago | 15 comments

The Highest Point in the Netherlands

6 points by haasted 3 days ago | 1 comments

Government Rails Site Hit Hours After CVE Patch

82 points by rietta 10 hours ago | 24 comments

Nitter has more working instances than before the takedowns

43 points by Cider9986 5 hours ago | 11 comments

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

284 points by karakoram 7 hours ago | 209 comments

The Rust React Compiler is now native in Vite

126 points by acusti 11 hours ago | 24 comments

242 points by artpar 16 hours ago | 278 comments

Decompiler Explorer

52 points by tripdout 3 days ago | 1 comments

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

103 points by gioscarab 20 hours ago | 29 comments

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

15 points by zdw 3 days ago | 5 comments

Icons as a Service

31 points by nravic 7 hours ago | 2 comments

deSEC – Free Secure DNS

122 points by gurjeet 13 hours ago | 42 comments

ExactTex. A gradually-typed superset of LaTeX

22 points by camilochs 4 days ago | 4 comments

Connecting every app to every other app

21 points by Chidiebere229 6 hours ago | 2 comments

Show HN: Moadim.io – A scheduler for agents

20 points by tupe12334 5 hours ago | 11 comments