Hmmm... never realized that cat takes more time!
That said, where he goes:
$ time grep bob /usr/share/dict/words > /dev/null
time grep bob < /usr/share/dict/words > /dev/null
But I'm not sure why. It's either because I don't have to remember where to put the file argument to grep. Or because it's my go-to 'save a cat' today technique. Or because I'm pretentious.
</usr/share/dict/words> is the most frightening closing tag I think I've ever seen.
We’re a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.