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 any bugs