Tim Hua's Shortform — LessWrong