nsomani

Recent Submissions

1. 1. ▲ The Birth of Development Alpha (power2026.ai) 1 point · 1 month ago · 0 comments
2. 2. ▲ To Build a Data Center – Intro to Diesel Generation (power2026.ai) 9 points · 2 months ago · 2 comments
3. 3. ▲ IndieMath – Crowdfunded automated proving for open CS/math problems (indiemath.ai) 1 point · 3 months ago · 0 comments
4. 4. ▲ Power 2026 – Electricity Pricing in the Age of AI (power2026.ai) 1 point · 3 months ago · 0 comments
5. 5. ▲ Autoformalization and the Future of Math Research (neelsomaniblog.com) 2 points · 9 months ago · 0 comments
6. 6. ▲ Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems (ocf.berkeley.edu) 1 point · 9 months ago · 0 comments
7. 7. ▲ Show HN: A website that auctions itself daily (thedailyauction.com) 43 points · 10 months ago · 19 comments
8. 8. ▲ Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com) 16 points · 10 months ago · 2 comments
9. 9. ▲ The endgame for mechanistic interpretability is formal methods (neelsomaniblog.com) 2 points · 10 months ago · 0 comments
10. 10. ▲ Show HN: Do Models Represent Epistemic Stance? (github.com) 3 points · 10 months ago · 0 comments