<p>This RCast begins with a discussion of TLA (Temporal Logic of Actions), but most of the conversation focuses on LADL between Greg Meredith, Isaac DeFrain, and Christian Williams.</p>

34: Deep Dive Into TLA

RChain is a complete, concurrent blockchain platform designed for maximum efficiency at minimal computational and environmental costs by utilizing proof of stake. Beyond our platform, our investment partners fund organizations that are working within our core mission statement to create a better world by enabling social coordination in robust, secure, and scalable ways. Each week you'll hear from the founders of RChain's portfolio companies, co-op members, staff, and other figures in the RChain ecosystem, about the most pressing issues in blockchain today.