mildog8

3 ms·

1. 1.▲
   Proving Muse Glimmer in Zero-Knowledge at 85 Tok/S on an H100(attestable.com)

   4 points by mildog8 2mo ago|0 comments
2. 2.▲
   Natural Number Game: build the basic theory of the natural numbers from scratch(adam.math.hhu.de)

   191 points by mildog8 2y ago|32 comments
3. 3.▲
   Nvidia's early hostile encounter with Microsoft [video](youtube.com)

   1 points by mildog8 2y ago|0 comments
4. 4.▲
   by mildog8 4y ago

   Awesome! Thanks so much for that, it really helped me learn
5. 5.▲
   I spent 4 months generating proofs for Brainfuck programs(github.com)

   4 points by mildog8 4y ago|3 comments