< prev1 / 10 more >

• 261Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar2 hours ago | 43 comments
• 1283Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano8 hours ago | 181 comments
• 128Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday2 hours ago | 8 comments
• 42Can AI design circuit boards yet? (eebench.org)
  by iopapa1 hour ago | 10 comments
• 163Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae3 hours ago | 23 comments
• 37Government Rails Site Hit Hours After CVE Patch (rietta.com)
  by rietta1 hour ago | 2 comments
• 13An open DNS recursive service for free security and high privacy (quad9.net)
  by mooreds41 minutes ago | 3 comments
• 63The Rust React Compiler is now native in Vite (blog.master.dev)
  by acusti3 hours ago | 4 comments
• 185IBM Bob (bob.ibm.com)
  by artpar8 hours ago | 87 comments
• 81deSEC – Free Secure DNS (desec.io)
  by gurjeet5 hours ago | 13 comments

< prev1 / 10 more >