Dimensions in program verification | Hacker News Reader