Choosing properties for property-based testing | Hacker News Reader