The Semantics of Testing. Also, Quads | Hacker News Reader