< prev1 / 10 more >

• 422Formalizing Fermat's Last Theorem (anthropic.com)
  by jlebar4 hours ago | 62 comments
• 90Actively exploited sandbox RCE in all Chromium versions (nvd.nist.gov)
  by negura1 hour ago | 7 comments
• 132Statichost.eu – European static site hosting (statichost.eu)
  by p4bl02 hours ago | 20 comments
• 1415Discovery of a new OpenAI agent message board (collusion.wiki)
  by moultano11 hours ago | 194 comments
• 67GPT-6 Astra on OpenRouter (openrouter.ai)
  by Topfi1 hour ago | 14 comments
• 128Can AI design circuit boards yet? (eebench.org)
  by iopapa3 hours ago | 34 comments
• 209Shutting down our public encrypted DNS (mullvad.net)
  by mywacaday4 hours ago | 12 comments
• 48An open DNS recursive service for free security and high privacy (quad9.net)
  by mooreds3 hours ago | 5 comments
• 209Show HN: Open-Source eInk Bike Computer (opentrailpaper.com)
  by stingrae6 hours ago | 27 comments
• 40RSA-260 Factorized (twitter.com)
  by samyok1 day ago | 6 comments

< prev1 / 10 more >