David MacIver is most known for pushing the adoption and ergonomics of property testing in software with his testing library Hypothesis. Hypothesis is well regarded and widely used in the Python programming language community, and it introduced a handful of innovations that are now quite widespread in the practice of property testing. You’ll hear more about Hypothesis during the podcast, as we talk about what he’s learnt pushing the boundaries of a domain. Then, we shift gears to talk about his coaching practice. David specialises in helping programmers with self improvement, more effective learning, and developing soft skills, which many computer programmers are likely to struggle with, in ways that may limit their careers or their personal development.David’s Substack — https://drmaciver.substack.com/David’s Twitter — https://twitter.com/DRMacIverHypothesis — https://hypothesis.works/, docs: https://hypothesis.readthedocs.io/en/latest/Ethics of False Negatives in Interviewing — https://www.drmaciver.com/2019/06/the-ethics-of-false-negatives-in-interviewing/Life as an Anytime Algorithm — https://notebook.drmaciver.com/posts/2020-03-23-15:52.htmlIf You’re Stuck, Try Something Different (on chopsticks) — https://drmaciver.substack.com/p/lateral-movesHow To Do Hard Things — https://www.drmaciver.com/2019/05/how-to-do-hard-things/Stargate Physics 101 (fanfiction) — https://archiveofourown.org/works/3673335David on why people struggle with mathematics — https://twitter.com/drmaciver/status/1422208261349052420How to Explain Anything to Anyone — https://www.drmaciver.com/2018/10/how-to-explain-anything-to-anyone/0:00 Introduction1:09 What Hypothesis Is3:47 The Story of Hypothesis6:43 Hypothesis’s Contribution to Property Testing12:51 Exploring the Design Space for Hypothesis17:24 When David Knew He Was On To Something with Hypothesis20:35 From Hypothesis to Coaching25:21 Emotional Reactions as Legacy Code29:08 Why David’s Approach to Self Improvement Works for Programmers31:15 Ethical Problems with Optimising False Positive in Hiring37:44 Ways that Programmers Harm Themselves in Their Careers43:28 What Non-Technical People Get Wrong when Dealing with Programmers48:00 Applying Lessons Learnt from Hypothesis to Coaching50:03 Rigour in Self Improvement Writing56:30 Explaining Computers to Non Technical People01:02:55 The Nature of Mathematical Expertise01:11:32  David’s Practice with Teams and Organisations01:14:23 Getting Better at Sprint Planning