Hillel Wayne [https://twitter.com/hillelogram/] gave an example problem [https://gist.github.com/hwayne/e5a65b48ab50a2285de47cfc11fc955f]. The idea, as I understood it, was for people to solve it via property-based testing (PBT) or test-driven design and see what the differences were. In particular, I'm interested whether I missed