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.

Hashing It Out #87-Informal Systems Ethan Buchman

The Bitcoin Podcast is a show that discusses Bitcoin and Crypto topics in a laid back nature. From deep and technical topics, to laid back and philosophical topics...the gang, Demetrick, Corey and Jessie are just 3 guys looking to relax and talk about bitcoin. Established in 2015, one of the oldest crypto shows in the game.

Share Hashing It Out #87-Informal Systems Ethan Buchman

Sign up to save your podcasts

Hashing It Out #87-Informal Systems Ethan Buchman

Hashing It Out #87-Informal Systems Ethan Buchman

More shows like The Bitcoin Podcast

The Joe Rogan Experience