News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.