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