ViewTube

Today we unpack lambda calculus, a foundational formal language for defining and applying functions, and then trace how its ...

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 There are two main ...

Eigenvectors were handed to me as a recipe: solve det(A - lambda I) = 0, write down the arrows, move on. I could repeat the ...