Top posts
RCAST 28: DAPP DEVELOPMENT ON RCHAIN
dApp development on RChain through the lens of RCAT.
RCAST 27: TOWARDS A LIVING WORLD (PART 2)
Biological metaphors for distributed consensus platforms.
RCAST 26: TOWARDS A LIVING WORLD (PART 1)
Biological metaphors for distributed consensus platforms.
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.