Yeonwoo Kim's Shortform — LessWrong