Jessica Kerr on Programming with Contracts, Generative Testing
These shownotes are also available at turing.cool/47