lambda calculus
No strong matches for “lambda calculus”. Here are the closest videos.
1:00:341. Introduction, Finite Automata, Regular Expressions
626K views • 5 years ago
MIT OpenCourseWare
The first lecture of Michael Sipser's MIT 18.404J Theory of Computation course, covering course mechanics, finite automata, regular languages and regular expressions. It proves closure of regular languages under union and begins concatenation.
Topic match · Computability & complexity theory
1:06:43Scott Aaronson | How Much Math Is Knowable?
58K views • 1 year ago
Harvard CMSA
Scott Aaronson's Harvard CMSA talk traces what mathematical truths are knowable, from Godel and Turing to the Busy Beaver function. He covers recent work on Busy Beaver values.
Topic match · Computability & complexity theory
2:25:52The spelled-out intro to neural networks and backpropagation: building micrograd
4.4M views • 4 years ago
Andrej Karpathy
Andrej Karpathy's first Neural Networks: Zero to Hero lecture, which builds micrograd, a tiny autograd engine, from scratch in Python. It explains backpropagation and neural network training step by step, assuming only basic Python and some high-school calculus.