# Developer

### Discover the Rchain Cooperative

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

## Start coding in Rholang today!

If you've actually tried to code in Rholang, you may have noticed the reference material is sparse. That doesn’t mean it’s difficult, and you don’t have to wait to begin learning how to program for this new blockchain.

## Running RNode on Amazon AWS (EC2)

This is a step by step guide to run RNode on Amazon Web Services. Setting up RNode on a VPS or a cloud service based virtual computer like the Amazon EC2 is desirable for users who are not able to set port forwarding or UPNP due to various network setups or for users who might want to run RNode for long periods