Hacker News Reader

The way it does counterexample shrinking is the most clever part of Hypothesis.

Do you have a reference where it is explained? It's not part of the docs as far as I can tell

You might try this blog entry (or other blog entries that talk about shrinking):