Should “Fun” then be consistently capitalized as a term of art? Currently I think we have “Friendly AI theory” (captial-F, lowercase-t) and “Friendliness,” but “Fun Theory” (capital-F capital-T) but “fun.”
Should “Fun” then be consistently capitalized as a term of art? Currently I think we have “Friendly AI theory” (captial-F, lowercase-t) and “Friendliness,” but “Fun Theory” (capital-F capital-T) but “fun.”