14:04
What is a Comonad? – Comath and Mputer Science
3.8K views • 2 days ago
11:16
(Provably) Unprovable and Undisprovable... How??
9.5K views • 7 days ago
10:13
Can programmers do math? What is a real number, really?
7.8K views • 2 weeks ago
11:31
Can Mathematicians Code? The Intermediate Value Theorem
8.4K views • 3 weeks ago
11:02
A shallow grip on neural networks (What is the "universal approximation theorem"?)
4.4K views • 4 weeks ago
13:58
What is a Monad? – Math vs Computer Science
13K views • 1 month ago
End of Videos