< prev1 / 10 more >

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

< prev1 / 10 more >