They seem to be unrelated, but sharing an etymology: https://arxiv.org/abs/2201.02177
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.
Didn't know about Heinlein coining it though, that's cool!
> Please don't comment about the voting on comments. It never does any good, and it makes boring reading.
As an aside, I wonder when "please don't make a quote from the HN commenting guidelines the only contribution of your comment" will join that list...
HN is largely community driven moderation, helping dang do his job, so I suspect this meta don't wouldn't make it
I didn't comment on the substance because others already had by then, not sure why they didn't prefer your OG comment...