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 37: Reflective Abstract Syntax

RCast 37: Reflective Abstract Syntax

Subscribe to RCast on iTunes | Google Play | Stitcher Christian Williams discusses his recent trip to study with Marcelo Fiore with Greg Meredith and Isaac DeFrain. Transcript Christian: I just returned from a long trip in Europe where I was attending summer school...
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....