Natural Number Game: build the basic theory of the natural numbers from scratch
adam.math.hhu.de191 points·by mildog8··32 comments
Nvidia's early hostile encounter with Microsoft [video]
youtube.com1 points·by mildog8··0 comments
I spent 4 months generating proofs for Brainfuck programs
github.com4 points·by mildog8··3 comments