VojtaKovarik's Shortform — LessWrong