RCast 54: Cost Accounting

RCast 54: Cost Accounting

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith discusses cost accounting, Testnet-3, and RChain’s unique features with Isaac DeFrain. Transcript Greg: We were initially going to talk about Reflective Proof Theory, which is moving along very...
RCast 50: RChain Research & Retrospect

RCast 50: RChain Research & Retrospect

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith talks to Isaac DeFrain and Christian Williams about the last year of RChain research. Transcript Greg: I was looking over the drive where I keep the slides and I wanted to go back over the results...
RCast 48: Reflective Proof Theory

RCast 48: Reflective Proof Theory

Subscribe to RCast on iTunes | Google Play | Stitcher Beginning with a set of interactive rewrite rules, Greg Meredith discusses his work with Mike Stay to derive a proof theory that exhibits a Curry-Howard style correspondence. Specifically, it enjoys a...
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...