< prev1/10 more >

• 7Automatic Textbook Formalization (github.com)
  by tzury46 minutes ago | 2 comments
• 212F-15E jet shot down over Iran (theguardian.com)
  by tjwds4 hours ago | 42 comments
• 9Show HN: Ismcpdead.com – Live dashboard tracking MCP adoption and sentiment (ismcpdead.com)
  by sagirodin1 hour ago | 0 comments
• 71Show HN: TurboQuant for vector search – 2-4 bit compression (github.com)
  by justsomeguy19965 days ago | 4 comments
• 66Build your own Dial-up ISP with a Raspberry Pi (jeffgeerling.com)
  by arjunbajaj5 hours ago | 7 comments
• 4Show HN: We're building an AI hedge fund (rallies.ai)
  by rallies23 minutes ago | 5 comments
• 264April 2026 TLDR Setup for Ollama and Gemma 4 26B on a Mac mini (gist.github.com)
  by greenstevester11 hours ago | 25 comments
• 49You can now run a full Linux operating system inside a 6mb PDF (twitter.com)
  by matthewsinclair3 days ago | 6 comments
• 121A Recipe for Steganogravy (theo.lol)
  by tbrockman5 days ago | 13 comments
• 179SSH certificates: the better SSH experience (jpmens.net)
  by jandeboevrie11 hours ago | 17 comments

< prev1/10 more >