T theorem.dev Systematically generating tests that would have caught Anthropic's top‑K bug 80 points jasongross 9 months ago 20 comments
