< prev1 / 2 more >

• 19Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com)
  by nsomani2 hours ago | 4 comments
• 25Show HN: Create interactive diagrams with pop-up content (vexlio.com)
  by ttd7 hours ago | 1 comments
• 2Show HN: Subway Surfers in Your Terminal (github.com)
  by civilchaos1 hour ago | 0 comments
• 168Show HN: Cadence – A guitar theory app (cadenceguitar.com)
  by apizon9 days ago | 30 comments
• 3Show HN: ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies (github.com)
  by anof-cyber2 hours ago | 0 comments
• 102Show HN: Modshim – A new alternative to monkey-patching in Python (github.com)
  by joouha6 days ago | 14 comments
• 6Show HN: SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads (github.com)
  by taariqlewis2 hours ago | 1 comments
• 118Show HN: Katakate – Dozens of VMs per node for safe code exec (github.com)
  by gbxk1 day ago | 14 comments
• 2Show HN: Middlerok – reduces front end-back end integration from weeks to hours (middlerok.com)
  by rokontech4 hours ago | 0 comments
• 10Show HN: Incremental JSON parser for streaming LLM tool calls in Ruby (aha.io)
  by hotk2 hours ago | 0 comments

< prev1 / 2 more >