# Developer

### Discover the Rchain Cooperative

## How Rholang relieves the burden of a syntax-semantics gap in programming

In an interview with Epicenter, Greg Meredith and Nash Foster broke down one of the key things that makes Rholang unique where other languages are lacking due to what can be called a syntax-semantics gap. Nash explained that the simplicity of some languages is deceptive. “You can stand something up and it will sort of work, but you’re going to have a lot of bugs because you don't really understand what you’re doing. The model of computation is too confusing.

## Consensus on the RChain network (RCon3 talk)

This talk from RCon3 covers RChain’s use of the CBC Casper framework and the proof of stake protocol built on Casper. The video includes images and explanations of a blockDAG and what equivocation looks like.

## Rholang vs. the dining philosophers

Rholang is frequently touted as a fully concurrent programming language. It will be blazing fast because it executes things sequentially only when absolutely necessary. It allows us to avoid resource starvations and thread deadlock. And it isn't even clunky or hard to use, because all of this is built right into its concurrent computational model.

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

## Intro to Design of Computational Calculi 1: Mathematical models of grammar

To design computational calculi for specific applications, we must first understand what constitutes a computational calculus. The RhoVM is based on the concurrent computational calculus known as reflective, higher-order calculus, or ρ-calculus for short.

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

## RChain and Raspberry Pi: Coin faucet part 1

This is the first of five articles about a project using RChain deployed to Raspberry Pi 3, interacting with phones in the local area over Bluetooth LE 4.

## Computational calculi primer Part 2: π-calculus

Pi-Calc is a model of concurrent computation, or more specifically, a process calculus based upon a notion of naming. In a process calculus, we represent interactions between independent agents or processes as message-passing, as opposed to modifications of shared variables (as in λ-calculus).

## Computational calculi primer Part 1: Lambda calculus & BNF

This article covers some of the basics of computational calculi, like the syntax and semantics of λ-calculus, π-calculus, and the model RChain is built on, ρ-calculus.