Yes! I love the series, and I'm hanging on the guy's vanity freenode channel. He's the author of Hypothesis, a Python implementation, but not really a port, of the QuickCheck concept.