RCast 42: Interoperability and Cooperation

RCast 42: Interoperability and Cooperation

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith discusses the state of blockchain with Isaac DeFrain and Christian Williams. Transcript Greg: Today, I wanted to talk a little bit about some of the other blockchains. I’m not interested in...
RCast 41: Practical Programmable Liveness

RCast 41: Practical Programmable Liveness

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith continues the discussion on liveness with Isaac DeFrain and Christian Williams. Transcript Greg: Today I want to talk about some practical things that have happened with the network dynamics and then...
RCast 40: Rewriting the Derivative

RCast 40: Rewriting the Derivative

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith talks derivatives and reflection with Isaac DeFrain and Christian Williams. The following slides correspond to the discussion. The transcript follows the slides. Transcript Greg: I would like to talk...
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 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...