Mini-Workshop on Applied Rationality — LessWrong