< prev1 / 10 more >

• 106Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar48 minutes ago | 24 comments
• 1157Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano7 hours ago | 174 comments
• 115Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae2 hours ago | 21 comments
• 46Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday40 minutes ago | 3 comments
• 28The Rust React Compiler is now native in Vite (blog.master.dev)
  by acusti1 hour ago | 4 comments
• 6Government Rails Site Hit Hours After CVE Patch (rietta.com)
  by rietta24 minutes ago | 0 comments
• 161IBM Bob (bob.ibm.com)
  by artpar6 hours ago | 85 comments
• 40Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
  by qainsights3 hours ago | 9 comments
• 328Solving the Jane Street reverse engineering challenge (jestoph.com)
  by anitil9 hours ago | 30 comments
• 51deSEC – Free Secure DNS (desec.io)
  by gurjeet3 hours ago | 10 comments

< prev1 / 10 more >