Hashing It Out #87-Informal Systems Ethan Buchman

from The Bitcoin Podcast · host Corey Petty, Demetrick Ferguson, Jessie Santiago

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.

Episode metadata supplied by the publisher feed · Published Jul 9, 2020

Embed this episode

Attribution link and audio player

NOW PLAYING

Hashing It Out #87-Informal Systems Ethan Buchman

0:00 1:03:42

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of The Bitcoin Podcast?

This episode is 1 hour and 3 minutes long.

When was this The Bitcoin Podcast episode published?

This episode was published on July 9, 2020.

Can I download this The Bitcoin Podcast episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!