Do you want to make an AI Alignment song? — LessWrong