< prev1 / 10 more >

• 125Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar57 minutes ago | 27 comments
• 1177Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano7 hours ago | 176 comments
• 59Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday50 minutes ago | 6 comments
• 118Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae2 hours ago | 21 comments
• 34The Rust React Compiler is now native in Vite (blog.master.dev)
  by acusti1 hour ago | 4 comments
• 10Government Rails Site Hit Hours After CVE Patch (rietta.com)
  by rietta33 minutes ago | 1 comments
• 162IBM Bob (bob.ibm.com)
  by artpar6 hours ago | 85 comments
• 331Solving the Jane Street reverse engineering challenge (jestoph.com)
  by anitil9 hours ago | 30 comments
• 40Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
  by qainsights3 hours ago | 9 comments
• 55deSEC – Free Secure DNS (desec.io)
  by gurjeet4 hours ago | 11 comments

< prev1 / 10 more >