Progress on provable inference for large language models a anthropic.com 9 mildog8 17 hours ago 0 comments
Proving Muse Glimmer in Zero-Knowledge at 85 Tok/S on an H100 a attestable.com 4 mildog8 2 months ago 0 comments
Natural Number Game: build the basic theory of the natural numbers from scratch a adam.math.hhu.de 191 mildog8 1 year ago 32 comments
Nvidia's early hostile encounter with Microsoft [video] y youtube.com 1 mildog8 2 years ago 0 comments
I spent 4 months generating proofs for Brainfuck programs g github.com 4 mildog8 4 years ago 3 comments
