Re:Abbrev: A Hidden Ruby Gem
by gwern on Friday August 18, 2023 @09:18PM
(#37184414)
The dev also "knows" that 'star' is available as an abbreviation. And in a realistic set of options for a real tool like git, there might be combinatorially many possible abbreviations which he now has to "know" and think about every possible intersection or ambiguity.
[ Parent
| on HN ]
There are no comments on this comment yet.