Indeed. You want those „inbound links from high-quality domains“ and lots of those. Do we actually do any search engine optimisation right now. Are we at least registered at Google or Bing Webmaster?
Hooray!
If ada-lang.io became ada.dev (I would probably only be comfortable with this if adacore donated the domain to the Ada User Society) then we’d have a nice little trifecta with alire.dev and getada.dev similar to rust does with their .rs domains 
Thank you for bringing this up!
I will try to give my honest impression as a new Ada programming language user.
I got to know Ada after reading some articles about, something like, “programming languages with a solid design in system programming”. There are several programming languages mentioned, including Ada.
I learned more about Ada and got a feel that Ada is something that I have been looking for.
At first, I was reluctant to use Ada because the maintainer of the compiler seems to be a company I have never heard of. For me, a commercial compiler is a no-go because it is usually closed-source and it is not available to everyone. Implying the ecosystem will be limited.
However, upon learning that a free & open source version is available, I began to learn how to code in Ada.
Why do I have this kind of impression?
This is because when I search “Ada programming language” on a search engine, in this case, Google, the top results are (1) Wikipedia and (2) AdaCore.
I want to visit the “official” website of the programming language.
On the Wikipedia page, the website listed there is adaic.org, a kind of news website for Ada.
On the AdaCore page, what I see is “request pricing”, “GNAT Pro for Ada”, and “Learn Ada Today”. “No compiler download?” was my question back then.
Fortunately, there is ada-lang.io beneath. It is “an Ada community site,” though. Where is the official website?
I think there is a need to have a “governing body”. The one who has the power to decide what we want to achieve. In this case, the Ada User Society sounds to me like a community that promotes Ada. As a programming language, Ada has a solid design, and we can follow the spec. However, as for the community, where do we go? Any roadmap? What should we do to grow our community and ecosystem? Where’s the vision?
Many programming languages have their own governing bodies. To name a few, Zig Software Foundation, The Rust Foundation, The Lean Focused Research Organization, etc. In the case of Lean FRO, the community & ecosystem are noticeably growing even more after they announced the Lean FRO and then published their year 3 roadmap (from August 2025 to July 2026). The available jobs are also growing, and I have received at least one email talking about a Lean4 role.
At the end of the day, people are looking for a programming language with a good community & ecosystem. To have a good community & ecosystem, we need more people to contribute. To lure people in, we need to have at least a good ecosystem (package availability). This is like a chicken-and-egg problem.
I don’t know if anyone has the same feeling like me. Or is it just my feeling?
Anyway, my point is that I think we need an “official website” for the programming language itself, including how to get the FOSS version of the compiler. Then, we can have an “official website” for the package/dependency manager. Finally, discuss more about the roadmap to grow the ecosystem. A community website is not enough.
https://adaic.org/ is the official website.
https://arg.adaic.org/ is the Ada Rapporteur Group which maintains Ada.
Thank you for the links!
Side note, these are blocked in some regions due to the hosting provider used. I don’t know if that matters or not, but just a heads up.
Alright, this discussion took a lot of tangents and went way beyond the scope of my original question, and out of the scope of what is on the table 
Let’s focus on the options available today, let us know what you prefer:
- I am in favor of a migration from alire.ada.dev to alire.ada-lang.io. With proper redirection of existing links.
- I would prefer to keep alire.ada.dev separate (current situation)
0
voters
Could we also move https://alire-crate-ci.ada.dev/ if the alire site gets moved? Or should that be a separate pole?
Mabybe adding a 3rd option: moving to alire.dev?
This is in my radar, to integrate crate-ci into the redesign of alire website.
But yeah, if we move the TLD, all subdomains SHALL BE moved, IMHO.
This option should be added to the poll.
The AdaIC site at https://adaic.org no longer provides a positive impression. The site appears unmaintained. The news sidebar on the left hasn’t had any new entries added since Nov 2023.
Monetary funding is low. There’s much to do for next Ada generation, see Ada Issues and Issues · Ada-Rapporteur-Group/User-Community-Input · GitHub
Why would that be better? You are dealing with all the drawbacks of moving things around and you still have two isolated websites…
Fair question. But I think the premise is a bit off on both halves.
The migration cost is the same for both options. alire.ada-lang.io is just as much a move off alire.ada.dev as alire.dev is: same 301 redirects, same broken-link risk. The only option that avoids a migration is the status quo, which nobody here wants. So it’s not “move vs. don’t move,” it’s just “move where.”
On “two isolated websites”: a subdomain is already treated as a largely separate site by search engines. alire.ada-lang.io wouldn’t automatically inherit ada-lang.io’s authority or backlinks. The integration we actually want (discoverability, shared navigation, a coherent ecosystem feel) comes from cross-linking and UX, not from the URL hierarchy, and we can do that just as well from a dedicated domain. (ping @NumberSix which can telling more about this, since it’s have a web agency)
The two options differ in identity and risk. Alire is a project in its own right, with its own team and lifecycle, the same way crates.io is a separate site rather than a subdomain of rust-lang.org. A dedicated alire.dev matches that, and it fits the trifecta a few people floated above (alire.dev / getada.dev / ada.dev). Tying Alire to .io, on the other hand, means betting on a TLD whose future has been shaky since the Chagos treaty, so we could end up migrating a second time. .dev is a stable gTLD run by Google with HTTPS enforced, and @mosteo already grabbed the domain.
None of this conflicts with keeping everything tightly cross-linked to ada-lang.io, which I fully agree we should do. Could we add alire.dev as a third poll option to see if there’s interest?
I didn’t vote yet because I lean towards @Heziode’s thoughts too, though it’s only slightly over having alire.ada-lang.io
I feel like having specific domains for well known tools (e.g. Alire) helps discoverability and overall branding. It used to be the case that it also helped with SEO, though I don’t think that’s the case anymore. Still, it could muddy the waters for people looking specifically for alire (and it’s quicker for me to type alire.dev in my URL than alire.ada-lang.io).
I mentioned earlier in the thread that I’ve always hoped we could see the Ada User Society owning ada-lang, alire, and getada in the same way that the Rust Foundation owns rust-lang.org, crates.io, and rustup.rs (I’m not sure if they own docs.rs, but they are listed on https://rust-lang.org/governance/teams).
My ideal solution would be to replace ada-lang.io with ada.dev and replace alire.ada.dev with alire.dev. Along with getada.dev we’d have a mirror for things like rust-lang.org/crates.io/rustup.rs/docs.rs but all with the same TLDs. This only works if the Ada User Society was able to take control of all three domains.
The next-best solution would be the above, but just with ada-lang.io instead of ada.dev and my 3rd-most preferred solution is dropping alire under ada-lang.io, given this domain can be owned by the ada user society.
I am all in favor to bring alire.ada.dev and ada-lang.io closer together.
If
ada-lang.iobecameada.dev(…) then we’d have a nice little trifecta withalire.devandgetada.dev…
That would be my preference, move ada-lang.io to ada.dev