I do know that meaning of "grok", but I always assumed the more specific one in the context of neural networks was what informed these two naming choices, although I really don't know the exact timeline.

Didn't know about Heinlein coining it though, that's cool!

Unrelated, but you just reminded me of an old blog: Groklaw. I can't believe it's been over 10 years since it was active

I'm well aware of the "complaints about downvotes beget downvotes" meme and was expecting it here, but sometimes I am genuinely curious about the nature of the disagreement. Here I really just wanted to learn what people think the actual etymology is. I get and appreciate "I don't find this contribution helpful", but I really dislike a "I think you're factually wrong but can't be bothered to correct you" downvote.

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...