All Stories

Tezos: Philosophy and Values

This is meant to be a concise guide to the principles and values we hope to see embodied by the Tezos network. A longer, more detailed version of this list...

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

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