Property-based testing considered harmful | Hacker News Reader