< prev1 / 10 more >

• 119Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar53 minutes ago | 26 comments
• 1171Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano7 hours ago | 176 comments
• 52Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday46 minutes ago | 5 comments
• 116Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae2 hours ago | 21 comments
• 31The Rust React Compiler is now native in Vite (blog.master.dev)
  by acusti1 hour ago | 4 comments
• 8Government Rails Site Hit Hours After CVE Patch (rietta.com)
  by rietta29 minutes ago | 0 comments
• 162IBM Bob (bob.ibm.com)
  by artpar6 hours ago | 85 comments
• 329Solving 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
• 52deSEC – Free Secure DNS (desec.io)
  by gurjeet3 hours ago | 10 comments

< prev1 / 10 more >