Another historical note: Grok originates from Robert Heinlein's 60s Sci-Fi novel 'Stranger in a Strange Land'. Because the overlap between sci-fi nerds and programmers is significant, it got adopted into programmer slang.
The true meaning of the word, and the fact it doesn't quite translate...