In this episode of Creating a Humanist Blockchain Future (Patreon, Soundcloud, Youtube, iTunes) I interview 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. Enjoy, and as always, let me know if you have any feedback! Links below:

Other current projects:

Thanks to Mike Goldin, John Desmond, Colin Wielga, Harry Lindmark, Joe Urgo, John Lindmark, Jacob Zax, Katie Powell, Jonathan Isaac, Brady McKenna, Jeff Snyder, Ryan X Charles, Chris Edmonds, Brayton Williams, Ned Mills, Kenji Williams, Scott Levi, Peter Rodgers, Keith Klundt, Andrew O’Neill, and Kenzie Jacobs for supporting me on Patreon!

Thanks to Shapeshift for sponsoring the show! Please use them/check them out!

About Me: My name is Rhys Lindmark and I’m a social entrepreneur. I’m Creating a Humanist Blockchain Future by: a) Empowering the Colorado Blockchain community (check out our ETHDenver hackathon!), b) Developing the Ethereum Commons Co-op and c) Hosting a systems podcast with experts. I’m an alumnus of Techstars Boulder 2015 (Edify). Please reach out if you’d like to connect or have feedback! I’m curious about what you’re working on. You can support me on Patreon, follow me on Twitter, or connect on LinkedIn.

Disclaimer: I own less than $1000 of any given cryptocurrency, so my monetary incentive is not too aligned with Bitcoin, Ethereum, etc. :)