FastHTML page

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

345 points by negura 7 hours ago | 193 comments

2. Formalizing Fermat's Last Theorem (www.anthropic.com)

541 points by jlebar 10 hours ago | 338 comments

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

1557 points by moultano 17 hours ago | 1235 comments

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

193 points by p4bl0 8 hours ago | 64 comments

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

81 points by nojs 4 hours ago | 23 comments

6. GPT-6 Astra on OpenRouter (openrouter.ai)

157 points by Topfi 7 hours ago | 80 comments

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

199 points by iopapa 9 hours ago | 127 comments

8. Shutting down our public encrypted DNS (mullvad.net)

286 points by mywacaday 10 hours ago | 128 comments

9. Can guitar frets perform multiplication? (www.charlespetzold.com)

45 points by wibbily 6 hours ago | 14 comments

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

62 points by cebert 5 hours ago | 26 comments

11. Git Submodules as a Package Manager (nesbitt.io)

18 points by ErenayDev 4 days ago | 3 comments

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

255 points by stingrae 11 hours ago | 89 comments

13. RSA-260 Factorized (twitter.com)

85 points by samyok 2 days ago | 39 comments

14. Ask HN: Resources to get good at soldering?

80 points by tosmatos 3 days ago | 57 comments

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

72 points by mooreds 8 hours ago | 19 comments

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

80 points by aaraujo002 10 hours ago | 15 comments

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

82 points by rietta 9 hours ago | 24 comments

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

279 points by karakoram 6 hours ago | 207 comments

19. IBM Bob (bob.ibm.com)

242 points by artpar 16 hours ago | 278 comments

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

15 points by zdw 3 days ago | 5 comments

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

125 points by acusti 11 hours ago | 24 comments

22. Decompiler Explorer (dogbolt.org)

50 points by tripdout 3 days ago | 1 comments

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

103 points by gioscarab 19 hours ago | 29 comments

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

41 points by Cider9986 4 hours ago | 11 comments

25. Icons as a Service (nravic.com)

31 points by nravic 7 hours ago | 2 comments

26. deSEC – Free Secure DNS (desec.io)

122 points by gurjeet 13 hours ago | 42 comments

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

22 points by camilochs 4 days ago | 4 comments

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

21 points by Chidiebere229 5 hours ago | 2 comments

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

20 points by tupe12334 5 hours ago | 11 comments

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

32 points by turtleyacht 7 hours ago | 0 comments

Scroll for more..