HNHacker News
TopNewBestAskShowJobs

mildog8

70 karma · joined November 17, 2022

submissionscomments

Proving Muse Glimmer in Zero-Knowledge at 85 Tok/S on an H100

attestable.com·4 pts·mildog8·
0

Natural Number Game: build the basic theory of the natural numbers from scratch

adam.math.hhu.de·191 pts·mildog8·
32

Nvidia's early hostile encounter with Microsoft [video]

youtube.com·1 pts·mildog8·
0

I spent 4 months generating proofs for Brainfuck programs

github.com·4 pts·mildog8·
3