web02.fireside.fm Sat, 30 May 2026 03:46:28 -0500 Fireside (https://fireside.fm) Citizen Web3 Podcast - Episodes Tagged with “Zarko Melosovic” https://podcast.citizenweb3.com/tags/zarko%20melosovic Thu, 26 Jan 2023 03:00:00 +0000 Exploring blockchain decentralization and the Web3 universe for over 5 years, through in-depth, hour-long conversations with builders, thinkers, and contributors—founders, validators, node operators, CTOs, VCs, DAOs, and privacy advocates. We explore critical topics: privacy, security, decentralization, technological progress, finance and cryptocurrencies dark sides, alongside personal stories of success, failure, and lessons learned. Blockchain-agnostic and building for decentralization, Citizen Web3 runs off-the-grid, non-custodial validator infrastructure, contributing to public goods and Web3. Support our work by staking with us: staking.citizenweb3.com/ en episodic Conversations with Web3 Builders, Thinkers and Contributors serejandmyself Exploring blockchain decentralization and the Web3 universe for over 5 years, through in-depth, hour-long conversations with builders, thinkers, and contributors—founders, validators, node operators, CTOs, VCs, DAOs, and privacy advocates. We explore critical topics: privacy, security, decentralization, technological progress, finance and cryptocurrencies dark sides, alongside personal stories of success, failure, and lessons learned. Blockchain-agnostic and building for decentralization, Citizen Web3 runs off-the-grid, non-custodial validator infrastructure, contributing to public goods and Web3. Support our work by staking with us: staking.citizenweb3.com/ no web3, blockchain, ethereum, cosmos, polkadot, l1, l2, layer two, protocol, eth, podcast, crypto podcast, staking, technology, reward, tendermint, IT, finance, serejandmyself, citizen cosmos, citizen web3, crypto, decentralization, cryptocurrency, atom, ecosystem, community, interchain, the great web, how to stake, earn rewards for staking, validator, pos, securing networks, ecosystem development, defi, dao, privacy, bitcoin, internet of blockchains, infra, infrastructure, citizen web3 validator, citizen web3 staking, show, podcast about blockchain, blockchain podcast best, explaining cryptocurrency, what is blockchain podcast, best cryptocurrency podcast, cryptocurrency podcast for beginners, alts, nodes, web3 business, web3 project, what is web3, how web3 works, how does web3 work, web3 help, how to enter web3, passive income, how to stake, communication, what blockchain should i invest in, should i learn blockchain, blockchain when to use, blockchain where to start, blockchain basics serejandmyself citizenweb3@protonmail.com Formal Verification, Innovation and Consensus with Zarko Milosevic http://podcast.citizenweb3.com/informal d61e1650-b1b6-4e08-8388-1557e60d8c03 Thu, 26 Jan 2023 03:00:00 +0000 serejandmyself full serejandmyself This episode of the #citizenweb3 podcast features Zarko Milosevic CTO at Informal Systems, a core developer of the Cosmos Network 54:20 no <hr> <p>This episode of the #citizenweb3 podcast features Zarko Milosevic from Informal Systems, a core developer of the Cosmos Network.</p> <p>Informal Systems makes formal verification technology more accessible by developing tools and processes to improve the quality and experience of software engineering.</p> <hr> <h5>We spoke to <a href="https://twitter.com/zarinjo" target="_blank" rel="nofollow noopener">Zarko Milosevic</a> about <a href="https://informal.systems/" target="_blank" rel="nofollow noopener">Informal Systems</a> and:</h5> <ul> <li>The evolution of Zarko Milosevic </li> <li>The growth of Informal </li> <li>Zarko’s personal values and goals</li> <li>Informal’s vision of the three pillars of society</li> <li>Leading by example in Cosmos governance</li> <li>Progress in verification tools </li> <li>Quint</li> <li>Working in Cosmos </li> <li>How the correct development tools can revolutionize the Crypto Space</li> <li>Consensus Engine stewardship</li> <li>Innovation on all levels</li> <li>Examples of new Use Cases that Zarko envisages</li> <li>Issues with scalability with the consensus engine</li> </ul> <hr> <h5>If you like what we do at Citizen Web3:</h5> <ul> <li>Stake with Citizen Web3 <a href="https://www.citizenweb3.com/staking" target="_blank" rel="nofollow noopener">validator</a></li> <li>Listen to the <a href="https://youtu.be/l2iy3U3OjQ8" target="_blank" rel="nofollow noopener">YouTube version</a></li> <li>Follow us on <a href="https://twitter.com/citizen_web3" target="_blank" rel="nofollow noopener">Twitter</a></li> <li>Sign up to the <a href="https://www.citizenweb3.com/rss" target="_blank" rel="nofollow noopener">RSS feed</a> Special Guest: Zarko Milosevic.</li> </ul> citizenweb3, blockchain, tendermint, it, cosmos, web3, serejandmyself, podcast, staking, validators, citizen cosmos, crypto, cryptocurrency, atom, technology, how to decentralize tech, zarko melosovic, informal systems, quint, verification tools, quality and assurance, testing, governance, three pillars, vision, revolutionize crypto, consensus engine, abci++

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 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 Web3:

Special Guest: Zarko Milosevic.

Links:

]]>

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 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 Web3:

Special Guest: Zarko Milosevic.

Links:

]]>