Marty sits down with Andrew Poelstra from Blockstream to discuss the launch of Simplicity on Liquid mainnet, a formally specified programming language that enables smart contracts with mathematical guarantees of safety and predictable execution costs, representing nearly a decade of development to bring secure, expressive scripting capabilities to Bitcoin-based systems.