logoHacker News
newpastcommentsaskshowjobs
GitHub logo

1.

upvote
Actively exploited sandbox RCE in all Chromium versions

(nvd.nist.gov)

337 points

by negura6 hours ago |
190 comments

2.

upvote
Formalizing Fermat's Last Theorem

(www.anthropic.com)

540 points

by jlebar9 hours ago |
336 comments

3.

upvote
Discovery of a new OpenAI agent message board

(collusion.wiki)

1551 points

by moultano16 hours ago |
1233 comments

4.

upvote
Artificial Analysis Intelligence Index v4.2

(artificialanalysis.ai)

80 points

by nojs4 hours ago |
21 comments

5.

upvote
Statichost.eu – European static site hosting

(www.statichost.eu)

191 points

by p4bl07 hours ago |
64 comments

6.

upvote
GPT-6 Astra on OpenRouter

(openrouter.ai)

154 points

by Topfi6 hours ago |
80 comments

7.

upvote
Can AI design circuit boards yet?

(eebench.org)

192 points

by iopapa8 hours ago |
126 comments

8.

upvote
Shutting down our public encrypted DNS

(mullvad.net)

284 points

by mywacaday9 hours ago |
127 comments

9.

upvote
Can guitar frets perform multiplication?

(www.charlespetzold.com)

44 points

by wibbily5 hours ago |
12 comments

10.

upvote
Git Submodules as a Package Manager

(nesbitt.io)

17 points

by ErenayDev3 days ago |
3 comments

11.

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

(engineering.atspotify.com)

58 points

by cebert4 hours ago |
26 comments

12.

upvote
Show HN: Open-Source eInk Bike Computer

(opentrailpaper.com)

252 points

by stingrae11 hours ago |
89 comments

13.

upvote
RSA-260 Factorized

(twitter.com)

81 points

by samyok1 days ago |
38 comments

14.

upvote
Ask HN: Resources to get good at soldering?

76 points

by tosmatos2 days ago |
55 comments

15.

upvote
An open DNS recursive service for free security and high privacy

(quad9.net)

70 points

by mooreds8 hours ago |
19 comments

16.

upvote
Fermat's Last Theorem in Lean 4

(github.com)

79 points

by aaraujo0029 hours ago |
15 comments

17.

upvote
Government Rails Site Hit Hours After CVE Patch

(rietta.com)

80 points

by rietta9 hours ago |
24 comments

18.

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

(blog.cr.yp.to)

15 points

by zdw3 days ago |
5 comments

19.

upvote
Decompiler Explorer

(dogbolt.org)

50 points

by tripdout3 days ago |
1 comments

20.

upvote
The Rust React Compiler is now native in Vite

(blog.master.dev)

124 points

by acusti10 hours ago |
24 comments

21.

upvote
IBM Bob

(bob.ibm.com)

241 points

by artpar15 hours ago |
278 comments

22.

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

(news.gallup.com)

271 points

by karakoram6 hours ago |
204 comments

23.

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

(github.com)

102 points

by gioscarab19 hours ago |
29 comments

24.

upvote
Icons as a Service

(nravic.com)

31 points

by nravic6 hours ago |
2 comments

25.

upvote
ExactTex. A gradually-typed superset of LaTeX

(github.com)

22 points

by camilochs3 days ago |
3 comments

26.

upvote
Connecting every app to every other app

(blog.val.town)

21 points

by Chidiebere2295 hours ago |
2 comments

27.

upvote
Show HN: Moadim.io – A scheduler for agents

(moadim.io)

20 points

by tupe123344 hours ago |
11 comments

28.

upvote
deSEC – Free Secure DNS

(desec.io)

122 points

by gurjeet12 hours ago |
42 comments

29.

upvote
Nitter has more working instances than before the takedowns

(codeberg.org)

38 points

by Cider99864 hours ago |
11 comments

30.

upvote
Updates on HEIR, the Homomorphic Encryption Compiler Project

(www.jeremykun.com)

31 points

by turtleyacht7 hours ago |
0 comments