technologyJul 9, 20201:03:42pending
Hashing It Out #87-Informal Systems Ethan Buchman
About this episode
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.
Get every episode summarized
Each time The Bitcoin Podcast publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from The Bitcoin Podcast
The Bitcoin Podcast: Corey is a GENIUS, Jessie and Dee give CLARITY
The Bitcoin Podcast
Apr 11, 202653:30failed
The Bitcoin Podcast: What the Mesh?!
The Bitcoin Podcast
Apr 1, 20261:03:06failed
The Bitcoin Podcast S02E20: We're Jiving With A Little Crypto Sprinkled In
The Bitcoin Podcast
Mar 19, 202645:53failed
Can Bitcoin Beat Quantum?
The Bitcoin Podcast
Feb 27, 202641:51pending