- 11
- Episodes
- 2022
- First episode
About Informal Conversations
Informal Conversations is brought to you by Informal Systems, a core contributor of the Cosmos ecosystem.
- Publisher
- Informal Systems
- Category
- business
- Language
- en
- Explicit
- No
- First episode
- 1 Mar 2022
- Latest episode
- 11 May 2023
Latest episodes
11 episodes in the feed.
11 May 2023
Cosmos Co-Founder Recounts the Beginnings of Cosmos - Part 5 | Informal Conversations
Join us as Ethan Buchman, co-founder of Cosmos and founder of Informal Systems, unravels the history and evolution of the Cosmos Hub with our host Thyborg. Discover insights into the dedicated Validator community, the unique governance model of the Cosmos ecosystem, and the game-changing technology of Interchain security. Tune in for a compact yet comprehensive tour of the Cosmos universe. The Cosmos Hub is a Port City - Ethan Buchman & Sam Hart: https://blog.cosmos.network/the-cosmos-hub-is-a-port-city-5b7f2d28debf Informal Systems Twitter 👉 https://twitter.com/informalinc Informal Systems Website 👉 https://informal.systems/ Informal Systems GitHub 👉 https://github.com/informalsystems Disclaimer: The views expressed in this video do not necessarily reflect the views of any particular person or organization. No endorsement is intended by the content of this video. No representations or warranties regarding the completeness, accuracy, applicability, or fitness are intended by the content of this video.
11 May 2023
Duality: a DEX for the Cosmos Hub | Informal Conversations
Join Thyborg and Nicholas Evans as they discuss Duality, a next-generation decentralized exchange with a unique AMM design. Combining the best of AMMs and Orderbooks, Duality offers increased flexibility, and improved prices, while minimizing MEV. Duality will leverage replicated security from the Cosmos Hub! Informal Systems Twitter 👉 https://twitter.com/informalinc Informal Systems Website 👉 https://informal.systems/ Informal Systems GitHub 👉 https://github.com/informalsystems Duality Twitter 👉 https://twitter.com/dualityxyz Duality Website 👉 https://duality.xyz/ Disclaimer: The views expressed in this video do not necessarily reflect the views of any particular person or organization. No endorsement is intended by the content, creation, or hosting of this video. No representations or warranties regarding the completeness, accuracy, applicability, or fitness are intended by the content of this video.
11 May 2023
Stride Founders Explain Liquid Staking | Informal Conversations
Stride is the biggest liquid staking protocol in the Cosmos ecosystem. In this interview, Stride founders explain how Stride brings liquid staking to Cosmos chains, the goals in 2023, and how Interchain Security advances their goals. Stride proposal: https://forum.cosmos.network/t/proposal-draft-stride-to-join-atom-economic-zone-and-adopt-ics/10418 Liquid Staking Module: https://forum.cosmos.network/t/signaling-proposal-draft-add-liquid-staking-module-to-the-cosmos-hub/10368 Informal Systems Twitter 👉 https://twitter.com/informalinc Informal Systems Website 👉 https://informal.systems/ Informal Systems GitHub 👉 https://github.com/informalsystems The views expressed in this video do not necessarily reflect the views of any particular person or organization. No endorsement is intended by the content of this video. No representations or warranties regarding the completeness, accuracy, applicability, or fitness are intended by the content of this video.
3 May 2023
Cosmos Co-Founder Recounts the Beginnings of Cosmos - Part 4 | Informal Conversations
In Episode 4 of "Informal Conversations," host Thyborg welcomes back Ethan Buchman, Cosmos co-founder, for an in-depth discussion about Informal Systems, their contributions to the Cosmos ecosystem, and the innovative use of formal methods in cosmos technology and engineering in general. Apalache: https://github.com/informalsystems/apalache Quint: https://github.com/informalsystems/quint Hermes: https://github.com/informalsystems/hermes Comet BFT: https://github.com/cometbft/cometbft Informal Systems Twitter 👉 https://twitter.com/informalinc Informal Systems Website 👉 https://informal.systems/ Informal Systems GitHub 👉 https://github.com/informalsystems Disclaimer: The views expressed in this video do not necessarily reflect the views of any particular person or organization. No endorsement is intended by the content of this video. No representations or warranties regarding the completeness, accuracy, applicability, or fitness are intended by the content of this video.
2 May 2023
Cosmos Co-Founder Recounts the Beginnings of Cosmos - Part 3 | Informal Conversations
In this episode of our series on the origins of Cosmos, Thyborg interviews Ethan Buchman, Cosmos co-founder, to discuss starting Informal Systems and the terms of the spin-out from the Interchain Foundation, the role Informal played in the ecosystem and the benefits of formal methods in software engineering. For more detail, see the accompanying blog post: https://informal.systems/blog/informa... (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbUNLeHQ5YnBJSktGdFVNam0tLUtONlF0ajA0d3xBQ3Jtc0tuWDRlM1IzUWhvYmlMZktnMTlCN2pxVjliWDg5cGdPTWVxQm9RNTZyNGRvV2pIbmpjWmtMMS1DZ2dhWHZXUWJucktYOTg0bUtrMG5LWXpBTXlMRXo3SXJiOVUyVWVVN29BZldYVTYyWDFLUjRmWDZMYw&q=https%3A%2F%2Finformal.systems%2Fblog%2Finformal-origins&v=XKcEObUchx4) Informal Systems Twitter 👉 https://twitter.com/informalinc (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbW5jdWQ0dXFGbVJZU0xiN3FTempUbzVZNUFBd3xBQ3Jtc0tsZk9zMjJKbG13TmdoMHg5WGJBYmhXS1M0bThpYmdpY3RsVmYyUkxDMy1jRmZtb3ROT0JTM0RNRGh2TmF6aGFDRWJJZWdTSGhRcmhWQXVac0RaZFFtdHBJR2RJdzVDenpGMk83T3JZMkN0U2hLcXVMZw&q=https%3A%2F%2Ftwitter.com%2Finformalinc&v=XKcEObUchx4) Informal Systems Website 👉 https://informal.systems/ (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbGVzT3FEaVJCbVNtRVd3M1V6YlRoTG55QzNEZ3xBQ3Jtc0trcUR4X2dvZ2YybmxUQVhDcklrc1B1c0RkaWJhLXRRX0w1N1FFN25KSjdpVlo0WklWVWVGRncxdllYaHRfNWFzaEE5MXVCbFBvcERZdklGRnpqd0l3dFV5Q0dzTEdnc2NWT1Y3VVZQTWtiXzA5aDg3VQ&q=https%3A%2F%2Finformal.systems%2F&v=XKcEObUchx4) Informal Systems GitHub 👉 https://github.com/informalsystems (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqazVFY0VOSzBBWnFnSVppYVJsU3ZDSno1Mmd5QXxBQ3Jtc0tsXzFVbDI4OEF2MFN2RE5QTWhiRmZYVUg2Vkk3VnFrWU4tTng4bnVtU1owTmtNVHZVOTQwZ2pJVWtNMGxFZkE4WmtlbHlIVFQxTmVqdWdVSTBGSllscEhyazVrSUd1YjlST1VkdnJVWnNFWDFSdkZUcw&q=https%3A%2F%2Fgithub.com%2Finformalsystems&v=XKcEObUchx4) Disclaimer: The views expressed in this episode do not necessarily reflect the views of any particular person or organization. No endorsement is intended by the content of this episode. No representations or warranties regarding the completeness, accuracy, applicability, or fitness are intended by the content of this episode.
1 May 2023
Cosmos Co-Founder Recounts the Beginnings of Cosmos - Part 2 | Informal Conversations
In the second episode of Informal Conversations, Thyborg sits down with Ethan Buchman, Cosmos co-founder, to discuss the goals of the creation of the Interchain Foundation, its role of the ICF in supporting the growth and development of the Cosmos ecosystem, the early community of validators, and more Gaia genesis files: https://github.com/cosmos/gaia/blob/m... (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbTRFZUVQa09URjRKSGZUY0VySTVFVGRyNFlXUXxBQ3Jtc0ttVzlfUUFyUUxvaEdNb21XTWlucEdub25iR0dhNjBzTVVDVks1REFyM0VCRlRRRUhQWUhJRDh3MU4za1pJNUZYOF9JX1VaSlBhalRkc2twT2ZNUnFFUVdFV05hSnBJQmRuYnlfNHNnRzZBcDIzOF9GSQ&q=https%3A%2F%2Fgithub.com%2Fcosmos%2Fgaia%2Fblob%2Fmain%2Fdocs%2Fresources%2Fgenesis.md&v=fX0Oj6D9k3U) Interchain Foundation medium: https://medium.com/the-interchain-fou... (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqa1daWXJPMHZzQWlFd1NyRTk1TExyelJ4LXloQXxBQ3Jtc0ttZ0R6LVRXSnBlM1ZJYmNxZWJXREVPT2xvcWVSNVBSVWFsMWpsb0h5TFJTMERTS0d5S1BnVE9qZVJOeGw4VzNaSWIxU3hCLWRQbkdrbEE4V244N1F2WF9LcTNPdnNGUnh5dWFyUXpLX28tYTBPSW5Baw&q=https%3A%2F%2Fmedium.com%2Fthe-interchain-foundation&v=fX0Oj6D9k3U) Informal Systems Twitter 👉 https://twitter.com/informalinc (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqa19mZTcwSWJ4WE9yUmlQd3lneXgwbnlETERtd3xBQ3Jtc0tsWXdkRXhuNTBkcWRScWtMVEQwMkdmcVdVVUxVeldqTm04Z3lFODRBMTRkQWQxNWhfcXZnaG95a09SWDk2MlE3RGtBaDNBV3VjVVVxUFI2RjFqQWo3TjZId1ctRFQ3UlBnZDNPWGRhOU1zQXRhcExNYw&q=https%3A%2F%2Ftwitter.com%2Finformalinc&v=fX0Oj6D9k3U) Informal Systems Website 👉 https://informal.systems/ (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbDU0WWp1NzJiZWFhUUxhYW1lbWJ6UGFFV1l0Z3xBQ3Jtc0trTWdBRWtrQkJmSUhnZjRUdFdwUjZ4NjhhR2NsTDUwWWJCd19HMXEyUWZKdzNYSUl6ZHlMaEE2XzZSUjFrOUpEWjB0MlAxZFhyY3BjMGMwakxva0Y0VFFXNjYwSy12TmI2T1RqcW4tcVdKUl9ncjJaOA&q=https%3A%2F%2Finformal.systems%2F&v=fX0Oj6D9k3U) Informal Systems GitHub 👉 https://github.com/informalsystems (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbDB4MVRnSnZINnk3bHhrV0hMZXoxcmVnNmlXUXxBQ3Jtc0tudTdYZW0xUDNGSHBoeEVrU0U1SDVBQVliVDNJZ0lHWEFlaFBCcHpXdm45OUlGajZMNmUzVmZyZGUwd2dYSWR0RXRCMXYzdTg4anVsZVlOc2F0RzgxRnQyRW5jWFhZUjlqbjF5WDF5QlkxbE1OaWtrTQ&q=https%3A%2F%2Fgithub.com%2Finformalsystems&v=fX0Oj6D9k3U) Disclaimer: The views expressed in this recording do not necessarily reflect the views of any particular person or organization. No endorsement is intended by the content of this episode. No representations or warranties regarding the completeness, accuracy, applicability or fitness are intended by the content of this episode.
1 May 2023
Cosmos Co-Founder Recounts the Beginnings of Cosmos - Part 1 | Informal Conversations
In the first part of a series on Cosmos history, Ethan Buchman shares his incredible journey into the world of cryptocurrency and how he came to know Jae Kwon, Zaki Manian, and the rest of the Proof-of-Stake crew. Discover the groundbreaking moments, challenges, and successes that have shaped Cosmos into what it is today! To learn more about the history of Cosmos, check out this insightful blog post: https://blog.cosmos.network/cosmos-hi... (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbTUxZ3FwaHVVWW81YVlnWHZGcGd1aFdMMWZUZ3xBQ3Jtc0ttUnEzbHdXNl8xQWdNbWlSUjhpdm5hc3ZFbkZrX01rQlZ4dDZheTh4WFNfNHFOOUZIbF9wLUVTbE4wek1ZTlVhVEpyU25JTm5wTG9vUWZRWGNPZVhfS3dYM25tVXNXd3pXeWtJNkFIVUZTV0x6SFVmdw&q=https%3A%2F%2Fblog.cosmos.network%2Fcosmos-history-inception-to-prelaunch-b05bcb6a4b2b&v=D--CafvLdGk) Informal Systems Twitter 👉 https://twitter.com/informalinc (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbk1wZ2RiRi1weUF2UjE1ZDhXOXJQUkt3aUJMZ3xBQ3Jtc0ttcFpwa2U3UUhfZDYtc2NJWE1VSklEc053Wnk2dmtURzRfM0kxUFlwdUpYWENtLXQtNERTM3pBdjVFUjQ4dVFTYndSX1FIQ3diUjRBaWM1eVJ3OXI2aFdWZ1V0UXBCTVhjbjJheHVKWmxodzNQc3lBaw&q=https%3A%2F%2Ftwitter.com%2Finformalinc&v=D--CafvLdGk) Informal Systems Website 👉 https://informal.systems/ (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqbWNVRl94alhPNDZJaERueUctVXROdjBZOGRyZ3xBQ3Jtc0trcnR4U2I2RWluNjBHRXRVM3AzWk1jSENpZEhOLWVTMkdoaTVodkY4Q05LNlltSWx4eTVUWHZLRFF5T3llZXZYdEN1aFJnMzNFSlc1S2Z2T2N1V21tT0dtTzhNa252RFE5ODBsZkVfVDNnZk9LbzdmYw&q=https%3A%2F%2Finformal.systems%2F&v=D--CafvLdGk) Informal Systems GitHub 👉 https://github.com/informalsystems (https://www.youtube.com/redirect?event=video_description&redir_token=QUFFLUhqa3pKdVVKS0E2VmxOYTVlbUxyaG9jc3dWS3h2QXxBQ3Jtc0tuenBaVEhLN1JtLVJtVkJ2dGpoejc4aHhnSmhfZ3BfXzFuYmVJWE9idVd1Z0Fic2VxWDZhRlNWSUFTZFRQeGpESWQ4WXctQ1ZxV0tvUXp6WGtpZFNTem1TTFZiMWNGcF93V01TdHlsQTN1b1FvLWxsSQ&q=https%3A%2F%2Fgithub.com%2Finformalsystems&v=D--CafvLdGk) Disclaimer: The views expressed in this recording do not necessarily reflect the views of any particular person or organization. No endorsement is intended by the content of this video. No representations or warranties regarding the completeness, accuracy, applicability or fitness are intended by the content of this video.
23 Feb 2023
The Replicated Security Launch with Jehan and Thyborg
In this episode, Thyborg, Informal's head of business development, interviews Jehan, product manager of the Cosmos Hub, about the upcoming launch of Replicated Security.
3 Jun 2022
"What even is a Principle Scientist?" with Igor Konnov
Igor Konnov is a Principle Scientist at Informal who works on the Apalache (https://github.com/informalsystems/apalache) model checker. We chat with him about what it's like doing R&D work at Informal, as well as what being a scientist outside of an academic institution is like.
30 Mar 2022
Rust, Haskell, & Monetary Engineering with Soares Chen
Soares Chen is a Rust engineer on the ibc-rs (https://github.com/informalsystems/ibc-rs) team at Informal. He works on improving the Hermes (https://hermes.informal.systems/) relayer and is interested in functional programming and how money works.
1 Mar 2022
Thoughts on Financing a Workers' Co-op with Arianne Flemming
We sat down with Informal's COO Arianne Flemming to discuss her background in finance, how she pivoted to working in tech, and how she thinks about financing a workers' cooperative in the blockchain space.
Contact Informal Conversations
- Guest appearances
- Books guests
Based on episode analysis; this does not confirm that the show is currently accepting guests.
Host of Informal Conversations?
Claim your podcast to manage its listing and keep your show details accurate.
Pod Engine is an independent podcast discovery and analytics service and is not affiliated with or endorsed by this podcast. Artwork and show content belong to their owners. Full legal notice.
Explore this show
Podcast research with Pod Engine