by Joshy Orndorff | Sep 11, 2018 | Learn, RCon3

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. While the...
by Isaac DeFrain | Sep 4, 2018 | Learn

Overview This series of posts will follow Greg Meredith’s Introduction to the Design of Computational Calculi (DoCC) lectures and attempt to explain the information covered. Go here to watch the first video. For an introduction to the basic concepts presented in these...
by Isaac DeFrain | Aug 30, 2018 | Learn

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...
by Chris Williams | Aug 30, 2018 | How to, Tutorial

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...
by Isaac DeFrain | Aug 21, 2018 | Learn

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...
by Isaac DeFrain | Aug 15, 2018 | Learn

Overview Greg Meredith has been teaching a weekly course called Introduction to the Design of Computational Calculi (DoCC) to explain the foundations of mathematical models of grammar, how computational calculi are used in the RChain project, and how to design...