Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by mildog8
Natural Number Game: build the basic theory of the natural numbers from scratch
191 points
mildog8
2024-12-17T10:06:22Z
adam.math.hhu.de
Nvidia's early hostile encounter with Microsoft [video]
1 points
mildog8
2024-06-20T19:22:13Z
www.youtube.com
I spent 4 months generating proofs for Brainfuck programs
4 points
mildog8
2022-11-17T00:37:04Z
github.com