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

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.

Page 1 of 27