{"id":6662,"date":"2020-07-09T12:00:41","date_gmt":"2020-07-09T12:00:41","guid":{"rendered":"http:\/\/thebitcoinpodcast.com\/?p=6662"},"modified":"2020-07-09T03:32:23","modified_gmt":"2020-07-09T03:32:23","slug":"hashing-it-out-87","status":"publish","type":"post","link":"https:\/\/thebitcoinpodcast.com\/hashing-it-out-87\/","title":{"rendered":"Hashing It Out #87-Informal Systems Ethan Buchman"},"content":{"rendered":"<p><iframe loading=\"lazy\" src=\"https:\/\/player.simplecast.com\/7d792faf-3c07-4661-b2cc-4c18724688ec?dark=true\" width=\"100%\" height=\"200px\" frameborder=\"no\" scrolling=\"no\" seamless=\"\"><\/iframe><\/p>\n<p>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.<\/p>\n<p><strong>Links: Informal Systems<\/strong><\/p>\n<ul>\n<li><a href=\"https:\/\/informal.systems\/\">Website<\/a><\/li>\n<li><a href=\"https:\/\/twitter.com\/informalinc\">Twitter<\/a><\/li>\n<li><a href=\"https:\/\/github.com\/informalsystems\">Github<\/a><\/li>\n<\/ul>\n<p><strong>The Bitcoin Podcast Network<\/strong><\/p>\n<ul>\n<li><a>Slack<\/a><\/li>\n<li><a href=\"https:\/\/donate.hashingitout.stream\">Donate to Hashing It Out<\/a><\/li>\n<\/ul>\n<ul>\n<li><a href=\"https:\/\/discuss.thebitcoinpodcast.com\/\">Discuss<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>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 Website Twitter Github The Bitcoin Podcast Network Slack Donate to Hashing It Out Discuss<\/p>\n","protected":false},"author":7,"featured_media":6664,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","unlock_protocol_post_locks":"","publish_to_discourse":"0","publish_post_category":"1","wpdc_auto_publish_overridden":"1","wpdc_topic_tags":"","wpdc_pin_topic":"","wpdc_pin_until":"","discourse_post_id":"","discourse_permalink":"","wpdc_publishing_response":"","wpdc_publishing_error":"","footnotes":""},"categories":[99],"tags":[23,445,265,10,1031,243,1030,536,1029,1028],"_links":{"self":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/6662"}],"collection":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/comments?post=6662"}],"version-history":[{"count":4,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/6662\/revisions"}],"predecessor-version":[{"id":6668,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/6662\/revisions\/6668"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/media\/6664"}],"wp:attachment":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/media?parent=6662"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/categories?post=6662"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/tags?post=6662"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}