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.

My Five Songs: Jeremy Beal

Music keeps everyone at RChain focused and engaged on the work in front of us—it is the ultimate social coordinating technology. Each week we feature five songs that a member of our community is listening to. This week RChain writer and developer Jeremy Beal chimes in. Have your own five songs? Tag #myfivesongs @rchain_coop on Twitter. 

(more…)

Page 21 of 27