prev 1 / 10 more

• 34
  The Stacks Project, Formalized in Lean (axiommath.ai)
  by namanbnsl2 hours ago 4 comments
• 124
  I wish tech companies knew more about me (rakhim.exotext.com)
  by freetonik5 hours ago 40 comments
• 181
  OpenSSH 10.6p2 Critical workaround for alpine without PAM (openssh.org)
  by selckin7 hours ago 5 comments
• 50
  Show HN: A decent text-to-image model trained for ~$20K (Apache 2.0 Weights) (linum.ai)
  by schopra9091 day ago 4 comments
• 165
  MCP Explained (mcp-explained.com)
  by rwilinski4 hours ago 27 comments
• 45
  Nasdaq Sinks 5% as Investors Retreat from AI Trade After Election (wsj.com)
  by armcat42 minutes ago 4 comments
• 32
  Building a Multi-Agent System from Scratch: Architecture Patterns (kadhar.dev)
  by kadharmfn2 hours ago 5 comments
• 130
  Obscure audio codec is a perfect fit for the N64 (phoboslab.org)
  by frostbyte75 hours ago 4 comments
• 47
  We can do better than line-buffered output (nullprogram.com)
  by zdw3 hours ago 2 comments
• 64
  Nasdaq plummets 4% into correction territory (cnbc.com)
  by kristianp1 hour ago 9 comments

prev 1 / 10 more