A futures market in computer time | Synapse