Zarko Milosevic, verification tools, innovation & Tendermint

This episode of the #citizencosmos podcast features Zarko Milosevic from Informal Systems, a core developer of the Cosmos Network. Informal Systems makes formal verification technology more accessible by developing tools and processes to improve the quality and experience of software engineering. Zarko's Twitter We spoke to Zarko about Informal Systems, and: The evolution of Zarko Milosevic The growth of Informal Zarko’s personal values and goals Informal’s vision of the three pillars of society Leading by example in Cosmos governance Progress in verification tools Quint Working in Cosmos How the correct development tools can revolutionize the Crypto Space Consensus Engine stewardship Innovation on all levels Examples of new Use Cases that Zarko envisages Issues with scalability with the consensus engine If you like what we do at Citizen Cosmos: Stake with Citizen Cosmos validator Help support the project via Gitcoin Grants Listen to the YouTube version Read our blog Check out our GitHub Join our Telegram Follow us on Twitter Sign up to the RSS feed Special Guest: Zarko Milosevic.Links:ABCI (Application Blockchain Interface)ApalacheAnomaBostromBullsharkChris GoesCofiCosmosCosmWasmDan EdlebeckEthan BuchmanIBCICF Interchain FoundationInformal SystemsFernando PerdoneJae KwonQuintRustScalaStrideTendermintTLA+