Do you capitalize ‘human’?
No. I do capitalize names. ‘Clippy’ and ‘staply’ would both be unnatural terms for a species, were the two to be given slang species names.
If people use ‘Clippy’ or ‘Staply’ they are making a reference to a personified instance of the respective classes of maximiser agent.
I took the uncapitalized “staply” to be the name of a class, one individual in which might be named “Staply”.
Exactly, good inference. You’re a good human.
Kill Staply though.
No. I do capitalize names. ‘Clippy’ and ‘staply’ would both be unnatural terms for a species, were the two to be given slang species names.
If people use ‘Clippy’ or ‘Staply’ they are making a reference to a personified instance of the respective classes of maximiser agent.
I took the uncapitalized “staply” to be the name of a class, one individual in which might be named “Staply”.
Exactly, good inference. You’re a good human.
Kill Staply though.