Is LW making progress? — LessWrong