prev 1 / 10 more

• 36
  Fermat's Last Theorem in Lean 4 (github.com)
  by aaraujo0023 hours ago 5 comments
• 20
  How to Create a Tor Exit Node (madpsy.uk)
  by Eridanus21 hour ago 6 comments
• 7
  GPT-6 Astra on OpenRouter (openrouter.ai)
  by Topfi34 minutes ago 3 comments
• 203
  IBM Bob (bob.ibm.com)
  by artpar9 hours ago 92 comments
• 91
  deSEC – Free Secure DNS (desec.io)
  by gurjeet6 hours ago 14 comments
• 364
  Solving the Jane Street reverse engineering challenge (jestoph.com)
  by anitil11 hours ago 33 comments
• 13
  Fomu An FPGA board that fits inside your USB port (crowdsupply.com)
  by Bluestein2 days ago 2 comments
• 275
  Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive (torrentfreak.com)
  by speckx5 hours ago 20 comments
• 52
  Project HydraFusion: Frontier quality via multi-model orchestration (github.blog)
  by qainsights5 hours ago 12 comments
• 13
  The Wormhole Hall of Shame (rznicolet.com)
  by rznicolet4 days ago 8 comments

prev 1 / 10 more