News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by raesene9 on Wednesday August 11, 2021 @12:50PM (#28144478)
This is only tangentially connected to this specific project, but I'd make the general point of, if you want something to become popular (or expect it to become popular), naming your project is important, and using names that are also general words is possibly a bad idea.

Googling for things that have multiple meanings is a nightmare, as it can clash with the other meanings. I use Kind the Kubernetes project and find searching for issues related to it tricky for this reason.

Re:Kind: A Modern Proof Language by BenTheElder on Wednesday August 11, 2021 @06:01PM (#28148377)
FWIW: That project was started as an internal tool with a playful acronym and then went from obscure to well-known enough to making renaming a somewhat regrettable concept rather quickly just due to momentum. I think we'd have named it differently if we were aiming for widespread usage :-)

We had no reason to worry about making it popular, the effort was staffed to improve developing Kubernetes itself.

As for googling, I recommend adding keywords like "kubernetes" and for issues searching the repo itself or reaching out to the community for help https://github.com/kubernetes-sigs/kind#community

That tool is written in "Go" which also somewhat famously doesn't search well without changing your terms up a bit.

Re:Kind: A Modern Proof Language by LangMakers on Wednesday August 11, 2021 @01:11PM (#28144763)
Is that really the case, though? Python, C, Rust, Ruby, Go, R, Swift, Perl. One is type of snake, the other is a type stone, and then there is a freaking letter. It seems like the less googlable the name is, the popular programming language becomes. Or, at least, that it doesn't matter that much. I swear I considered that when naming the language Kind. That could have been a terrible move though.
Re:Kind: A Modern Proof Language by raesene9 on Wednesday August 11, 2021 @01:17PM (#28144824)
Finding go things is a pain (for me) because go is a very general word, I generally use golang to avoid that.

Python is easy 'cause the other meaning is a real noun, so disambiguation is easy.

Kind is a general word, another tech project, and also a programming term.

just an opinion ofc :)

Re:Kind: A Modern Proof Language by haskellandchill on Wednesday August 11, 2021 @02:11PM (#28145555)
Kindlang, problem solved
Re:Kind: A Modern Proof Language by LangMakers on Wednesday August 11, 2021 @04:28PM (#28147314)
Speaking of names, I love yours
Re:Kind: A Modern Proof Language by cole-k on Wednesday August 11, 2021 @02:21PM (#28145700)
Disclaimer: I am not an SEO expert

I think you should be fine if you call it "kindlang" or "kind lang" everywhere.

You have to understand that the languages Python, C, and even Ruby have been around for a long time, and I would wager SEO mattered much less when they were being created. This is obviously true for C, and arguably true for the others. To boot, many of them are often searched for with "(programming) lang(uage)" as an associated query.

Similar arguments follow for the rest (Go/Swfit/Rust are supported by big companies, Perl is a unique string, etc.).

What is unfortunate for your language is that Kinds are something associated with PLs theory AND it also seems to be that many people are interested in searching for "what kinds of programming languages are there?" ("kind" in the sense of "type of language").

If I were you, I wouldn't let it get to me – I think this project is cool regardless of name. But if popularity matters to you, maybe try and emphasize "kindlang".

Re:Kind: A Modern Proof Language by zem on Thursday August 12, 2021 @12:56PM (#28158696)
it's not that the name means other things, it's that it's a very generic word that is used in lots of other contexts, several of which are programming and even language related. I had the same issues searching for "Nice" and "Clean" back in the day.
Re:Kind: A Modern Proof Language by mburns on Wednesday August 11, 2021 @04:05PM (#28147029)
I generally agree, but Perl != Pearl
Re:Kind: A Modern Proof Language by msdrigg on Wednesday August 11, 2021 @01:12PM (#28144768)
“Kind language” really is terrible seo wow.