ex.rs

Smart contracts: Turing completeness & reality

The meltdown of “The DAO” and, more recently DDOS attacks on Ethereum have spurred a debate on the wisdom of “Turing completeness” in smart contract languages. Tezos, a cryptographic ledger...

Thoughts on “the DAO”

An exciting glimpse into the future that ultimately falls a bit short

The name “probabilistic programming” is just terrible.

Traces, probability, and learning

This is a collection of thoughts I’ve had over the concept of program traces. The draft has resisted my attempts to clean it up and edit it for clarity for...

Why government debt should be issued as perpetuities

Note that the following idea isn’t particularly new, economists have known this for a while. I only happen to think it ought to be better known. When it comes to...

Making sense of colored coins

It’s impossible to walk around the distributed ledger landscape without encountering the idea of so-called “colored coins”. The purpose of this post is to clarify their nature, the motivation behind...