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.

RChain Debrief 94: Feedback from RCon3

RChain Europe went live and test net was launched at RCon3.  Kayvan has a fix for a few bugs encountered during the RSong demo and will have the demo running for the next six months.

This week, Greg emphasized the need to start building and testing dApps to uncover bugs and stabilize the network. Greg solicits the help of community members and portfolio companies with getting dApps running and writing code on the platform.

What’s your Must? Dispatch from RCon3

What is it that gets us out of bed in the morning? What do we wake up in the middle of the night contemplating? What drives us to work in the blockchain space: the problems we want to solve, the issues we want to address, the lives we want to change? What's your must? We'd love to know.

RChain test net genesis ceremony

On September 5th, validators from around the world convened in Berlin, Germany to launch the test net. More precisely, they launched the first of several test nets that will be run between now and early 2019 when the "Mercury" main net launches.

RChain Debrief 93: RCon3

This was RCon3 week in Berlin, Germany, and the community debrief was short. Kenny pointed out that there’s a deep interest in the blockchain space in Berlin. Learn more in this weeks debrief.

RSong: The future of music

In collaboration with Immersion Networks (an R&D Laboratory that creates software and hardware to improve the human listening experience) and Mycelia (a music-blockchain community founded by Imogen Heap), RChain, a Cooperative building a third-generation blockchain, offered the first “immersive” music demo at RCon3 in Berlin on September 5.

Computational calculus primer Part 3: ρ-calculus

The ρ-calculus is an asynchronous message-passing calculus built on a notion of quoting; it is a closed theory, as the theory of names is wholly determined by the theory of processes. The name ρ-calculus or RHO-calculus is an acronym for reflective, higher-order calculus.

Page 26 of 28