Computer science as empirical inquiry | Synapse