Let's discuss the future of alire.ada.dev and ada-lang.io

I would prefer to see this become the main site for Alire. Leave ada-lang.io a learning resource and community built around that.

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 :laughing:

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 :slight_smile:

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