Tim Sweeney - Gradual Adoption of Proof Techniques (via searchlore.ai)