Submissions from github.com/neelsomani

		GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians (github.com/neelsomani)
		1 point by yread 30 days ago \| past \| 1 comment
		Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani)
		16 points by nsomani 54 days ago \| past \| 2 comments
		Show HN: Do Models Represent Epistemic Stance? (github.com/neelsomani)
		3 points by nsomani 69 days ago \| past
		Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached (github.com/neelsomani)
		2 points by nsomani 3 months ago \| past \| 1 comment
		Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)
		94 points by nsomani 4 months ago \| past \| 63 comments
		Show HN: Web2mcp – Auto-generate an MCP for any web app (github.com/neelsomani)
		2 points by nsomani 6 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