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.
29 Apr 2026 E194: Fal's Bet on Generative Media
Fowl evolved from a feature store to a cloud compute platform focused on AI inference for generative media, shifting from Python data tools to serverless runtime and open-source ML models post-2022, overcoming GPU and cost challenges through performance engineering, differentiating via media-specific niches, and positioning as a leader in tailored solutions for enterprises and startups with a focus on video model advancements.
8 Apr 2026 E193: Managing 100s of Agents with Maestro
Maestro, an open-source platform, tackles AI agent workflow challenges by organizing tasks into isolated sessions, enabling seamless context switching, automation, and integration with tools like Obsidian, while emphasizing community-driven, flexible solutions for streamlined workflows and enterprise customization.
4 Feb 2026 E191: Super Fast Infra for Agents to Use the Internet
A new open-source platform, Kernel, is being developed to create a scalable and high-speed browser infrastructure for AI agents, addressing automation tool shortcomings and aiming for widespread adoption.
20 Jan 2026 E190: Open Sourcing AI Coding Platform Devin to Create OpenHands
A podcast discusses the open-source AI platform Open Hands, its democratization of AI-assisted software development, and its growth through community contributions.
15 Jan 2026 E189: Why Your Backup Platform Should Be Open Source with Plakar
This open source backup platform addresses modern data backup challenges with secure, scalable, and efficient features such as encryption, deduplication, and a custom storage engine.