< prev1 / 2 more >

• 13Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com)
  by nsomani1 hour ago | 3 comments
• 24Show HN: Create interactive diagrams with pop-up content (vexlio.com)
  by ttd6 hours ago | 1 comments
• 168Show HN: Cadence – A guitar theory app (cadenceguitar.com)
  by apizon9 days ago | 30 comments
• 6Show HN: SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads (github.com)
  by taariqlewis2 hours ago | 1 comments
• 101Show HN: Modshim – A new alternative to monkey-patching in Python (github.com)
  by joouha6 days ago | 14 comments
• 2Show HN: Middlerok – reduces front end-back end integration from weeks to hours (middlerok.com)
  by rokontech4 hours ago | 0 comments
• 118Show HN: Katakate – Dozens of VMs per node for safe code exec (github.com)
  by gbxk1 day ago | 14 comments
• 10Show HN: Incremental JSON parser for streaming LLM tool calls in Ruby (aha.io)
  by hotk2 hours ago | 0 comments
• 77Show HN: bbcli – A TUI and CLI to browse BBC News like a hacker (github.com)
  by wesleyhill3 days ago | 8 comments
• 3Show HN: Cont3xt.dev – Universal Team Knowledge for AI Coding Tools (cont3xt.dev)
  by ksred5 hours ago | 2 comments

< prev1 / 2 more >