logo
NewsNewestShowJobs
prev 1 / 10 more
  • 10
    Automatic Textbook Formalization (github.com)
    by tzury1 hour ago 3 comments
  • 35
    Async Python Is Secretly Deterministic (dbos.dev)
    by KraftyOne2 hours ago 5 comments
  • 232
    F-15E jet shot down over Iran (theguardian.com)
    by tjwds5 hours ago 44 comments
  • 71
    Build your own Dial-up ISP with a Raspberry Pi (jeffgeerling.com)
    by arjunbajaj6 hours ago 7 comments
  • 9
    Show HN: Ismcpdead.com – Live dashboard tracking MCP adoption and sentiment (ismcpdead.com)
    by sagirodin2 hours ago 4 comments
  • 272
    April 2026 TLDR Setup for Ollama and Gemma 4 26B on a Mac mini (gist.github.com)
    by greenstevester11 hours ago 25 comments
  • 74
    Show HN: TurboQuant for vector search – 2-4 bit compression (github.com)
    by justsomeguy19965 days ago 4 comments
  • 181
    SSH certificates: the better SSH experience (jpmens.net)
    by jandeboevrie11 hours ago 17 comments
  • 86
    Firm boosts H.264 streaming license fees from $100k up to staggering $4.5M (tomshardware.com)
    by MaximilianEmel3 hours ago 13 comments
  • 123
    A Recipe for Steganogravy (theo.lol)
    by tbrockman5 days ago 13 comments
prev 1 / 10 more