RCast 60: Consensus Games

RCast 60: Consensus Games

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith discusses his game ideas for the RChain platform with Isaac DeFrain and Christian Williams. To view the InkMe deck discussed during the podcast, click here. The transcript will be available soon....
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...