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 25: The Rho Combinator
Greg Meredith and Mike Stay discuss updates to their latest paper, "Name-free combinators for concurrency."
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.