Arthur Breitman's blog. Mostly Tezos.
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...
21 Mar 2017
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...
13 Feb 2017
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...
03 Oct 2016
Thoughts on “the DAO”
An exciting glimpse into the future that ultimately falls a bit short
17 May 2016
The name “probabilistic programming” is just terrible.
24 Dec 2015
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...
08 Dec 2015