Hashing It Out #87-Informal Systems Ethan Buchman
Hashing It Out
English - August 24, 2020 10:18 - 1 hour - 146 MB - ★★★★★ - 4 ratingsTechnology Society & Culture ethereum bitcoin decentralization blockchain Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Hashing It Out #86- Ethereum Founder Vitalik Buterin
Next Episode: Hashing It Out #88- FourSquare Max Sklar
Dean and John interview the CEO of Informal Systems Ethan Buchman. Informal Systems is a company seeking to bring a formal verification process for TLA to the Cosmos/Tendermint network.
Links:Informal Systems
The Bitcoin Podcast Network