1Autoformalization and the Future of Math Research (opens in new tab)(neelsomaniblog.com)2nsomani4mo ago0Save
2Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems (opens in new tab)(ocf.berkeley.edu)1nsomani5mo ago0Save
3Show HN: A website that auctions itself daily (opens in new tab)(thedailyauction.com)43nsomani5mo ago19Save
4Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (opens in new tab)(github.com)GitHub16nsomani5mo ago2Save
5The endgame for mechanistic interpretability is formal methods (opens in new tab)(neelsomaniblog.com)2nsomani5mo ago0Save
6Show HN: Do Models Represent Epistemic Stance? (opens in new tab)(github.com)GitHub3nsomani6mo ago0Save
7Intro to Routing: Mixture-of-Experts and Expert Choice (opens in new tab)(neelsomaniblog.com)1nsomani7mo ago0Save
8Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached (opens in new tab)(github.com)GitHub2nsomani7mo ago1Save
10Show HN: Cuq – Formal Verification of Rust GPU Kernels (opens in new tab)(github.com)GitHub94nsomani8mo ago63Save
11Killing the GIL: How to Use Python 3.14's Free-Threading Upgrade (opens in new tab)(neelsomaniblog.com)2nsomani8mo ago0Save
14What You Didn't Learn in Berkeley CS 188: Intro to RL (opens in new tab)(neelsomaniblog.com)2nsomani8mo ago0Save
15Show HN: Web2mcp – Auto-generate an MCP for any web app (opens in new tab)(github.com)GitHub2nsomani10mo ago1Save