RCast 58: LADL Proof Theory in Detail

RCast 58: LADL Proof Theory in Detail

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith goes deep into LADL with Isaac DeFrain and Christian Williams. Please click here to read and comment on the paper discussed in this podcast. Transcript Greg: This week is a technical deep dive in...
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...