Hacker News with Generative AI

Actively exploited sandbox RCE in all Chromium versions (nist.gov)

335 points by negura 7 hours ago | 189 comments

Formalizing Fermat's Last Theorem (anthropic.com)

539 points by jlebar 10 hours ago | 336 comments

Discovery of a new OpenAI agent message board (collusion.wiki)

1550 points by moultano 16 hours ago | 1233 comments

Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)

79 points by nojs 4 hours ago | 21 comments

Statichost.eu – European static site hosting (statichost.eu)

191 points by p4bl0 8 hours ago | 64 comments

GPT-6 Astra on OpenRouter (openrouter.ai)

153 points by Topfi 7 hours ago | 80 comments

Can AI design circuit boards yet? (eebench.org)

192 points by iopapa 9 hours ago | 125 comments

Shutting down our public encrypted DNS (mullvad.net)

284 points by mywacaday 10 hours ago | 127 comments

Can guitar frets perform multiplication? (charlespetzold.com)

44 points by wibbily 6 hours ago | 12 comments

Git Submodules as a Package Manager (nesbitt.io)

17 points by ErenayDev 4 days ago | 3 comments

Portal by Spotify cut my Claude Code token usage by 90% (atspotify.com)

58 points by cebert 5 hours ago | 26 comments

Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)

252 points by stingrae 11 hours ago | 88 comments

RSA-260 Factorized (twitter.com)

81 points by samyok 2 days ago | 37 comments

Ask HN: Resources to get good at soldering? (ycombinator.com)

76 points by tosmatos 3 days ago | 55 comments

An open DNS recursive service for free security and high privacy (quad9.net)

70 points by mooreds 8 hours ago | 19 comments

Fermat's Last Theorem in Lean 4 (github.com/anthropics)

79 points by aaraujo002 9 hours ago | 15 comments

Government Rails Site Hit Hours After CVE Patch (rietta.com)

80 points by rietta 9 hours ago | 24 comments

Bugs happen: The easy way to compare solo PQ to ECC+PQ (cr.yp.to)

15 points by zdw 3 days ago | 5 comments

Decompiler Explorer (dogbolt.org)

50 points by tripdout 3 days ago | 1 comments

The Rust React Compiler is now native in Vite (master.dev)

124 points by acusti 11 hours ago | 24 comments

IBM Bob (bob.ibm.com)

240 points by artpar 16 hours ago | 278 comments

Record-High 89% in U.S. Say Government Corruption Widespread (gallup.com)

268 points by karakoram 6 hours ago | 204 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)

101 points by gioscarab 19 hours ago | 29 comments

Icons as a Service (nravic.com)

31 points by nravic 7 hours ago | 2 comments

ExactTex. A gradually-typed superset of LaTeX (github.com/camilochs)

22 points by camilochs 4 days ago | 3 comments

Connecting every app to every other app (val.town)

21 points by Chidiebere229 5 hours ago | 2 comments

Show HN: Moadim.io – A scheduler for agents (moadim.io)

20 points by tupe12334 5 hours ago | 11 comments

deSEC – Free Secure DNS (desec.io)

122 points by gurjeet 13 hours ago | 42 comments

Nitter has more working instances than before the takedowns (codeberg.org)

37 points by Cider9986 4 hours ago | 11 comments

Updates on HEIR, the Homomorphic Encryption Compiler Project (jeremykun.com)

31 points by turtleyacht 7 hours ago | 0 comments