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 H

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 https://hn.algolia.com/?q=lean I wish there was a convention to call it "Leanlang" or "leanprover" or something.