ex.rs

Hard-Fork Politics

Like an idol with feet of clay, the oft-touted mathematical immutability of blockchains stands on a weak foundation so long as hard forks remain a possibility. Indeed, the rules of...

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

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