mildog8's submissions

1.		Proving Muse Glimmer in Zero-Knowledge at 85 Tok/S on an H100 (attestable.com)
		4 points by mildog8 29 days ago \| past
2.		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
3.		Nvidia's early hostile encounter with Microsoft [video] (youtube.com)
		1 point by mildog8 on June 20, 2024 \| past
4.		I spent 4 months generating proofs for Brainfuck programs (github.com/andrewmilson)
		4 points by mildog8 on Nov 17, 2022 \| past \| 3 comments