< prev1 / 10 more >

• 278Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar2 hours ago | 45 comments
• 1298Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano9 hours ago | 184 comments
• 54Can AI design circuit boards yet? (eebench.org)
  by iopapa1 hour ago | 18 comments
• 142Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday2 hours ago | 8 comments
• 171Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae3 hours ago | 24 comments
• 38Government Rails Site Hit Hours After CVE Patch (rietta.com)
  by rietta2 hours ago | 3 comments
• 19Statichost.eu – 100% European static site hosting (statichost.eu)
  by p4bl037 minutes ago | 1 comments
• 15An open DNS recursive service for free security and high privacy (quad9.net)
  by mooreds59 minutes ago | 3 comments
• 72The Rust React Compiler is now native in Vite (blog.master.dev)
  by acusti3 hours ago | 4 comments
• 4Fermat's Last Theorem: Anthropic has beaten me to it (xenaproject.wordpress.com)
  by ravenical12 minutes ago | 0 comments

< prev1 / 10 more >