Basic Mathematics of Predictive Coding — LessWrong