Hacker News new | ask | show | jobs
by void-star 186 days ago
Probably something closer to ripgrep, if not actually ripgrep.