Watching The Pluto Files, what struck me wasn't how upset non-scientists got about the "demotion" of Pluto, but the way astronomers, astrophysicists, etc. got all hot and bothered over it.
Whether Pluto is designated a "planet" is completely orthogonal to any practical/technical/scientific issues/research/hypotheses. Nobody's disagreeing about any non-linguistic facts about Pluto or the "legit" planets. This is exactly what people mean when they deride some controversy as "mere semantics" (and the opposite of what "semantics" is about).
We swim through this transparent, intangible medium all our lives, but every once in a while it hits us with a compression wave and we wonder - what the hell was that?
QRS: Matching “.” in UTF-8
-
Back on December 13th, I posted a challenge on Mastodon: In a simple UTF-8
byte-driven finite automaton, how many states does it take to match the
regular-...
4 days ago
No comments:
Post a Comment