1. Formalizing Fermat's Last Theorem view 267 comments
2. Actively exploited sandbox RCE in all Chromium versions view 23 comments
3. Statichost.eu – European static site hosting view 41 comments
4. Discovery of a new OpenAI agent message board view 1131 comments
5. GPT-6 Astra on OpenRouter view 22 comments
6. Can AI design circuit boards yet? view 71 comments
7. Shutting down our public encrypted DNS view 75 comments
8. An open DNS recursive service for free security and high privacy view 9 comments
9. Show HN: Open-Source eInk Bike Computer view 68 comments
10. RSA-260 Factorized view 11 comments
11. Government Rails Site Hit Hours After CVE Patch view 14 comments
12. The Rust React Compiler is now native in Vite view 19 comments
13. Fermat's Last Theorem in Lean 4 view 10 comments
14. Digital Sovereignty Is Written in PHP view 1 comments
15. Record-High 89% in U.S. Say Government Corruption Widespread view 22 comments
16. How to Create a Tor Exit Node (2015) view 18 comments
17. Updates on HEIR, the Homomorphic Encryption Compiler Project view discussion
18. IBM Bob view 247 comments
19. deSEC – Free Secure DNS view 39 comments
20. Solving the Jane Street reverse engineering challenge view 83 comments
21. Icons as a Service view discussion
22. The Wormhole Hall of Shame view 9 comments
23. Fomu An FPGA board that fits inside your USB port view 4 comments
24. Project HydraFusion: Frontier quality via multi-model orchestration view 29 comments
25. Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive view 185 comments
26. Deadpan Photography: Enjoying the Pretence view 14 comments
27. "Next-token predictor" is the wrong mental model for LLMs view 141 comments
28. SubImage (YC W25) Is Hiring a Founding Engineer in SF view discussion
29. Without new landers or rovers, it's helicopters or bust for NASA's Mars program view discussion
30. Show HN: TERMy – A fast terminal assistant that does not use LLMs view 27 comments

More