Arthur Breitman, the co-founder of tez0s, a smart contract protocol with formal verification and a self-amending ledger. We chat about function programming as a mental model and discuss the complexities of human governance. Support me on Patreon! www.patreon.com/rhyslindmark Thanks to Shapeshift for sponsoring the show! www.shapeshift.io Thanks to Mike Goldin, John Desmond, Colin Wielga, Harry Lindmark, Joe Urgo, John Lindmark, Daniel Segal, Jacob Zax, Katie Powell, Jonathan Isaac, Brady McKenna, Jeff Snyder, Ryan X Charles, Chris Edmonds, Ned Mills, Kenji Williams, Brayton Williams, Scott Levi, Peter Rodgers, Keith Klundt, Andrew O’Neill, and Kenzie Jacobs for supporting me on Patreon!