Variational Bayesian Neural Networks via Resolution of Singularities | Synapse