News for hackers. Stuff that matters.

A comment on Jupiter has 10 more moons we didn't know about. Parent comment

Re:Jupiter has 10 more moons we didn't know about by Arnt on Thursday July 19, 2018 @08:30AM (#17565603)
The metric system has broken with its own past, though. The breaks were true breaks, not just elaborations, but they were executed with great care for compatibility. 1m has been defined in four or five different ways, depending on how you count.

There's a lesson here: There is a middle ground between preserving legacy and causing problems by deprecation.

[ Parent | on HN ]
Re:Jupiter has 10 more moons we didn't know about by danso on Thursday July 19, 2018 @11:30AM (#17567231)
So what are the “problems by deprecation” you see in the current context of redefining Pluto as not a planet? Having to reprint interplanetary tourism guides?
[ Parent | on HN ]
Re:Jupiter has 10 more moons we didn't know about by Arnt on Saturday July 21, 2018 @05:09AM (#17581355)
It's just another minor thing to complain about for the people who like to complain about science.

Nothing minor is major. Some of them are minor and worthwhile, some are minor and not.

[ Parent | on HN ]