Dimensional Shifting

Screencast of my talk from TNG Big Tech Day, July 7, 2023. Munich, Germany (www.bigtechday...).
A post-pandemic intersectional exploration of three topics that you'll almost never see presented together--the Raft distributed consensus algorithm, lambda calculus, and category theory. Mostly I'm pondering the question of whether or not thinking about formal systems has an impact on the building of actual systems--and if so, what?!?
I'm not so active on social media. If you like the talk, please share it with others. If you'd like to join me for a course, you can find me at www.dabeaz.com...