Programming with Math | The Lambda Calculus

12:40
Lambda Calculus - Computerphile

25:50
Universal Construction | Category Theory and Why We Care 1.2

1:26:03
The MYSTERIOUS Force Shaping Our Universe – What Is Dark Energy REALLY Doing? | Cosmos Explained

17:58
What P vs NP is actually about

15:12
The Absolute Best Intro to Monads For Software Engineers

18:23
these compression algorithms could halve our image file sizes (but we don't use them) #SoMEpi

22:07
The Mathematician's Weapon | Category Theory and Why We Care 1.0

1:21:24