- cross-posted to:
- fediverse@lemmy.world
- fediverse@lemmy.world
- cross-posted to:
- fediverse@lemmy.world
- fediverse@lemmy.world
Good to see that most of the instances have caught up
LW announced they are planning to migrate in the coming weeks: !lemmyworld@lemmy.world
19.0 and 19.1 mostly, 19.2 fixed the issues.
The leading zeros aren’t decorative. Don’t just drop them.
In this context it’s just faster to type, and not really ambiguous.
If saving six characters is so crucial, type “.0”, “.1”, and “.2”. Massive productivity boost.
You could also drop the “.” in this case, saving another three.
Even better: drop the number.
That’s one step too far, though. There’d be no way to distinguish them without that number.
Oh, you were actually serious? I thought we’re making dumb jokes here with claims of willy nilly dropping digits from a version number being significantly faster to type.
Well, semi-serious. Doing this to “save characters” is obviously silly, we’ve spent way more characters discussing how to save characters than could possibly have been saved (and it’s not a valuable “savings” regardless). But I was paying attention to the practicality, because IMO the best silly things are things you can take seriously.