News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.