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...
Running RNode (v 0.6.x) with Docker

Running RNode (v 0.6.x) with Docker

In this tutorial, you will learn how to install set up and Docker download and set up three RNodes create a simple Hello World contract to deploy on your own local platform If you have any problems or need help, leave a comment below and we will assist you as much as...
Introduction to rho calculus

Introduction to rho calculus

Hey, devs and future devs! This post is to help everyone get a basic understanding of Reflective Higher-Order Calculus (rho-calc), and understand why RChain uses this calculus model to build and solve blockchain scalability and security. Computational mathematics in...