Engineering
Technical deep dives into kernel verification, compilers and the infrastructure behind reliable training.
Research · November 2, 2026
Formalizing PTX in Lean to Prove GPU Kernel Correctness
Formalizing PTX in Lean to Prove GPU Kernel Correctness
Read MoreResearch · July 11, 2026
Reverse-Engineering the B200's Tensor Core, One Bit at a Time
A bit-exact software model of NVIDIA Blackwell's tcgen05.mma instruction, reverse-engineered from B200 measurements across 46 validated datapaths.
Research · May 17, 2026
One Model Per Customer Shouldn't Mean One GPU Per Customer
Every customer wants their own model. Here's how to hand them one without buying a GPU per customer.
1–3 of 3 Engineering Results