Computational calculus primer Part 3: ρ-calculus

Computational calculus primer Part 3: ρ-calculus

Overview We saw in the previous post that π-calculus is a process calculus which is dependent on a theory of names; it is therefore said that it is not a closed theory. The ρ-calculus is an asynchronous message-passing calculus built on a notion of quoting; it is a...
RChain and Raspberry Pi: Coin faucet part 1

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.   Physical coin faucet origins: The quest for free beer “How could we, say, give away free beers on the...
Computational calculi primer Part 2: π-calculus

Computational calculi primer Part 2: π-calculus

Overview The first post in this series covered grammar and operational semantics for λ-calculus.   Our interest in π-calculus lies in the fact that it is the precursor of ρ-calculus. It is a model of concurrent computation, or more specifically, a process calculus...
Start coding in Rholang today!

Start coding in Rholang today!

If you’ve heard Greg Meredith speak about his vision for RChain, you know what it’s like to be excited about a blockchain project. If you’ve seen RChain’s design for sharding, you realize that throughput is a solvable problem. If you’ve...
Running RNode on Amazon AWS (EC2)

Running RNode on Amazon AWS (EC2)

Setting up RNode on a VPS or a cloud service like Amazon Web Services (AWS) 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 (via  screen). This is a...