Does Github Copilot work well on Ada code? Has anyone tried it?

1 post - 1 participant

Read full topic

I was throwing something together recently, and realized none of my Pre and Post conditions were being caught.

Why is -gnata not enabled by default in new projects?

9 posts - 6 participants

Read full topic

I’m the current owner of the ada-lang.io domain.

I have a bunch of other things I’m doing and I’m not going to renew it, so I’m going to hand it off to someone who wants it. I’ve had trouble getting people to agree to this, so maybe making this public will help things. If no one takes it, the domain will lapse in August.

A few people helped with the main site and setting up this forum, but after two weeks, or the highest priority individual(s) contact me and gives an affirmative yes or no, the transfer will happen.

In priority order:

1. @JeremyGrosser
2. @onox
3. @Max
4. Whoever else who wants it

8 posts - 5 participants

Read full topic

I’m the current owner of the ada-lang.io domain.

I have a bunch of other things I’m doing and I’m not going to renew it, so I’m going to hand it off to someone who wants it. I’ve had trouble getting people to agree to this, so maybe making this public will help things. If no one takes it, the domain will lapse in August.

A few people helped with the main site and setting up this forum, but after two weeks, or the highest priority individual(s) contact me and gives an affirmative yes or no, the transfer will happen.

In priority order:

1. JeremyGrosser
2. onox
3. Max
4. Whoever else who wants it

1 post - 1 participant

Read full topic