2. Formalizing Fermat's Last Theorem
3. Discovery of a new OpenAI agent message board
4. Artificial Analysis Intelligence Index v4.2
5. Statichost.eu – European static site hosting
6. GPT-6 Astra on OpenRouter
7. Shutting down our public encrypted DNS
8. Can AI design circuit boards yet?
9. Can guitar frets perform multiplication?
10. Portal by Spotify cut my Claude Code token usage by 90%
11. Git Submodules as a Package Manager
12. Show HN: Open-Source eInk Bike Computer
13. RSA-260 Factorized
14. Ask HN: Resources to get good at soldering?
15. An open DNS recursive service for free security and high privacy
16. Fermat's Last Theorem in Lean 4
17. Bugs happen: The easy way to compare solo PQ to ECC+PQ
18. Government Rails Site Hit Hours After CVE Patch
19. Decompiler Explorer
20. The Rust React Compiler is now native in Vite
21. IBM Bob
22. Record-High 89% in U.S. Say Government Corruption Widespread
23. Show HN: TERMy – A fast terminal assistant that does not use LLMs
24. Icons as a Service
25. ExactTex. A gradually-typed superset of LaTeX
26. Show HN: Moadim.io – A scheduler for agents
27. Connecting every app to every other app
28. deSEC – Free Secure DNS
29. Nitter has more working instances than before the takedowns
30. Updates on HEIR, the Homomorphic Encryption Compiler Project
- Next Page
Hacker News