Optimality is the tiger, and annoying the user is its teeth — LessWrong