Jakub Halmeš's Shortform — LessWrong