Posterior variance from two sharp readings
You estimate an unknown quantity with a Normal prior of variance 12. You take 2 independent readings, each with known noise variance 8. Both the prior and the readings are Normal.
What is the variance of the posterior distribution for ?