Yep as most early computer science terms are. Was more a commentary on him ruining a word that’s actually in use within the community he fancies himself a part of.

Grok, and grokking, have a long history in computing so he’s also ruining a perfectly cromulent word for actual software engineers