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,...
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,...
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....
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...