Y Hacker News new | ask | show | jobs

user: nsomani created: 2019-01-25 karma: 454 Neel Somani https://x.com/neelsomani submissions: Autoformalization and the Future of Math Research 2 points | 0 comments Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: A website that auctions itself daily 43 points | 19 comments 0 points | 0 comments Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence 16 points | 2 comments The endgame for mechanistic interpretability is formal methods 2 points | 0 comments Show HN: Do Models Represent Epistemic Stance? 3 points | 0 comments Intro to Routing: Mixture-of-Experts and Expert Choice 1 points | 0 comments 0 points | 0 comments Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached 2 points | 1 comments A Minimal Route to Transformer Attention 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Cuq – Formal Verification of Rust GPU Kernels 94 points | 63 comments Killing the GIL: How to Use Python 3.14's Free-Threading Upgrade 2 points | 0 comments Is GRPO Broken? 2 points | 0 comments Intro to RL: Off-Policy Methods 2 points | 0 comments What You Didn't Learn in Berkeley CS 188: Intro to RL 2 points | 0 comments 0 points | 0 comments