In praise of property-based testing | Hacker News Reader