dude grok has been a viable part of pop culture for fifty fuckin' years. Matt Groening used it in parody to describe pseudointellectuals back when he was writing Life in Hell, ten years before he was even approached about The Simpsons. Just 'cuz you don't know a word doesn't mean it isn't a perfectly viable word. Heinlein coined the term "waldo" as well, and also invented the waterbed (for better or worse). In fact, the number of words you use from science fiction is probably absurdly higher than you're aware.
LOL I knew. I read Stranger millennia ago, and so on. But just cuz something exists and has an accepted common usage doesn't mean I have to like it or that I can't snark about it. Grok has a decidedly neckbeardish/D&D, Wow, empty 2-liters and accumulated delivery food waste connotation for me -- and its coinage by Heinlein certainly doesn't do anything to wash the word clean of that taste. Hey. Some people love cilantro, some people can't fucking stand it. Just don't mistake my aversion for ignorance.