Bayesian Error Estimation in Density-Functional Theory | Synapse