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?
Typing and testing problem 23 - *Yet another reflection on the relationship between types and tests, this time with a simple example.* The debate about dynamic typing versus static ty...
1 week ago