upvote

points

by stephantul10 hours ago |
comments
upvoteby djaboss10 hours ago|
[-]
`grep -C $NUM` ? ;)
reply
upvoteby stephantul10 hours ago|
parent|
[-]
Even so. Take a look at the NDCG numbers for grep. It's not pretty
reply
upvoteby hparadiz2 hours ago|
parent|
[-]
ripgrep exists though
reply
upvoteby stephantul1 hours ago|
parent|
[-]
The comparison is with ripgrep, see the benchmarks.
reply