Sometimes the urge to layer in-jokes into a podcast title is impossible to resist. . . and then 24hrs later you change it. The effort to understand the significance of type based and functional programming languages led me to the Urbit project. This attempt to re-design the internet is one of a number of technologies that have evolved alongside blockchain and address some of the same problems. The Urbit developer's focus on mechanical perfection is a sensibility worth observing. The first title was in reference to Mike Goldin's tweet about deterministic finite automata:twitter.com/voidsnax/status/712044031090540545 This from the Urbit website:"We believe controlling your own data, code and identity is the definition of digital freedom. We believe everyone needs digital freedom, not just a few hackers. We believe the only tool needed to solve this problem is a general-purpose server made for human beings.Your urbit is your cryptographic identity, personal archive, application platform, and device hub. It's as easy to manage as an iPhone." Content: Galen Wolfe-Pauly, Curtis Yarvin, Arthur Falls Subscribe on iTunes: itunes.apple.com/us/podcast/the-e?'id899090462?mt=2