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.
Podden och tillhörande omslagsbild på den här sidan tillhör
Sandy Maguire. Innehållet i podden är skapat av Sandy Maguire och inte av,
eller tillsammans med, Poddtoppen.
