# Last week with GrokBot Heavy - ideas for Usage?
**URL:** https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753
**Category:** General
**Created:** [September 20, 2026, 3:05pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753 "2026-09-20T15:05:16Z")
**Posts on this page:** 14
**Page:** 1
### Author:  [@RBSF](https://forum.ada-lang.io/u/RBSF)
#### Post date: [September 20, 2026, 3:05pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/1 "2026-09-20T15:05:16Z")
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 be used. It does work , checks and tests in Ada and ADA SPARKwith GNATPROVE Level 2. Eats weekly tokens from GrokBot Heavy plan in 2-3 days or so.
Anyway looking forward hearing from you.
Have a lovely sunday.
_Poll ([view on site](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/1))_
---
### Author:  [@RBSF](https://forum.ada-lang.io/u/RBSF)
#### Post date: [September 20, 2026, 9:40pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/2 "2026-09-20T21:40:10Z")
I suggest we pick from the title list (books) here, I buy the book and work with it?
> **[GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the...](https://github.com/ohenley/awesome-ada)**
>
> A curated list of awesome resources related to the Ada and SPARK programming language
---
### Author:  [@RBSF](https://forum.ada-lang.io/u/RBSF)
#### Post date: [September 20, 2026, 9:40pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/3 "2026-09-20T21:40:54Z")
There is 11 books, I can do up to 3 titles.
I will add them to the poll.
_Poll ([view on site](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/3))_
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.
---
### Author:  [@RBSF](https://forum.ada-lang.io/u/RBSF)
#### Post date: [September 20, 2026, 9:49pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/4 "2026-09-20T21:49:33Z")
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.
---
### Author:  [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)
#### Post date: [September 20, 2026, 10:14pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/5 "2026-09-20T22:14:47Z")
GitHub says you’ve created 1,496 repositories this month. Do you really think generating more code is useful?
---
### Author:  [@RBSF](https://forum.ada-lang.io/u/RBSF)
#### Post date: [September 20, 2026, 10:20pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/6 "2026-09-20T22:20:58Z")
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 that compiler will let pass. In Ada I think more examples for ML are useful.
---
### Author:  [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)
#### Post date: [September 20, 2026, 10:24pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/7 "2026-09-20T22:24:41Z")
You’ve already proven that the model can write valid Ada/SPARK code without additional training data.
---
### Author:  [@bladeacer](https://forum.ada-lang.io/u/bladeacer)
#### Post date: [September 20, 2026, 11:02pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/8 "2026-09-20T23:02:54Z")
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 purpose algorithms library which can be utilised.
---
### Author:  [@OneWingedShark](https://forum.ada-lang.io/u/OneWingedShark)
#### Post date: [September 20, 2026, 11:03pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/9 "2026-09-20T23:03:22Z")
> [@RBSF](#):
>
> As training data for LLMs I would suggest its useful.
Possibly, possibly not.
The quality of your inputs impacts the outputs.
> [@RBSF](#):
>
> Yet the compiler creates a feedback loop - Code that passes compiler - model outputs code that compiler will let pass. In Ada I think more examples for ML are useful.
There are billions of programs that are not useful, yet are “correct”.
There are billions of programs that are correct, but not “beautiful”.
There are billions of programs that are “well designed”.
Relatively, there are vanishingly few programs that are “correct” and “beautiful” and “well designed”.
---
### Author:  [@bladeacer](https://forum.ada-lang.io/u/bladeacer)
#### Post date: [September 21, 2026, 9:13am UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/10 "2026-09-21T09:13:59Z")
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 for the sake of it (or just as a proof of concept).
You could perhaps explore: making it into an Alire crate/have some bindings or API so developers can interface with your algorithms. Or better yet you can implement your own client serving those algorithms (for example an algorithm playground).
The technicality of your code is there, though I hope that there would be some form of modification or bridging to make it more friendly and appealing for end users (Devs, non technical Alire users etc) to use your software.
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. Another thing that I find helps is engaging the community to better understand where there are gaps and demand in the ecosystem.
---
### Author:  [@DirkCraeynest](https://forum.ada-lang.io/u/DirkCraeynest)
#### Post date: [September 22, 2026, 7:20am UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/11 "2026-09-22T07:20:13Z")
> [@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, hear!
> [@Ada User Awards announcement!](https://forum.ada-lang.io/t/ada-user-awards-announcement/4201):
>
> Dear Ada Community, The Ada User Society is pleased to announce the creation of the Ada User Awards. The goal of the Ada User Awards is to encourage community contributions to the Ada ecosystem and to improve its tooling, libraries and language support. The aim is to drive more and better contributions by fresh or experienced Ada programmers alike, and create a thriving ecosystem with a healthy number of young developers and users while working on long standing needs and widening Ada’s reach to…
> **[Award Nominations](https://forum.ada-lang.io/c/projects/award-nominations/12)**
>
> Each project nominated for an award by the Ada User Society will have a topic in this category.
---
### Author:  [@RBSF](https://forum.ada-lang.io/u/RBSF)
#### Post date: [September 22, 2026, 4:16pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/12 "2026-09-22T16:16:53Z")
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% usage.
> **[GitHub - RobertBoettcherSF/Ada-Rule-30: Rule of 30 in Ada](https://github.com/RobertBoettcherSF/Ada-Rule-30/tree/main)**
>
> main
---
### Author:  [@RBSF](https://forum.ada-lang.io/u/RBSF)
#### Post date: [September 22, 2026, 4:20pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/13 "2026-09-22T16:20:36Z")
Thank you for keeping me improving. I hope the collection of Ada algorithms in one Repo can be begun in the next 2 days, The Ada User Awards? Perhaps another project specifically for that?
---
### Author:  [@system](https://forum.ada-lang.io/u/system)
#### Post date: [September 24, 2026, 4:21pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753/14 "2026-09-24T16:21:02Z")
This topic was automatically closed 2 days after the last reply. New replies are no longer allowed.