logo
NewsNewestShowJobs
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