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

307 points by negura 6 hours ago| 171 comments

1

Formalizing Fermat's Last Theorem (anthropic.com)

525 points by jlebar 9 hours ago| 329 comments

2

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

1531 points by moultano 16 hours ago| 1220 comments

3

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

71 points by nojs 4 hours ago| 16 comments

4

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

185 points by p4bl0 7 hours ago| 62 comments

5

GPT-6 Astra on OpenRouter (openrouter.ai)

145 points by Topfi 6 hours ago| 75 comments

6

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

186 points by iopapa 8 hours ago| 118 comments

7

Shutting down our public encrypted DNS (mullvad.net)

271 points by mywacaday 9 hours ago| 121 comments

8

Can guitar frets perform multiplication? (charlespetzold.com)

42 points by wibbily 5 hours ago| 12 comments

9

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

51 points by cebert 4 hours ago| 22 comments

10

RSA-260 Factorized (twitter.com)

79 points by samyok 2 days ago| 35 comments

11

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

248 points by stingrae 10 hours ago| 87 comments

12

Git Submodules as a Package Manager (nesbitt.io)

13 points by ErenayDev 4 days ago| 2 comments

13

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

13 points by zdw 3 days ago| 5 comments

14

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

249 points by karakoram 6 hours ago| 193 comments

15

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

68 points by mooreds 7 hours ago| 18 comments

16

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

74 points by aaraujo002 9 hours ago| 15 comments

17

Ask HN: Resources to get good at soldering?

73 points by tosmatos 3 days ago| 53 comments

18

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

78 points by rietta 9 hours ago| 24 comments

19

Icons as a Service (nravic.com)

29 points by nravic 6 hours ago| 2 comments

20

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

121 points by acusti 10 hours ago| 23 comments

21

IBM Bob (bob.ibm.com)

236 points by artpar 15 hours ago| 270 comments

22

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

99 points by gioscarab 19 hours ago| 28 comments

23

Decompiler Explorer (dogbolt.org)

44 points by tripdout 3 days ago| 1 comment

24

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

19 points by tupe12334 4 hours ago| 11 comments

25

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

21 points by camilochs 4 days ago| 2 comments

26

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

18 points by Chidiebere229 5 hours ago| 1 comment

27

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

24 points by Cider9986 4 hours ago| 8 comments

28

deSEC – Free Secure DNS (desec.io)

120 points by gurjeet 12 hours ago| 42 comments

29

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

27 points by turtleyacht 6 hours ago| 0 comments

30

More...