Introduction
The Gaussian's superpower is closure: marginalising, conditioning, adding and linearly transforming Gaussians always gives another Gaussian, with parameters you can write down in closed form. These few formulas power Gaussian processes, Kalman filters, Bayesian linear regression and the noising process in diffusion models.
Throughout, split a joint Gaussian into two blocks: