More Open Source Startup Podcast episodes
Published 9 Jan 2026
Duration: 00:37:48
A company focuses on building secure and reliable financial infrastructure through innovative software tools and technologies, prioritizing technical excellence and democratic governance.
In our latest episode, co-hosts Robby and Tim talk with Zarko Milosevic (CTO) & Arianne Flemming (COO) of Informal Systems. They've built a protocol d...
The podcast covers a company focused on building modern financial infrastructure with an emphasis on reliability and security in both software and financial systems. The company develops tools such as Quint, a formal specification language used for designing systems, and provides security auditing services. It also creates financial spin-outs, including Hydro, an on-chain robo-advisor, and Cycles, a decentralized clearing house.
Founded in 2020, the company runs as a worker cooperative, prioritizing technical excellence and democratic decision-making in its governance model. Its funding comes mainly from service agreements and a small 2023 funding round. The company follows a strategy of incubating technologies before spinning them out as independent entities when they require distinct market entry or fundraising approaches. The companys long-term vision extends beyond blockchain, aiming to apply formal methods and verification to broader software security challenges and distributed systems. It seeks to make formal verification more practical and accessible, while also exploring the integration of AI with its tools to enhance software correctness and development processes.
3 Aug 2026 E201: Building Your Agent Army with Paperclip
Recommended: Try and use agent frameworks
"Paperclip is an open-source AI agent management tool for work, offering task automation, accountability, and scalability with human-centric design and future enhancements like automated reviews and specialized manager agents."
27 Jul 2026 E200: Open Sourcing Warps Terminal
"Warp, an AI-driven terminal and cloud automation platform, enhances developer productivity with open-source tools, proprietary agentic workflows, and a focus on scalable, vendor-neutral software development."
14 Jul 2026 E199: Rethinking Infra-as-Code for the AI Era
"Explores IaC challenges, introduces Formae as a scalable, code-first solution with hybrid declarative language, and discusses AI's role in infrastructure management."
9 Jun 2026 E197: The Evolution of Building Open Source Businesses from HashiCorp to Flox
The text analyzes the shift from pure open-source to hybrid models, contrasts foundation-driven and single-company ecosystems, examines DevOps tools for scalable environments, AI integration challenges, and emerging trends in community-driven innovation and agent-centric infrastructure.
3 Jun 2026 E196: Shifting Developer Portals to Agent Portals with Port
Port is an agentic engineering platform streamlining developer workflows through AI-driven automation, self-service infrastructure, cloud resource management, and integration with Kubernetes and observability systems, offering a cohesive enterprise solution with open-sourced integrations and proprietary features to address fragmented tools, scalability, and AI workflow governance.