HN Explorer

mildog8

↗ HN profile [ 22.5 ms ] full profile
Karma
70
Created
November 17, 2022 (3y ago)
Submissions
0
  1. Natural Number Game: build the basic theory of the natural numbers from scratch (adam.math.hhu.de)
    191 points 35
  2. Nvidia's early hostile encounter with Microsoft [video] (youtube.com)
    1 points 0
  3. I spent 4 months generating proofs for Brainfuck programs (github.com)
    4 points 3