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...
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...
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...