Top posts
RCast 24: Programmable Liveness for Casper
RChain research on Casper.
RCast 23: Understanding LADL
A deep dive into LADL (Logic as A Distributive Law).
RCast 22: Proof of Stake Economics
The implications of proof of stake economics.
RCast 24: Programmable Liveness for Casper
Greg Meredith is joined by Isaac DeFrain and Christian Williams to discuss RChain research on Casper.
The Pi Calculus: Toward Global Computing
In this video, Christian Williams presents during an Applied Category Theory Seminar on the pi calculus.
RCast 23: Understanding LADL
A talk between Greg Meredith and Christian Williams on LADL (Logic as A Distributive Law).
RChain update 120: RSong vehicle documentation completed
Update for the community call on Wednesday, 3/20/19.
RCast 22: Proof of Stake Economics
RCast 22 features Greg Meredith, Isaac DeFrain, and Steve Ross-Talbot discussing proof of stake economics.
RChain Update 118: Ravi Srivatsav accepts position as COO
Weekly debrief for community call on Wednesday, March 6, 2019.
RCast 21: The Currency of Concurrency
In this RCast, Greg Meredith is joined by Isaac DeFrain and Christian Williams to discuss why concurrency is necessary in blockchain—and beyond.