Hacker News new | ask | show | jobs
by lxgr 748 days ago
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!