RCast 39: Knots as Processes

RCast 39: Knots as Processes

Subscribe to RCast on iTunes | Google Play | Stitcher David Snyder, who co-wrote “Knots as processes: a new kind of invariant,” with Greg Meredith, joins the call along with Isaac DeFrain and Christian Williams. Transcript Greg: Thanks again, Derek, for...
RCast 38: Radical Fault Tolerance

RCast 38: Radical Fault Tolerance

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith discusses calculating the square root with Isaac DeFrain and Christian Williams. Slides Transcript Greg: The idea goes way back for me—about 17 years. I was hanging out in Harvard, waiting to chat...
RCast 35: Atypical Currency

RCast 35: Atypical Currency

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith and Isaac DeFrain discuss the future of currency. Transcript Greg: I want to talk about a very odd idea. It will strike many people as strange. Hopefully, I can offer motivations for the idea and...
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....