< prev1 / 10 more >

• 351Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar3 hours ago | 56 comments
• 82Statichost.eu – 100% European static site hosting (statichost.eu)
  by p4bl01 hour ago | 13 comments
• 1365Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano10 hours ago | 191 comments
• 84Can AI design circuit boards yet? (eebench.org)
  by iopapa2 hours ago | 29 comments
• 17Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
  by negura21 minutes ago | 1 comments
• 179Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday3 hours ago | 11 comments
• 31An open DNS recursive service for free security and high privacy (quad9.net)
  by mooreds2 hours ago | 4 comments
• 192Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae4 hours ago | 26 comments
• 54Government Rails Site Hit Hours After CVE Patch (rietta.com)
  by rietta3 hours ago | 5 comments
• 86The Rust React Compiler is now native in Vite (blog.master.dev)
  by acusti4 hours ago | 6 comments

< prev1 / 10 more >