To me, "Golang" is a good compromise to make material about it searchable. For example, Lean is notoriously hard to find stuff about. Try entering "lean" into HN's search engine:

https://hn.algolia.com/?q=lean

I wish there was a convention to call it "Leanlang" or "leanprover" or something.

That's 100% on Google. If they (a freaking search company) didn't name it "go" (an extremely common english word which makes searching harder) then it could just be searched instead of using things like 'golang' (was/might still be common name for the language in repositories) that are clearly about the programming language. I have the same conceptual gripe with other ones that use fairly common single words like "rust", "swift", and "python", but I don't (yet) use the first two to know how big of an issue it is, and I can usually use "py" instead to exclude any chance of snakes.

that "tradition" goes all the way to C sadly. But hey at least cmdline is short...

It is extremely common to use "Golang" for Go to disambiguation the extremely common word. Not necessary on HN due to context, but it helps with SEO for blog posts.

I always list it as Go/Golang on resume. Don't want people thinking I'm good at that board game

When people write phrases like "Proficient in C, C++, Go and Malbolge" on their resume it's always a pain to figure out if they mean the programming language or the board game.

I once interviewed someone who was "proficient in dart, go and nim", but I was puzzled when they said they never wrote a computer program in their life.

We once had an interviewer poke a candidate about PostScript basics, and it quickly emerged that he had put his uses of “print to file” on his résumé and had no idea it was a Forth-like language.

TIL that "nim" is a game as well as a programming language.

From what I've heard about its difficulty, I'd be far more impressed if you were proficient at Go.

... as opposed to Rust, Ruby, Python, C, D, Java, Elixir, Crystal ? Only popular ones that doesnt collide with words are PHP and JavaScript (because it is amalgamation of 2 words). But you won't complain about those now, will you ?

About only semi-known ones that's not terrible to search is Haskell, and I guess Perl. And "letter with funny symbols after after" like C++/C#/F#

How many of those were created before search engines?

It's not about colliding with words, it's that "Go" is a common word even other languages context

But I'll give you a worse example than Go: R

How about we call it “The Google Language”?

Then it should be at least in the top 3 languages used by Google, shouldn’t it?