This episode of the #citizenweb3 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.
We spoke to Zarko Milosevic (https://twitter.com/zarinjo) about Informal Systems (https://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 Web3:
Stake with Citizen Web3 validator (https://www.citizenweb3.com/staking)
Listen to the YouTube version (https://youtu.be/l2iy3U3OjQ8)
Follow us on Twitter (https://twitter.com/citizen_web3)
Sign up to the RSS feed (https://www.citizenweb3.com/rss)
Special Guest: Zarko Milosevic.
