< prev 2 / 2more >

• 10Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com)
  by nsomani4 hours ago | 1 comments
• 76Show HN: Jax-JS, array library in JavaScript targeting WebGPU (ss.ekzhang.com)
  by ekzhang7 hours ago | 7 comments
• 16Show HN: I built "Google" for searching Shadcn blocks on the web (shoogle.dev)
  by ali-dev4 days ago | 2 comments
• 5Show HN: Open-source AI workflows with read-only auth scopes (github.com)
  by akshay3264 days ago | 0 comments
• 6Show HN: I built a tool to create AI agents that live in iMessage (tryflux.ai)
  by danielsdk2 days ago | 4 comments
• 49Show HN: DDL to Data – Generate realistic test data from SQL schemas
  by ddltodata12 hours ago | 8 comments
• 4Show HN: Sidestream – an AI chat app with a side of insight (github.com)
  by EricBrandon4 hours ago | 0 comments
• 265Show HN: Tailsnitch – A security auditor for Tailscale (github.com)
  by thesubtlety1 day ago | 9 comments
• 15Show HN: ccrider - Search and Resume Your Claude Code Sessions – TUI / MCP / CLI (github.com)
  by nberkman11 hours ago | 3 comments
• 333Show HN: DoNotNotify – Log and intelligently block notifications on Android (donotnotify.com)
  by awaaz1 day ago | 44 comments

< prev 2 / 2more >