Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problemsocf.berkeley.edu·1 pts·nsomani·0
Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalencegithub.com·16 pts·nsomani·2
Show HN: KV Marketplace – share LLM attention caches across GPUs like memcachedgithub.com·2 pts·nsomani·1
Show HN: A tool to scrape senators' stock transactions for your own analysisgithub.com·350 pts·nsomani·80