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 44: Fairness, Liveness & RChain

RCast 44: Fairness, Liveness & RChain

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith is joined by Isaac DeFrain and Christian Williams to discuss the final stages before Mainnet launch. Here are the papers discussed in this RCast: Backtracking, Interleaving, and Terminating Monad...
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...