RCast 34: Deep Dive Into TLA

RCast 34: Deep Dive Into TLA

Subscribe to RCast on iTunes | Google Play | Stitcher RChain developer Pawel Szulc leads a discussion on TLA (Temporal Logic of Actions) with Greg Meredith, Isaac DeFrain, and Christian Williams. Transcript Greg: It’s been difficult to get everyone in the same...
RCast 33: Brain Candy: LADL

RCast 33: Brain Candy: LADL

Subscribe to RCast on iTunes | Google Play | Stitcher This RCast begins with a discussion of TLA (Temporal Logic of Actions), but most of the conversation focuses on LADL (Logic As a Distributive Law) between Greg Meredith, Isaac DeFrain, and Christian Williams....
RCast 31: Rholang v1.1

RCast 31: Rholang v1.1

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith discusses the evolution of Rholang with Artur Gajowy, Isaac DeFrain, and Kent Shikama. The slides below the transcript correspond to this talk. Transcript Greg: Today, I was hoping we could go over...
RCast 30: Reaction Rates in Rho-calculus

RCast 30: Reaction Rates in Rho-calculus

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith and Isaac DeFrain discuss reaction rates as it pertains to RChain, Rholang, and Rho-calculus. The slides below the transcript correspond to the talk. Transcript Greg: Today, I wanted to talk about...