Oh I see. Yes, that's what is commonly used in academic publications. But I've y...

		burntsushi on Nov 30, 2023 \| parent \| context \| favorite \| on: Ripgrep is faster than grep, ag, Git grep, ucg, pt... Oh I see. Yes, that's what is commonly used in academic publications. But I've yet to see it used in the wild. I mentioned exactly that paper (I believe) in my write-up on Teddy: https://github.com/BurntSushi/aho-corasick/tree/master/src/p...