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