← Back to context

Comment by delichon

3 days ago

Today I learned that grok is the most well known word in a (fictional) Martian language and Grok was named by the leading advocate of Martian colonization. It could be a coincidence.