Property-Based Testing: How It All Started – QuickCheck | Dark Hacker News