Property based testing – a brief retrospective | Dark Hacker News