Earlier quoted context omitted.
Classic HN – downvotes without explanation. I might well be wrong about the etymology here, but I understand "grokking" to be a term for a phenomenon in training neural networks. What I'm not sure about is which was there first – AI companies called some version of "grok" or that term.
The term grok came from Robert Heinlein’s 1961 novel Stranger in a Strange Land and got picked up by the CS field heavily around the late 60s. https://en.wikipedia.org/wiki/Grok
Didn't know about Heinlein coining it though, that's cool!