HN Explorer

jasongross

↗ HN profile [ 25.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Systematically generating tests that would have caught Anthropic's top‑K bug (theorem.dev)
    80 points 8