Stories by nsomani

Autoformalization and the Future of Math Research

Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems

Show HN: A website that auctions itself daily

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

The endgame for mechanistic interpretability is formal methods

Show HN: Do Models Represent Epistemic Stance?

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

Intro to Routing: Mixture-of-Experts and Expert Choice

Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached

A Minimal Route to Transformer Attention

Show HN: Cuq – Formal Verification of Rust GPU Kernels

Killing the GIL: How to Use Python 3.14's Free-Threading Upgrade

Is GRPO Broken?

Intro to RL: Off-Policy Methods

What You Didn't Learn in Berkeley CS 188: Intro to RL

Show HN: Web2mcp – Auto-generate an MCP for any web app

The Blast Playbook

A Free Market for Eyeballs: Twitter as Regulatory Arbitrage

Show HN: I built a website to summarize Tech Twitter each day

Privatize the FDA