< prev1 / 10 more >

• 152Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar1 hour ago | 31 comments
• 1203Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano7 hours ago | 177 comments
• 75Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday1 hour ago | 7 comments
• 124Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae2 hours ago | 21 comments
• 18Government Rails Site Hit Hours After CVE Patch (rietta.com)
  by rietta47 minutes ago | 2 comments
• 40The Rust React Compiler is now native in Vite (blog.master.dev)
  by acusti2 hours ago | 4 comments
• 33Resources to Get Good at Soldering?
  by tosmatos2 days ago | 13 comments
• 168IBM Bob (bob.ibm.com)
  by artpar7 hours ago | 86 comments
• 336Solving the Jane Street reverse engineering challenge (jestoph.com)
  by anitil9 hours ago | 30 comments
• 60deSEC – Free Secure DNS (desec.io)
  by gurjeet4 hours ago | 12 comments

< prev1 / 10 more >