Making big data, in theory | Synapse