> Sol, borrowed from Latin, is used in contemporary English by astronomers and many science fiction authors as the proper name of the Sun to distinguish it from other stars which may be suns for their own planetary systems. [citation needed]
I don't know any solar physicist who calls our sun "sol" (and I know many), neither have I come across scientific papers doing so. A sol is a martian day though!
I don't think you should feel any pressure to change it. The Solar System belongs to the writers just as much as it does to the physicists and unless your target audience is specifically physicists, then the average visitor of your site will be more likely a consumer of sci-fi than a practitioner of physics.
The argument is rather pedantic to me since the word Sun comes from the old English, Germanic, and European, whereas Sol comes from the Latin, Helios from the Greek, svár Sanskrit, etc. They are all valid names for our local star.
Yes, but it's phrased that "finally" there is a library that solves the author's problems, as if we've all been waiting for it in 50 years of C being a thing. When it's kind of a learning project for them. I don't fault them for putting their learning on GitHub. But it's phrased in a bit of a grandiose manner.
I am immediately doubtful of everything out of lesswrong.com So doubtful, in fact, that I won't even read the article. Best of luck to those who choose to do it.
That's not the entire story. People deify Buffet also because he has a comparatively clean image. The grandparent comment is just mentioning the clean image has its dark spots. (For example, the quote and the implied amorality were new to me.)
