mildog8's submissions

1.		Natural Number Game: build the basic theory of the natural numbers from scratch (hhu.de)
		191 points by mildog8 on Dec 17, 2024 \| past \| 32 comments
2.		Nvidia's early hostile encounter with Microsoft [video] (youtube.com)
		1 point by mildog8 on June 20, 2024 \| past
3.		I spent 4 months generating proofs for Brainfuck programs (github.com/andrewmilson)
		4 points by mildog8 on Nov 17, 2022 \| past \| 3 comments