Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, Lambda Calculus, the Y Combinator, and the Von Neumann Model.
Brilliant explanation about the Y Combinator: https://mvanier.livejournal.com/2897.html
Advait is the CEO of GoGuardian - a K12 education software company in Los Angeles: https://www.goguardian.com/