# Latest **URL:** https://forum.ada-lang.io/latest.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 … --- ## [Ada SPARK Office Hours 2026-09-11](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 7\ **Last updated:** [September 25, 2026, 9:58am UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722 "2026-09-25T09:58:40Z")
This Friday is the next instance of our Ada SPARK Office Hours. Proposed topics: Discussion on some of the Ada extensions (aka Flare) Lifting existing Ada projects to SPARK FOSDEM Ada DevRoom Maybe we can uncover a bit… --- ## [AdaCL.Serial is on Alire — and a call for SPARK eyes](https://forum.ada-lang.io/t/adacl-serial-is-on-alire-and-a-call-for-spark-eyes/4685)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 9\ **Last updated:** [September 24, 2026, 11:22pm UTC](https://forum.ada-lang.io/t/adacl-serial-is-on-alire-and-a-call-for-spark-eyes/4685 "2026-09-24T23:22:39Z")
I am pleased to announce that AdaCL.Serial has been accepted into the Alire index as crate adacl\_serial (version 7.2.1). It is a compact, SPARK-friendly companion to GNAT.Serial\_Communications. The crate contains a sing… --- ## [Ada 83 TLALOC on Windows 64/x86\_64](https://forum.ada-lang.io/t/ada-83-tlaloc-on-windows-64-x86-64/4740)
**Author:** [@VMo](https://forum.ada-lang.io/u/VMo)\ **Replies:** 6\ **Last updated:** [September 24, 2026, 9:36pm UTC](https://forum.ada-lang.io/t/ada-83-tlaloc-on-windows-64-x86-64/4740 "2026-09-24T21:36:15Z")
Hi.all In one intense evening with AI help The assembly of TLALOC LLIR has been ported to Windows 64 and tested under wine. There is a codi\_x86\_64W.finc (with a “W”). which is used with fasmg to assemble the FAS/FINCs i… --- ## [Tlaloc eXecutor TX\_RUN](https://forum.ada-lang.io/t/tlaloc-executor-tx-run/4772)
**Author:** [@VMo](https://forum.ada-lang.io/u/VMo)\ **Replies:** 2\ **Last updated:** [September 24, 2026, 9:34pm UTC](https://forum.ada-lang.io/t/tlaloc-executor-tx-run/4772 "2026-09-24T21:34:45Z")
Hi.all The TLALOC compiler structure is a very interesting object of study. The fasmg backend is very versatile. I produced a codi\_SX.finc to study the static behaviour of the LLIR stack machine and another codi\_TX.fin… --- ## [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… --- ## [Last Call: Embedded World 2027 Call for Papers](https://forum.ada-lang.io/t/last-call-embedded-world-2027-call-for-papers/4773)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 0\ **Last updated:** [September 23, 2026, 6:41pm UTC](https://forum.ada-lang.io/t/last-call-embedded-world-2027-call-for-papers/4773 "2026-09-23T18:41:04Z")
All, The Call for Papers for Embedded World 2027 is closing next week. You can find more details here: https://www.embedded-world.eu/call-for-papers I know of 2 submissions that are submitting a presentation about SPA… --- ## [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… --- ## [Swiss\_micros\_tools, and a tutorial outside the our bubble](https://forum.ada-lang.io/t/swiss-micros-tools-and-a-tutorial-outside-the-our-bubble/4768)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 0\ **Last updated:** [September 22, 2026, 8:08pm UTC](https://forum.ada-lang.io/t/swiss-micros-tools-and-a-tutorial-outside-the-our-bubble/4768 "2026-09-22T20:08:27Z")
I have just shipped swiss\_micros\_tools: host-side Ada 2022 programmes that drive SwissMicros pocket calculators over USB serial. The first binary, dm\_set\_time, sets the machine clock from the host. Memory send/receive ar… --- ## [HAC version 0.45](https://forum.ada-lang.io/t/hac-version-0-45/4767)
**Author:** [@zertovitch](https://forum.ada-lang.io/u/zertovitch)\ **Replies:** 0\ **Last updated:** [September 22, 2026, 7:36pm UTC](https://forum.ada-lang.io/t/hac-version-0-45/4767 "2026-09-22T19:36:28Z")
HAC - HAC Ada Compiler - is a small, quick, open-source Ada compiler, covering a subset of the Ada language. HAC is perhaps the first open-source (albeit partial) Ada compiler fully programmed in Ada itself. HAC can be… --- ## [Would it be possible to make a multithreaded runtime like Go goroutines or Rust’s Tokio with Ravenscar?](https://forum.ada-lang.io/t/would-it-be-possible-to-make-a-multithreaded-runtime-like-go-goroutines-or-rust-s-tokio-with-ravenscar/4604)
**Author:** [@ValorZard](https://forum.ada-lang.io/u/ValorZard)\ **Replies:** 41\ **Last updated:** [September 22, 2026, 7:33pm UTC](https://forum.ada-lang.io/t/would-it-be-possible-to-make-a-multithreaded-runtime-like-go-goroutines-or-rust-s-tokio-with-ravenscar/4604 "2026-09-22T19:33:17Z")
I just found out about ravenscar recently and it seems VERY interesting. In rust and go, I’ve often run into hard to debug concurrency bugs and deadlocks, so I’m curious if it would be possible to build a multithreaded … --- ## [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… --- ## [FOSDEM 2027: 30 & 31st of January](https://forum.ada-lang.io/t/fosdem-2027-30-31st-of-january/4702)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 13\ **Last updated:** [September 21, 2026, 6:52pm UTC](https://forum.ada-lang.io/t/fosdem-2027-30-31st-of-january/4702 "2026-09-21T18:52:24Z")
Dear all, FOSDEM has published their dates for the next edition! FOSDEM 2027 It is also interesting to see that they have changed their website quite a lot! We will again try to be there with a Devroom or at least a st… --- ## [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… --- ## [Building gnatlib](https://forum.ada-lang.io/t/building-gnatlib/4751)
**Author:** [@PeterBB](https://forum.ada-lang.io/u/PeterBB)\ **Replies:** 4\ **Last updated:** [September 18, 2026, 7:26pm UTC](https://forum.ada-lang.io/t/building-gnatlib/4751 "2026-09-18T19:26:51Z")
Is there any way to do a stand alone build of lingnarl and libgnat without building the whole of gcc? I’ve tried the following, mkdir build && cd build ../gcc/configure --enable-languages=ada cd ada make gnatlib b… --- ## [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 --- ## [Ada 83 TLALOC compiler produces direct UEFI bootable executable BOOTX64.EFI](https://forum.ada-lang.io/t/ada-83-tlaloc-compiler-produces-direct-uefi-bootable-executable-bootx64-efi/4748)
**Author:** [@VMo](https://forum.ada-lang.io/u/VMo)\ **Replies:** 3\ **Last updated:** [September 17, 2026, 8:19pm UTC](https://forum.ada-lang.io/t/ada-83-tlaloc-compiler-produces-direct-uefi-bootable-executable-bootx64-efi/4748 "2026-09-17T20:19:52Z")
Hi.all ! Something interesting : as I have now the Ada 83/TLALOC path to Windows PE32+ with codi\_x86\_64W.finc I told me "what if I produce a BOOTX84.EFI with an appropriate codi\_x86\_64U.finc ? ". Just have to replace k… --- ## [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"… --- ## [What is your OS?](https://forum.ada-lang.io/t/what-is-your-os/4735)
**Author:** [@VMo](https://forum.ada-lang.io/u/VMo)\ **Replies:** 22\ **Last updated:** [September 15, 2026, 5:50pm UTC](https://forum.ada-lang.io/t/what-is-your-os/4735 "2026-09-15T17:50:17Z")
I developped TLALOC with gnat on Linux Ubuntu. I would be interested to have a statistics of OSes used by the community. Having some other OSes for TLALOC could be examined. Probably Windows would be next. I have no real… --- ## [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 … --- ## [\[ANN\]: adacovex 1.48.0: Performance improvements, more flags](https://forum.ada-lang.io/t/ann-adacovex-1-48-0-performance-improvements-more-flags/4741)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 0\ **Last updated:** [September 14, 2026, 9:11am UTC](https://forum.ada-lang.io/t/ann-adacovex-1-48-0-performance-improvements-more-flags/4741 "2026-09-14T09:11:12Z")
Changelogs adacovex 1.48.0 - adacovex latest documentation adacovex 1.47.0 - adacovex latest documentation adacovex 1.46.0 - adacovex latest documentation Git Changelog: Build Provenance Attestation: tldr; plent… --- ## [\[ANN\]: adacovex 1.40.0: Full fledged documentation site and other niceties](https://forum.ada-lang.io/t/ann-adacovex-1-40-0-full-fledged-documentation-site-and-other-niceties/4701)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 3\ **Last updated:** [September 13, 2026, 2:05pm UTC](https://forum.ada-lang.io/t/ann-adacovex-1-40-0-full-fledged-documentation-site-and-other-niceties/4701 "2026-09-13T14:05:35Z")
Project status So the last time I posted about the tool, it was still rough around the edges in some aspects. Admittedly there are still things I want to fix, though the recent changes up to the current version. Took my … --- ## [And what about an Ada 83 APSE for TLALOC?](https://forum.ada-lang.io/t/and-what-about-an-ada-83-apse-for-tlaloc/4716)
**Author:** [@VMo](https://forum.ada-lang.io/u/VMo)\ **Replies:** 13\ **Last updated:** [September 13, 2026, 12:43pm UTC](https://forum.ada-lang.io/t/and-what-about-an-ada-83-apse-for-tlaloc/4716 "2026-09-13T12:43:35Z")
Hi.all ! Now I have a decent self hosted Ada 83 compiler, but I have some organization problems for sources, builds, binaries. unix paths are heavy to use. So a few years ago I started to think about an APSE (Ada Progra… --- ## [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… [Next page](https://forum.ada-lang.io/latest.md?page=1)