HN Explorer

mildog8

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