Stories by nsomani

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

Race Science for Non-Racists

The New Economy: What Should We Do with Everyone?

Eclipse announces customizable Solana VM rollups

An Alternate Cosmos Interchain Security Proposal

Terranova: An EVM on Terra

The Future of Terra DeFi