Hacker News new | ask | show | jobs
user: mildog8
created: 2022-11-17
karma: 70

submissions:

Natural Number Game: build the basic theory of the natural numbers from scratch
191 points | 32 comments
Nvidia's early hostile encounter with Microsoft [video]
1 points | 0 comments
0 points | 0 comments
I spent 4 months generating proofs for Brainfuck programs
4 points | 3 comments