| 1. | | Autoformalization and the Future of Math Research (neelsomaniblog.com) |
| 2 points by nsomani 56 days ago | past |
|
| 2. | | Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems (ocf.berkeley.edu) |
| 1 point by nsomani 60 days ago | past |
|
| 3. | | Show HN: A website that auctions itself daily (thedailyauction.com) |
| 43 points by nsomani 78 days ago | past | 19 comments |
|
| 4. | | Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani) |
| 16 points by nsomani 80 days ago | past | 2 comments |
|
| 5. | | The endgame for mechanistic interpretability is formal methods (neelsomaniblog.com) |
| 2 points by nsomani 81 days ago | past |
|
| 6. | | Show HN: Do Models Represent Epistemic Stance? (github.com/neelsomani) |
| 3 points by nsomani 3 months ago | past |
|
| 7. | | Intro to Routing: Mixture-of-Experts and Expert Choice (neelsomaniblog.com) |
| 1 point by nsomani 4 months ago | past |
|
| 8. | | Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached (github.com/neelsomani) |
| 2 points by nsomani 4 months ago | past | 1 comment |
|
| 9. | | A Minimal Route to Transformer Attention (neelsomaniblog.com) |
| 2 points by nsomani 4 months ago | past |
|
| 10. | | Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani) |
| 94 points by nsomani 5 months ago | past | 63 comments |
|
| 11. | | Killing the GIL: How to Use Python 3.14's Free-Threading Upgrade (neelsomaniblog.com) |
| 2 points by nsomani 5 months ago | past |
|
| 12. | | Is GRPO Broken? (neelsomaniblog.com) |
| 2 points by nsomani 5 months ago | past |
|
| 13. | | Intro to RL: Off-Policy Methods (neelsomaniblog.com) |
| 2 points by nsomani 5 months ago | past |
|
| 14. | | What You Didn't Learn in Berkeley CS 188: Intro to RL (neelsomaniblog.com) |
| 2 points by nsomani 5 months ago | past |
|
| 15. | | Show HN: Web2mcp – Auto-generate an MCP for any web app (github.com/neelsomani) |
| 2 points by nsomani 7 months ago | past | 1 comment |
|
| 16. | | Show HN: I built a website to summarize Tech Twitter each day (todayontechtwitter.com) |
| 11 points by nsomani 8 months ago | past | 2 comments |
|
| 17. | | Race Science for Non-Racists (neelsomani.com) |
| 4 points by nsomani on Dec 8, 2024 | past | 7 comments |
|
| 18. | | The New Economy: What Should We Do with Everyone? (neelsomani.com) |
| 4 points by nsomani on Oct 25, 2024 | past | 4 comments |
|
| 19. | | Eclipse announces customizable Solana VM rollups (twitter.com/eclipsefnd) |
| 3 points by nsomani on Sept 27, 2022 | past |
|
| 20. | | An Alternate Cosmos Interchain Security Proposal (neelsomani.com) |
| 1 point by nsomani on July 5, 2022 | past |
|
| 21. | | The Future of Terra DeFi (neelsomani.com) |
| 2 points by nsomani on April 6, 2022 | past |
|
| 22. | | Cuffed – A dating app with only one match at a time (cuffedapp.com) |
| 75 points by nsomani on Feb 19, 2022 | past | 117 comments |
|
| 23. | | Explaining to my parents what I do (neelsomani.com) |
| 117 points by nsomani on Jan 9, 2022 | past | 47 comments |
|
| 24. | | Beanstalk: A Decentralized Credit Based Stablecoin Protocol (bean.money) |
| 41 points by nsomani on Dec 20, 2021 | past | 16 comments |
|
| 25. | | Show HN: How to Derive Useful Financial Approximations (neelsomani.com) |
| 3 points by nsomani on Oct 16, 2020 | past | 1 comment |
|
| 26. | | 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 |
|
