The first time I knew of the word grok was from Robert Heinlein’s book Stranger in a Strange Land.
That’s where it came from!