Two flavors of computational functionalism — LessWrong