HN Explorer

nsomani

↗ HN profile [ 82.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. Autoformalization and the Future of Math Research (neelsomaniblog.com)
    2 points 0
  4. Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems (ocf.berkeley.edu)

    Hi HN, it seemed like there was broad interest in the previous Erdos problem that GPT 5.2 Pro solved: https://news.ycombinator.com/item?id=46664631 I recruited a team of smart undergraduates to construct a dataset of…

    1 points 0
  5. Show HN: A website that auctions itself daily (thedailyauction.com)

    Hi HN, I built this side project earlier this week. It executes an English auction on Solana with a reserve price of 0.1 SOL. Auction winner gets control of a Codex editor. Auction losers get refunded (minus a <$0.01…

    43 points 10
  6. Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com)

    Hi HN, I've been exploring various applications of formal methods to ML/interpretability and I've been hoping to get more eyes on the approach. I have been working on a small interpretability project I call Symbolic…

    16 points 2
  7. The endgame for mechanistic interpretability is formal methods (neelsomaniblog.com)
    2 points 0
  8. Show HN: Do Models Represent Epistemic Stance? (github.com)
    3 points 0
  9. Intro to Routing: Mixture-of-Experts and Expert Choice (neelsomaniblog.com)
    1 points 0
  10. Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached (github.com)
    2 points 1
  11. A Minimal Route to Transformer Attention (neelsomaniblog.com)
    2 points 0
  12. Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com)
    94 points 13
  13. Killing the GIL: How to Use Python 3.14's Free-Threading Upgrade (neelsomaniblog.com)
    2 points 0
  14. Is GRPO Broken? (neelsomaniblog.com)
    2 points 0
  15. Intro to RL: Off-Policy Methods (neelsomaniblog.com)
    2 points 0
  16. What You Didn't Learn in Berkeley CS 188: Intro to RL (neelsomaniblog.com)
    2 points 0
  17. Show HN: Web2mcp – Auto-generate an MCP for any web app (github.com)
    2 points 2
  18. Show HN: I built a website to summarize Tech Twitter each day (todayontechtwitter.com)

    Hey folks, I built this as a nightly job that pulls the tweets from a burner account I made, then passes it to GPT-4.1 to summarize alongside some recent headlines:…

    11 points 1
  19. Privatize the FDA (neelsomaniblog.com)
    1 points 2
  20. Race Science for Non-Racists (neelsomani.com)
    4 points 8
  21. The New Economy: What Should We Do with Everyone? (neelsomani.com)
    4 points 4
  22. Eclipse announces customizable Solana VM rollups (twitter.com)
    3 points 0
  23. An Alternate Cosmos Interchain Security Proposal (neelsomani.com)
    1 points 0
  24. Ethereum code running on the Terra blockchain (twitter.com)
    1 points 1
  25. Terranova: An EVM on Terra (terranova.finance)
    1 points 0