← Back to context Comment by djaboss 14 hours ago `grep -C $NUM` ? ;) 3 comments djaboss Reply stephantul 14 hours ago Even so. Take a look at the NDCG numbers for grep. It's not pretty hparadiz 6 hours ago ripgrep exists though stephantul 4 hours ago The comparison is with ripgrep, see the benchmarks.
stephantul 14 hours ago Even so. Take a look at the NDCG numbers for grep. It's not pretty hparadiz 6 hours ago ripgrep exists though stephantul 4 hours ago The comparison is with ripgrep, see the benchmarks.
hparadiz 6 hours ago ripgrep exists though stephantul 4 hours ago The comparison is with ripgrep, see the benchmarks.
Even so. Take a look at the NDCG numbers for grep. It's not pretty
ripgrep exists though
The comparison is with ripgrep, see the benchmarks.