< prev1 / 10 more >

• 220Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar1 hour ago | 39 comments
• 1245Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano8 hours ago | 179 comments
• 113Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday1 hour ago | 8 comments
• 32Can AI design circuit boards yet? (eebench.org)
  by iopapa43 minutes ago | 9 comments
• 147Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae3 hours ago | 23 comments
• 32Government Rails Site Hit Hours After CVE Patch (rietta.com)
  by rietta1 hour ago | 2 comments
• 56The Rust React Compiler is now native in Vite (blog.master.dev)
  by acusti2 hours ago | 4 comments
• 5An open DNS recursive service for free security and high privacy (quad9.net)
  by mooreds18 minutes ago | 0 comments
• 183IBM Bob (bob.ibm.com)
  by artpar7 hours ago | 86 comments
• 349Solving the Jane Street reverse engineering challenge (jestoph.com)
  by anitil10 hours ago | 31 comments

< prev1 / 10 more >