< prev1/10 more >

• 12Automatic Textbook Formalization (github.com)
  by tzury1 hour ago | 3 comments
• 36Async Python Is Secretly Deterministic (dbos.dev)
  by KraftyOne2 hours ago | 5 comments
• 237F-15E jet shot down over Iran (theguardian.com)
  by tjwds5 hours ago | 44 comments
• 72Build your own Dial-up ISP with a Raspberry Pi (jeffgeerling.com)
  by arjunbajaj6 hours ago | 7 comments
• 272April 2026 TLDR Setup for Ollama and Gemma 4 26B on a Mac mini (gist.github.com)
  by greenstevester12 hours ago | 25 comments
• 9Show HN: Ismcpdead.com – Live dashboard tracking MCP adoption and sentiment (ismcpdead.com)
  by sagirodin2 hours ago | 4 comments
• 75Show HN: TurboQuant for vector search – 2-4 bit compression (github.com)
  by justsomeguy19965 days ago | 4 comments
• 182SSH certificates: the better SSH experience (jpmens.net)
  by jandeboevrie11 hours ago | 17 comments
• 4DCJ11Hack+ – DEC PDP/11 based homebrew computer (codeberg.org)
  by zdw3 days ago | 0 comments
• 87Firm boosts H.264 streaming license fees from $100k up to staggering $4.5M (tomshardware.com)
  by MaximilianEmel3 hours ago | 13 comments

< prev1/10 more >