Hello, I have generated a lot of Repos with GrokBot in ADA. Also some GNATPROVE Level 2. My usage allotment is at 86% and refreshes after 4 days. While I am not going to continue subscription, I still have a week of usage left. So I would like to ask the community if there are ideas how that could …

Perhaps collating all your algorithms into a single mono repo or just moving their sources into said single repo. You can perhaps from there refactor some code so that your algorithms can be used as a library crate which can be put on Alire. Something like Simple Components but instead a general pu…

I suggest we pick from the title list (books) here, I buy the book and work with it? [image] GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the... A curated list of awesome resources related to the Ada and SPARK programming language …

There is 11 books, I can do up to 3 titles. I will add them to the poll. poll Please have a look at the links in the Awesome Ada Repo. I managed to find 3-4 books still on sale. Rest of the links couldn’t find access.

2 votes is there and I would appreciate pointers on what to deepdive. Think what might be good for newbies to have working educational examples from.

GitHub says you’ve created 1,496 repositories this month. Do you really think generating more code is useful?

As training data for LLMs I would suggest its useful. Someone elses Project - certainly would not thing it is useful. How would I review. I look at it this way; there is comparatively little code in Ada. Yet the compiler creates a feedback loop - Code that passes compiler - model outputs code tha…

You’ve already proven that the model can write valid Ada/SPARK code without additional training data.

[image] RBSF: As training data for LLMs I would suggest its useful. Possibly, possibly not. The quality of your inputs impacts the outputs. [image] RBSF: Yet the compiler creates a feedback loop - Code that passes compiler - model outputs code that compiler will let pass. In Ada I think…

Not to disregard your efforts, I believe what the other users are trying to say is that currently the code that you and the LLM implemented does not seem to have much real use case, at least from the end user’s point of view. I believe one can do a fair bit better than just implementing algorithms f…

[image] bladeacer: Oh and you can into Ada User Awards (I believe it’s called). They have collated a whole bunch of non trivial projects which the community is really wishing to work towards (e.g the wasm runtime). iirc there is also prize money involved so you can explore options there. Hear…

I will work on that. Finally got something of a screen/panel working in Ada, will improve upon that in 2 days reset time. That and the mono repo work for GrokBot to do, usage might be at 67% . Anyways will report when those 2 tasks are done. This is what was worked on before we went from 99 too 100…

Last week with GrokBot Heavy - ideas for Usage?

General

DirkCraeynest September 22, 2026, 7:20am 11

Hear, hear!