RCast 25: The Rho Combinator

RCast 25: The Rho Combinator

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith and Mike Stay discuss updates to their latest paper, “Name-free combinators for concurrency.” Christian Williams joins the conversation. Transcript Greg: We’re talking this week about an...
RCast 23: Understanding LADL

RCast 23: Understanding LADL

Subscribe to RCast on iTunes | Google Play | Stitcher A talk between Greg Meredith and Christian Williams on LADL (Logic as A Distributive Law). Transcript Greg: In a recent meeting with some of the members, they wanted to find out a little bit more about some of the...
RCast 22: Proof of Stake Economics

RCast 22: Proof of Stake Economics

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith discusses the implications of proof of stake economics with Isaac DeFrain and Steve Ross-Talbot. Transcript Greg: Today’s topic is proof of stake economics because I think a lot of of people...
RCast 21: The Currency of Concurrency

RCast 21: The Currency of Concurrency

Subscribe to RCast on iTunes | Google Play | Stitcher In this RCast, Greg Meredith is joined by Isaac DeFrain and Christian Williams to discuss why concurrency is necessary for blockchain—and beyond. Transcript Greg: The topic of today’s discussion is all about...