Hacker News Reader

`grep -C $NUM` ? ;)

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.