RCast 34: Deep Dive Into TLA

RChain developer Pawel Szulc leads a discussion on TLA (Temporal Logic of Actions) with Greg Meredith and Isaac DeFrain.

RCast 33: Brain Candy: LADL

This RCast begins with a discussion of TLA (Temporal Logic of Actions), but most of the conversation focuses on LADL (Logic As a Distributive Law) between Greg Meredith, Isaac DeFrain, and Christian Williams.

RCast 32: TOGL (Theory of Graphs Language)

Greg Meredith discusses his notion of TOGL (Theory of Graph Languages) with Isaac DeFrain and Christian Williams.

Top posts

RCAST 34: DEEP DIVE INTO TLA

Pawel Szulc dives into TLA+.

RCAST 33: BRAIN CANDY: LADL

Brain Candy on LADL.

RCAST 32: TOGL (THEORY OF GRAPHS LANGUAGE)

Greg Meredith discusses his notion of TOGL.

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 23 of 28