But I will say that as a (very) casual user of Sage and someone with a passing knowledge of the Jupyter branding change: SageMathCloud having an alias of "JupyterCloud" is an instance where the name usage would be super ultra confusing to me. It would make me think SageMathCloud, a project I was already aware of (but not a user of), was the official cloud backend for Jupyter, and was just slow on the rename.
He; William Stein is a he, not a they.
Thanks for pointing it out but I doubt this new information changes anything. It is grammatically correct to use singular they when I can't be bothered to find out the subject's gender.
It is also impolite if the gender of the person in question is completely obvious.
Additionally, it is confusing for non-native speakers who always have to figure out whether something is plural or singular.
It's impolite to use a new, throwaway account to foist personal preferences rooted in 19th century prescriptive grammar on us all.
I have a hard time in German remembering if a noun is feminine, masculine, or neuter. They should get rid of the gender system to make things easier for me.
> "seized upon by reactionaries almost immediately and broadened to just every instance of somebody publicly expressing a desire for a better world. Just like SJW and whiteknighting, the user assumes being a prejudiced, oppressive asshole is the default and knows saying as such won't get them any traction, so they throw terms around that assumes bad faith of "the other side" in order to poison the well. "
Since I doubt you have no desire for a better world, I'll assume you mean it in Bartholomew's original sense. Unfortunately, others have ruined it enough that it's no longer a meaningful term of discourse.
For example, I can make a correct comment which has nothing to do with the thread. Irrelevant comments are infrequently downvoted. Eg, HN:ers downvote for reddit-style jokes. https://hn.algolia.com/?query=reddit%20joke%20downvote&sort=... . Even if there's nothing false in the joke.
People also downvote for tone: https://hn.algolia.com/?query=tone%20downvote&sort=byDate&pr... .
Since there are many factors which may cause someone to downvote, I don't think you can assume it was due to being correct.
Quoting from the HN Guidelines: "Please resist commenting about being downvoted. It never does any good, and it makes boring reading."
P.S. And how do you know 1928321931 prefers to be referred to as "he"?