42:43

"Propositions as Types" by Philip Wadler

31:35

"From Geometry to Algebra and Back Again: 4000 Years of Papers" by Jack Rusher

41:08

"Transactions: myths, surprises and opportunities" by Martin Kleppmann

43:06

"big-bang: the world, universe, and network in the programming language" by Matthias Felleisen

7:01

I attended Trump’s inauguration yesterday. Here are my thoughts.

39:11

"Computational Physics, Beyond the Glass" by Sam Ritchie (Strange Loop 2023)

7:50

Scale AI CEO Alexandr Wang on U.S.-China AI race: We need to unleash U.S. energy to enable AI boom

33:51

"Constraint Logic Propagation Conflict Spreadsheets" by William Taysom