Submissions from github.com/neelsomani

		Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani)
		1 point by nsomani 1 day ago \| past \| 1 comment
		Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached (github.com/neelsomani)
		2 points by nsomani 27 days ago \| past \| 1 comment
		Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)
		94 points by nsomani 48 days ago \| past \| 63 comments
		Show HN: Web2mcp – Auto-generate an MCP for any web app (github.com/neelsomani)
		2 points by nsomani 3 months ago \| past \| 1 comment
		Show HN: A tool to scrape senators' stock transactions for your own analysis (github.com/neelsomani)
		350 points by nsomani on May 15, 2020 \| past \| 80 comments