Types as programs from logic
6:36
How Algeboy thinks of programs
10:31
Backpacking with Pullbacks
33:17
STRING CLASS & STRING METHODS - JAVA PROGRAMMING
15:59
Composition is the transitive law in code.
15:06
Creating Universal Programs
12:24
Majorana 1 Explained: The Path to a Million Qubits
13:33
Cones in 3D: the pullback
18:49