# General **URL:** https://forum.ada-lang.io/c/general/4.md [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) --- ## [Welcome to the Ada forum](https://forum.ada-lang.io/t/welcome-to-the-ada-forum/7)
**Author:** [@system](https://forum.ada-lang.io/u/system)\ **Replies:** 8\ **Last updated:** [June 16, 2024, 4:39pm UTC](https://forum.ada-lang.io/t/welcome-to-the-ada-forum/7 "2024-06-16T16:39:53Z")
This is a board to discuss the Ada programming language, and its open source ecosystem! If you’re looking to get started, need help troubleshooting a problem, or want to talk about language specifics, this place is for … --- ## [Alire pull requests — again](https://forum.ada-lang.io/t/alire-pull-requests-again/4752)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 20\ **Last updated:** [September 24, 2026, 3:54pm UTC](https://forum.ada-lang.io/t/alire-pull-requests-again/4752 "2026-09-24T15:54:58Z")
I hate to bring it up again but the alire-index pull requests are 3 weeks and 39 pull requests behind. Especially outside requests like the one for yamlscript are quite embarrassing. --- ## [Gnatstudio crashes at startup](https://forum.ada-lang.io/t/gnatstudio-crashes-at-startup/4771)
**Author:** [@bertus.dries](https://forum.ada-lang.io/u/bertus.dries)\ **Replies:** 2\ **Last updated:** [September 24, 2026, 8:03am UTC](https://forum.ada-lang.io/t/gnatstudio-crashes-at-startup/4771 "2026-09-24T08:03:12Z")
I updated Gnatstudio from 26w to 2026.2 on my windows 11 system. Installing went correct. when running the name shield appeared correct till the sign “Loading Python plug-ins …” appeared. The program stopped at that mome… --- ## [WIN32Ada - inconsistent results with time data of files](https://forum.ada-lang.io/t/win32ada-inconsistent-results-with-time-data-of-files/4769)
**Author:** [@RobG9876](https://forum.ada-lang.io/u/RobG9876)\ **Replies:** 4\ **Last updated:** [September 23, 2026, 3:08pm UTC](https://forum.ada-lang.io/t/win32ada-inconsistent-results-with-time-data-of-files/4769 "2026-09-23T15:08:37Z")
Hello all, I am having some small challenges getting file time stamps Platform: Windows10/11, 64 bit OS and processor. Win32ada 25.0.0 In Windows files have 3 time properties, access time, creation time and modificat… --- ## [Applying Determinism to LLMs - A Spark Proven approach](https://forum.ada-lang.io/t/applying-determinism-to-llms-a-spark-proven-approach/4765)
**Author:** [@Tonyg](https://forum.ada-lang.io/u/Tonyg)\ **Replies:** 3\ **Last updated:** [September 23, 2026, 2:40pm UTC](https://forum.ada-lang.io/t/applying-determinism-to-llms-a-spark-proven-approach/4765 "2026-09-23T14:40:07Z")
Hello Ada folks, The Dark Factory Ltd is pleased to release the Crucible under the AGPL license. It is a deterministic mostly factory which can use a local LLM such as QWEN 3.8 CODER (indeed before that Qwen 2.5 coder w… --- ## [Fine-tuning 8b AI model on Ada/SPARK](https://forum.ada-lang.io/t/fine-tuning-8b-ai-model-on-ada-spark/4746)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 10\ **Last updated:** [September 23, 2026, 10:48am UTC](https://forum.ada-lang.io/t/fine-tuning-8b-ai-model-on-ada-spark/4746 "2026-09-23T10:48:29Z")
So for context I recently got my hands on a laptop with 8 GB VRAM running an NVIDIA graphics card. I experimented a bit with local models that fit my hardware constraints, though it is safe to say that local models at t… --- ## [Stack overflowing on simple task](https://forum.ada-lang.io/t/stack-overflowing-on-simple-task/4763)
**Author:** [@sidisyom](https://forum.ada-lang.io/u/sidisyom)\ **Replies:** 5\ **Last updated:** [September 22, 2026, 9:24pm UTC](https://forum.ada-lang.io/t/stack-overflowing-on-simple-task/4763 "2026-09-22T21:24:14Z")
Hello, I’ve come across a stack overflow issue with a debug version of the embedded-stm32f429disco runtime and I am trying to understand if I’ve got a corrupt memory on my board or there is something else going on. Con… --- ## [Last week with GrokBot Heavy - ideas for Usage?](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753)
**Author:** [@RBSF](https://forum.ada-lang.io/u/RBSF)\ **Replies:** 12\ **Last updated:** [September 22, 2026, 4:20pm UTC](https://forum.ada-lang.io/t/last-week-with-grokbot-heavy-ideas-for-usage/4753 "2026-09-22T16:20:36Z")
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 usa… --- ## [Trying to install gnatformat but running out of memory](https://forum.ada-lang.io/t/trying-to-install-gnatformat-but-running-out-of-memory/4761)
**Author:** [@ZenitDS](https://forum.ada-lang.io/u/ZenitDS)\ **Replies:** 11\ **Last updated:** [September 21, 2026, 8:20pm UTC](https://forum.ada-lang.io/t/trying-to-install-gnatformat-but-running-out-of-memory/4761 "2026-09-21T20:20:41Z")
Hello, I am trying to install gnatformat via alire, but I keep running out of memory. I have 8 GB, so aprox 6 GB usable by the user. I think it has to do with alire launching too many builds at the same time. Best rega… --- ## [Building trust in AI generated artifacts: GNAT Foundry - Intersection](https://forum.ada-lang.io/t/building-trust-in-ai-generated-artifacts-gnat-foundry-intersection/4742)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 24\ **Last updated:** [September 21, 2026, 6:54pm UTC](https://forum.ada-lang.io/t/building-trust-in-ai-generated-artifacts-gnat-foundry-intersection/4742 "2026-09-21T18:54:27Z")
We spoke about this on the Ada SPARK Office Hours last Friday (recording to follow). The team at AdaCore has built a demonstration project to highlight how deterministic tools with Ada SPARK can be used to build trust in… --- ## [Best LLMs for ADA (SPARK) - Hobbyist](https://forum.ada-lang.io/t/best-llms-for-ada-spark-hobbyist/4632)
**Author:** [@RBSF](https://forum.ada-lang.io/u/RBSF)\ **Replies:** 23\ **Last updated:** [September 20, 2026, 4:27pm UTC](https://forum.ada-lang.io/t/best-llms-for-ada-spark-hobbyist/4632 "2026-09-20T16:27:36Z")
Anyone has experience with LLM for Code Development? I can’t type with 10 Fingers anymore after a stroke last year and work alone on it as a Hobby. LLMs have been a Productivity Boost so I picked up coding as a Hobby aga… --- ## [Y2038 compliance broken on 32bit](https://forum.ada-lang.io/t/y2038-compliance-broken-on-32bit/4731)
**Author:** [@PeterBB](https://forum.ada-lang.io/u/PeterBB)\ **Replies:** 9\ **Last updated:** [September 18, 2026, 2:15pm UTC](https://forum.ada-lang.io/t/y2038-compliance-broken-on-32bit/4731 "2026-09-18T14:15:10Z")
Hi, regarding Bug report Wondering if there is any chance of this being fixed in 16.3? Leads to another question. What is the future, for gnat on 32bit? Regards, Peter --- ## [Using Timing\_Event in SPARK to detect missed task deadlines](https://forum.ada-lang.io/t/using-timing-event-in-spark-to-detect-missed-task-deadlines/4749)
**Author:** [@lorislibralato](https://forum.ada-lang.io/u/lorislibralato)\ **Replies:** 2\ **Last updated:** [September 17, 2026, 12:04pm UTC](https://forum.ada-lang.io/t/using-timing-event-in-spark-to-detect-missed-task-deadlines/4749 "2026-09-17T12:04:39Z")
I am trying to use Timing\_Event to detect missed task deadlines. At the Stone SPARK proof level, I get the following error when calling the Set\_Handler procedure from Ada.Real\_Time.Timing\_Events: "Timing\_Event\_Handler"… --- ## [Some proved SPARK helpers](https://forum.ada-lang.io/t/some-proved-spark-helpers/4738)
**Author:** [@ksson](https://forum.ada-lang.io/u/ksson)\ **Replies:** 1\ **Last updated:** [September 14, 2026, 11:44pm UTC](https://forum.ada-lang.io/t/some-proved-spark-helpers/4738 "2026-09-14T23:44:53Z")
Hello, Coding agents have seen very good progress with SPARK proofs in particular, so I wondered if it was possible to develop proved every-day tools in them. Here are three I tried recently: fully proved SPARK fuzzy … --- ## [An interesting case of name resolution](https://forum.ada-lang.io/t/an-interesting-case-of-name-resolution/4734)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 1\ **Last updated:** [September 13, 2026, 3:53am UTC](https://forum.ada-lang.io/t/an-interesting-case-of-name-resolution/4734 "2026-09-13T03:53:35Z")
Consider this: procedure Visibility is package Q is type T is abstract tagged null record; function "&" (Left, Right : T) return T is abstract; function "&" (Left, Right : Integer) return T is abst… --- ## [Can you directly implement stackful coroutines in GNAT Ada? (And can they be proven with SPARK?)](https://forum.ada-lang.io/t/can-you-directly-implement-stackful-coroutines-in-gnat-ada-and-can-they-be-proven-with-spark/4719)
**Author:** [@ValorZard](https://forum.ada-lang.io/u/ValorZard)\ **Replies:** 5\ **Last updated:** [September 11, 2026, 9:32pm UTC](https://forum.ada-lang.io/t/can-you-directly-implement-stackful-coroutines-in-gnat-ada-and-can-they-be-proven-with-spark/4719 "2026-09-11T21:32:37Z")
I’ve been looking into stackful coroutines lately for my “formally proven async runtime” stuff, and I found out about this little library called minicoro GitHub - edubart/minicoro: Single header stackful cross-platform c… --- ## [SPARKTLS Updates](https://forum.ada-lang.io/t/sparktls-updates/4730)
**Author:** [@docandrew](https://forum.ada-lang.io/u/docandrew)\ **Replies:** 8\ **Last updated:** [September 11, 2026, 8:54pm UTC](https://forum.ada-lang.io/t/sparktls-updates/4730 "2026-09-11T20:54:11Z")
A few people have shown interest in SPARKTLS - a TLS 1.2/1.3 library I’ve been working on for quite a while. It started as a science project, but the advent of smarter and smarter LLMs has rapidly accelerated my progress… --- ## [ARM Cortex-m \_\_Disable\_IRQ intrinsic setting PriMask bit](https://forum.ada-lang.io/t/arm-cortex-m-disable-irq-intrinsic-setting-primask-bit/4732)
**Author:** [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Replies:** 2\ **Last updated:** [September 10, 2026, 9:06pm UTC](https://forum.ada-lang.io/t/arm-cortex-m-disable-irq-intrinsic-setting-primask-bit/4732 "2026-09-10T21:06:02Z")
I seem to have forgotten or perhaps I never knew and it’s usually better to be more specific but how can you import the \_\_disable\_IRQ intrinsic. Import e.g. cmsis\_gcc.h into the project or is it better to use the cpsid a… --- ## [Multiple AdaCore security advisories](https://forum.ada-lang.io/t/multiple-adacore-security-advisories/4646)
**Author:** [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)\ **Replies:** 1\ **Last updated:** [September 9, 2026, 11:39pm UTC](https://forum.ada-lang.io/t/multiple-adacore-security-advisories/4646 "2026-09-09T23:39:47Z")
Ada Language Server unbounded memory growth. SEC.ALS-1818-v1.pdf — 2026-08-15 Gnatcoll project loader attribute sanitization default SEC.GNATCOLL-CORE-0162-v2.pdf — 2026-08-14 Single carriage returns are not filtered… --- ## [Migrating ARM cross toolchains to the latest version](https://forum.ada-lang.io/t/migrating-arm-cross-toolchains-to-the-latest-version/4727)
**Author:** [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Replies:** 5\ **Last updated:** [September 9, 2026, 1:56pm UTC](https://forum.ada-lang.io/t/migrating-arm-cross-toolchains-to-the-latest-version/4727 "2026-09-09T13:56:21Z")
So native toolchains seem to upgrade to the latest but how do you do that for arm-eabi. I checked dependencies and removed any toolchain specifications. Previously I think I was setting a dependencies version that would … --- ## [A benchmark for SPARK proof work: does one exist, and what should it measure?](https://forum.ada-lang.io/t/a-benchmark-for-spark-proof-work-does-one-exist-and-what-should-it-measure/4718)
**Author:** [@Tonyg](https://forum.ada-lang.io/u/Tonyg)\ **Replies:** 2\ **Last updated:** [September 8, 2026, 9:16pm UTC](https://forum.ada-lang.io/t/a-benchmark-for-spark-proof-work-does-one-exist-and-what-should-it-measure/4718 "2026-09-08T21:16:12Z")
Split out from my cumulative-product thread, where ksson said there is not much public. I know ACATS for compilers and spark-by-example as a teaching corpus. I have not found anything that plays the part a benchmark pla… --- ## [Source code for early GNAT versions](https://forum.ada-lang.io/t/source-code-for-early-gnat-versions/4693)
**Author:** [@csb6](https://forum.ada-lang.io/u/csb6)\ **Replies:** 14\ **Last updated:** [September 8, 2026, 6:11pm UTC](https://forum.ada-lang.io/t/source-code-for-early-gnat-versions/4693 "2026-09-08T18:11:16Z")
Does anyone happen to have copies of the source code for very early GNAT releases? The earliest I can find is GNAT 1.67 from 1993. This version is mostly written in Ada 83, but its source code contains a few uses of Ada … --- ## [Fourteen proven cores: five Canadian government libraries, and dpkg's version ordering](https://forum.ada-lang.io/t/fourteen-proven-cores-five-canadian-government-libraries-and-dpkgs-version-ordering/4723)
**Author:** [@Tonyg](https://forum.ada-lang.io/u/Tonyg)\ **Replies:** 5\ **Last updated:** [September 8, 2026, 5:22pm UTC](https://forum.ada-lang.io/t/fourteen-proven-cores-five-canadian-government-libraries-and-dpkgs-version-ordering/4723 "2026-09-08T17:22:40Z")
Some of you helped me with a cumulative-product proof last week. Here is what it was for. Two repositories, both public, both re-checkable with a four-line project file. Ten cores\* from five open-source libraries publi… --- ## [What is Flare? Is it Ada 2.0?](https://forum.ada-lang.io/t/what-is-flare-is-it-ada-2-0/4710)
**Author:** [@ValorZard](https://forum.ada-lang.io/u/ValorZard)\ **Replies:** 3\ **Last updated:** [September 7, 2026, 4:32pm UTC](https://forum.ada-lang.io/t/what-is-flare-is-it-ada-2-0/4710 "2026-09-07T16:32:41Z")
I took a look at the ada spark RFC repo recently and there is a RFC for a new language called Flare, but it doesn’t really explain what it is like at all: https://github.com/AdaCore/ada-spark-rfcs/blob/f6768e7f8aa13b203… --- ## [Ada on the RSRE Flex operating system](https://forum.ada-lang.io/t/ada-on-the-rsre-flex-operating-system/4717)
**Author:** [@Chris660](https://forum.ada-lang.io/u/Chris660)\ **Replies:** 0\ **Last updated:** [September 4, 2026, 4:48pm UTC](https://forum.ada-lang.io/t/ada-on-the-rsre-flex-operating-system/4717 "2026-09-04T16:48:09Z")
I was watching this talk about the “Flex” operating system developed by the Royal Signals and Radar Establishment, and happened to spot a couple of scans taken from “Ada UK News” in 1985 that reference an Ada compiler in… --- ## [Please back the inclusion of Ada in CodeGraph](https://forum.ada-lang.io/t/please-back-the-inclusion-of-ada-in-codegraph/4712)
**Author:** [@geewiz](https://forum.ada-lang.io/u/geewiz)\ **Replies:** 4\ **Last updated:** [September 3, 2026, 1:12pm UTC](https://forum.ada-lang.io/t/please-back-the-inclusion-of-ada-in-codegraph/4712 "2026-09-03T13:12:33Z")
CodeGraph is a tool that gives coding agents direct access to the depths of a codebase. It’s orders of magnitude more efficient (both in time and token use) than plain text search. Unfortunately, on an Ada codebase, it … --- ## [Proving a cumulative-product loop with a bounded result type - is there a standard idiom?](https://forum.ada-lang.io/t/proving-a-cumulative-product-loop-with-a-bounded-result-type-is-there-a-standard-idiom/4713)
**Author:** [@Tonyg](https://forum.ada-lang.io/u/Tonyg)\ **Replies:** 1\ **Last updated:** [September 3, 2026, 7:50am UTC](https://forum.ada-lang.io/t/proving-a-cumulative-product-loop-with-a-bounded-result-type-is-there-a-standard-idiom/4713 "2026-09-03T07:50:15Z")
I have been generating SPARK bodies against fixed specifications and checking them with gnatprove --level=2. I have hit an obligation I cannot discharge, and I suspect I am missing a standard idiom rather than anything d… --- ## [An AI on visibility needed](https://forum.ada-lang.io/t/an-ai-on-visibility-needed/4706)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 9\ **Last updated:** [September 2, 2026, 4:47pm UTC](https://forum.ada-lang.io/t/an-ai-on-visibility-needed/4706 "2026-09-02T16:47:16Z")
Consider the following: type S is (A); A : Integer; -- Illegal, literal A conflicts with object A OK, that is an insane rule in itself, but let it be. What about this type T is (A); declare type S i… --- ## [Laurie Wired Video](https://forum.ada-lang.io/t/laurie-wired-video/4009)
**Author:** [@nerd\_type](https://forum.ada-lang.io/u/nerd_type)\ **Replies:** 6\ **Last updated:** [September 2, 2026, 4:03pm UTC](https://forum.ada-lang.io/t/laurie-wired-video/4009 "2026-09-02T16:03:58Z")
Laurie discusses Ada (and aerospace programming) in her latest video: --- ## [Tutorial for Alire](https://forum.ada-lang.io/t/tutorial-for-alire/4705)
**Author:** [@RBSF](https://forum.ada-lang.io/u/RBSF)\ **Replies:** 10\ **Last updated:** [September 2, 2026, 1:47pm UTC](https://forum.ada-lang.io/t/tutorial-for-alire/4705 "2026-09-02T13:47:38Z")
Hello, my work on implementing Algorithms in Ada progresses. Currently everything is hosted as Public Repos on Github. But I would consider making them available via Alire. Regarding this I have a few questions; Is t… [Next page](https://forum.ada-lang.io/c/general/4.md?page=1)