1. Formalizing Fermat's Last Theorem (www.anthropic.com)
    386 points by jlebar about 4 hours | 248 comments
  2. Statichost.eu – European static site hosting (www.statichost.eu)
    112 points by p4bl0 about 2 hours | 36 comments
  3. Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
    44 points by negura about 1 hour | 8 comments
  4. Discovery of a new OpenAI agent message board (collusion.wiki)
    1388 points by moultano about 11 hours | 1116 comments
  5. GPT-6 Astra on OpenRouter (openrouter.ai)
    33 points by Topfi about 1 hour | 14 comments
  6. Can AI design circuit boards yet? (eebench.org)
    106 points by iopapa about 3 hours | 70 comments
  7. Shutting down our public encrypted DNS (mullvad.net)
    191 points by mywacaday about 4 hours | 72 comments
  8. Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
    201 points by stingrae about 5 hours | 65 comments
  9. An open DNS recursive service for free security and high privacy (quad9.net)
    35 points by mooreds about 3 hours | 7 comments
  10. Government Rails Site Hit Hours After CVE Patch (rietta.com)
    59 points by rietta about 4 hours | 12 comments
  11. The Rust React Compiler is now native in Vite (blog.master.dev)
    92 points by acusti about 5 hours | 17 comments
  12. Fermat's Last Theorem in Lean 4 (github.com)
    39 points by aaraujo002 about 4 hours | 9 comments
  13. RSA-260 Factorized (twitter.com)
    26 points by samyok 1 day | 6 comments
  14. Updates on HEIR, the Homomorphic Encryption Compiler Project (www.jeremykun.com)
    8 points by turtleyacht about 1 hour | discuss
  15. Digital Sovereignty Is Written in PHP (thephp.foundation)
    10 points by taubek 2 days | discuss
  16. How to Create a Tor Exit Node (madpsy.uk)
    24 points by Eridanus2 about 2 hours | 17 comments
  17. IBM Bob (bob.ibm.com)
    206 points by artpar about 10 hours | 242 comments
  18. deSEC – Free Secure DNS (desec.io)
    94 points by gurjeet about 7 hours | 38 comments
  19. Solving the Jane Street reverse engineering challenge (jestoph.com)
    372 points by anitil about 12 hours | 83 comments
  20. The Wormhole Hall of Shame (rznicolet.com)
    18 points by rznicolet 4 days | 8 comments
  21. Fomu An FPGA board that fits inside your USB port (www.crowdsupply.com)
    19 points by Bluestein 3 days | 4 comments
  22. Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
    55 points by qainsights about 6 hours | 29 comments
  23. Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
    285 points by speckx about 6 hours | 174 comments
  24. Deadpan Photography: Enjoying the Pretence (photoni.st)
    22 points by NaOH 4 days | 12 comments
  25. Some more thoughts on random_page_cost (vondra.me)
    6 points by blueshoess about 2 hours | discuss
  26. "Next-token predictor" is the wrong mental model for LLMs (gmcgoldr.github.io)
    51 points by garrinm about 6 hours | 116 comments
  27. SubImage (YC W25) Is Hiring a Founding Engineer in SF (www.ycombinator.com)
    about 11 hours
  28. People that worked on the same idea for decades (nityasnotes.com)
    49 points by sebg 1 day | 23 comments
  29. Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com)
    79 points by gioscarab about 14 hours | 26 comments
  30. Icons as a Service (nravic.com)
    3 points by nravic about 1 hour | discuss
More