[Linkpost] Jan Leike on three kinds of alignment taxes — LessWrong