[ANN] Looking for volunteers for an Ada funding committee

Dear community,

as we have been hinting in the Ada Monthly Meetup, we are creating (a hopefully lasting) funding system for Ada projects and improvements to the wider ecosystem. This is being done within the Ada User Society (those that attended the GA will have more info). We are trying to form a committee that will be guiding those funds. Currently, only @sttaft and me are part of it but at least a third one would be needed (to keep things with some variety). We can have up-to five members. But why is this needed and what does the committee do?

The funds

So we would like to setup a small fund with which to reward and encourage the development of valuable and high quality and impact projects in the Ada ecosystem. It will also reward seasoned developers as well as to encourage new people to take on some tasks. The funding part is mostly taken care of. But then the question becomes… What is considered valuable and with what amount of funds should things be awarded? That is where the committee and the base requirements come into place.

The requirements

Not everything can be eligible for a reward/grant. Only open and projects available to the community can be awarded, as we want to maximize the impact and gains of the results to the wider community. But there are no restrictions on the nature and objective of the project. However, as the funds are limited, we will be encouraging/considering projects that are of high impact and can greatly benefit the Ada ecosystem. Think of compiler improvements, bringing Ada support to growing targets or ecosystems, improving tools that are widely used, packaging and making things easier for everybody, major projects that showcase Ada’s potential, etc. Obviously, only quality results/code would be accepted for a grant, as “it works on my machine” is not good enough.

The Committee

In short, the Committee would take decisions through votes on what projects are worthy of funding and how much money would that be. The committee has to listen to the community’s needs and Ada’s future. Currently, we are considering two options to consider potential projects/outcomes that would be rewarded:

  1. Individuals from the community could propose tasks and ideas and the Committee would vote on whether it wants to allow for a grant or fund for them.
  2. The committee could propose tasks to be done and reward those that achieve them, something in the vein of a competition. Also, the Committee could grant funds to results/code that people have already done that it feels are worth awarding.

Due to the above, the people that form part of the Committee need to:

  • listen to the community,
  • asses the impact of the results or potential results of tasks,
  • be impartial to the nature of the projects and the people that carry them out,
  • manage the constrains of the budget,
  • have a strong will to the further improvement of Ada as a language and as an ecosystem,
  • be available to vote (most likely via online meetings or email) on the topics at hand,
  • seek new funds with which to continue the activity,
  • be willing to help.

So, with that out of the way… Do you have any questions? Would you like to take part of the Committee? And more importantly, why would you like to be part of such committee?

Best regards,
Fer

10 Likes

Dear community,

I would like to encourage you to volunteer for this task if you can/want! I have only received one proposal from a potential candidate and only in case nobody else presents their position! Come on! We can do better than that!!

Best regards,
Fer

2 Likes

EDIT: I made this application when I was sleep deprived. After waking up I realized that I made a mistake. I’ll try not to do it again. Any ideas that I have, I’ll submit instead of applying to a committee that I am not qualified for.

To clarify, are you also looking for proposals to receive funding, or only for people to join the committee?

I can submit a proposal for the first (likely to be rejected though), but would not be qualified for the latter.

Hi both,

we will be looking for some ideas and proposals from the community and we will be voting on those in the future :slight_smile: Right now we are looking for volunteers to take part on the committee, so general experience with Ada and its community is a must. However, once a project may be funded, anybody can participate! So you both are more than welcome to take part on the activities once they are published :slight_smile:

Best regards,
Fer

1 Like

Hi Fernando,

How’s the search for volunteers for the funding committee going?

Hi and welcome @VF22Sturmvogel!

Two very knowledgeable people have volunteered. I have been quite busy with work/personal things so I have not had much time to coordinate this, but I hope to get all in shape before the end of the year :slight_smile:

Best regards,
Fer

Hum, this could be interesting for Adarium, an open-source lab dedicated to Ada/SPARK I bootstrapping.

3 Likes

I just found out about this Project. Seams promising! I will definitely look into it!

I looked into it, specifically spark_math. I tried to implement the natural logarithm using the taylor series but had two problems.

  1. For fixed point: I need exponentiation but that is not implemented (would need n-th square root for that ig).
  2. For integers: exponentiation is implemented but after copying the code from fixed point I noticed that all values get floored and the result becomes bogus.

After implementing the taylor series I saw in the readme that it should be implemented in CORDIC. (And after learning what it is) I wanted to implement that. But I am not sure how I should create the arctan table since the values need to fit the datatype. And I may need to calculate the values during compile time for which I need a working arctan function… :sweat_smile:

How should the table be generated/handled? I would love to get some input on that!

As a side note. Logarithm is usually implemented by range reduction with some faster series or Chebyshev polynomials. I used ln(x+1/1−x​) approximation for the arbitrary precision rational approximation. With fixed point numbers you would have massive issues to get at the accurate result (S’Small > error).

1 Like

@AdaOrbit To not flood this topic, I created a dedicated topic: Discussions about SPARK Math implementation (integer and fixed-point operations)