The hard limits of hard nanotech — LessWrong