Posterior and variational inference for deep neural networks with heavy-tailed weights | Synapse