The Informal Blog - Informal Systems Origins - Worker Cooperative Building Verifiable Distributed Systems