HN Explorer

mildog8

↗ HN profile [ 31.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Proving Muse Glimmer in Zero-Knowledge at 85 Tok/S on an H100 (attestable.com)
    4 points 0
  2. Natural Number Game: build the basic theory of the natural numbers from scratch (adam.math.hhu.de)
    191 points 32
  3. Nvidia's early hostile encounter with Microsoft [video] (youtube.com)
    1 points 0
  4. I spent 4 months generating proofs for Brainfuck programs (github.com)
    4 points 3