(unrelated) I remember I had just read "Stranger in A Strange Land" by Heinlein like 10 years ago or so, and then at the companies I joined after college I was hearing people using the word "grok" and I was like, "Whoa! Fans of the book?" but it was more like a word that had been adopted by a lot of people in tech. Is this a common thing for people in academia to use? Grok? I've heard people in tech use it, at meetups and at work, but I haven't heard it used much outside that context, though that may be more a reflection of my social circles