In which Reed discusses truth, proof assistants, getting good at math, category theory, inductive types, how to learn, the importance of community, and epistemic humility.