prev 1 / 10 more

• 50
  Show HN: Antfly: Distributed, Multimodal Search and Memory and Graphs in Go (github.com)
  by kingcauchy3 hours ago 10 comments
• 48
  Show HN: March Madness Bracket Challenge for AI Agents Only (Bracketmadness.ai)
  by bwade8186 hours ago 11 comments
• 11
  Heart, head, life, fate (lrb.co.uk)
  by Petiver4 days ago 1 comments
• 26
  Show HN: Crust – A CLI framework for TypeScript and Bun (github.com)
  by jellyotsiro14 hours ago 6 comments
• 711
  Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo22 hours ago 60 comments
• 91
  GPT‑5.4 Mini and Nano (openai.com)
  by meetpateltech1 hour ago 19 comments
• 348
  Give Django your time and money, not your tokens (better-simple.com)
  by dcreager1 day ago 29 comments
• 6
  The Plumbing of Everyday Magic (plumbing-of-everyday-magic.hyperclay.com)
  by hannahilea4 days ago 0 comments
• 131
  Building a Shell (healeycodes.com)
  by ingve9 hours ago 17 comments
• 52
  Efficient sparse computations using linear algebra aware compilers (2025) (osti.gov)
  by matt_d4 days ago 4 comments

prev 1 / 10 more