# Latest **URL:** https://forum.ada-lang.io/latest.md?page=2 [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) **Page:** 3 --- ## [How do you handle console IO and string manipulation in SPARK?](https://forum.ada-lang.io/t/how-do-you-handle-console-io-and-string-manipulation-in-spark/4692)
**Author:** [@ValorZard](https://forum.ada-lang.io/u/ValorZard)\ **Replies:** 14\ **Last updated:** [August 29, 2026, 5:17pm UTC](https://forum.ada-lang.io/t/how-do-you-handle-console-io-and-string-manipulation-in-spark/4692 "2026-08-29T17:17:58Z")
Hey yall! I’ve been doing some more stuff with Ada and spark, and my goal has been to write programs that can be 100% audited with SPARK. However one issue I run into is how to handle printing out text and getting text… --- ## [\[ANN\] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 2\ **Last updated:** [August 29, 2026, 12:50pm UTC](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644 "2026-08-29T12:50:44Z")
Figured I made enough changes to the codebase to warrant a new topic. A fair bit of improvements have been made since the last 1.9.0 release. For those that have not heard of adacovex, it is an Ada/SPARK formal verif… --- ## [Adi2: A modern GUI library for Ada: CSS styling, XML UI, SDL3 - released as Open Source](https://forum.ada-lang.io/t/adi2-a-modern-gui-library-for-ada-css-styling-xml-ui-sdl3-released-as-open-source/4663)
**Author:** [@ovenpasta](https://forum.ada-lang.io/u/ovenpasta)\ **Replies:** 25\ **Last updated:** [August 29, 2026, 9:30am UTC](https://forum.ada-lang.io/t/adi2-a-modern-gui-library-for-ada-css-styling-xml-ui-sdl3-released-as-open-source/4663 "2026-08-29T09:30:19Z")
--- ## [\[ANN\] GNAT Studio 2026.2a for macOS Ventura](https://forum.ada-lang.io/t/ann-gnat-studio-2026-2a-for-macos-ventura/4679)
**Author:** [@Blady](https://forum.ada-lang.io/u/Blady)\ **Replies:** 3\ **Last updated:** [August 28, 2026, 12:57pm UTC](https://forum.ada-lang.io/t/ann-gnat-studio-2026-2a-for-macos-ventura/4679 "2026-08-28T12:57:57Z")
Here is a very preliminary version of GNAT Studio 2026.2a as a stand alone app for macOS. NEW: The GNATStudio launcher looks for a gnatstudio\_launcher.rc file which support environment variables with the standard synta… --- ## [\[Announce\] GNAT Runtime for ESP-IDF 0.1.0](https://forum.ada-lang.io/t/announce-gnat-runtime-for-esp-idf-0-1-0/4419)
**Author:** [@godunko](https://forum.ada-lang.io/u/godunko)\ **Replies:** 5\ **Last updated:** [August 27, 2026, 6:41pm UTC](https://forum.ada-lang.io/t/announce-gnat-runtime-for-esp-idf-0-1-0/4419 "2026-08-27T18:41:00Z")
:rocket: Announcing: GNAT Runtime for Ada & SPARK on ESP32 I’m excited to share the latest updates for the espidf\_gnat\_runtime project! This runtime allows you to run embedded applications by leveraging the core feature… --- ## [Protected Object ceiling priority](https://forum.ada-lang.io/t/protected-object-ceiling-priority/4645)
**Author:** [@sidisyom](https://forum.ada-lang.io/u/sidisyom)\ **Replies:** 13\ **Last updated:** [August 26, 2026, 9:41pm UTC](https://forum.ada-lang.io/t/protected-object-ceiling-priority/4645 "2026-08-26T21:41:11Z")
Hi, I’ve written a small program which is targeting the embedded-stm32f429disco runtime and have come across an issue related to tasks accessing a protected object. The details of the program aren’t too important for t… --- ## [State of some things: AEiC video recordings, Ada Monthly Meetups, Advocacy and others](https://forum.ada-lang.io/t/state-of-some-things-aeic-video-recordings-ada-monthly-meetups-advocacy-and-others/4639)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 3\ **Last updated:** [August 26, 2026, 1:42pm UTC](https://forum.ada-lang.io/t/state-of-some-things-aeic-video-recordings-ada-monthly-meetups-advocacy-and-others/4639 "2026-08-26T13:42:11Z")
Dear all, I would like to provide some updates on a few matters that I am carrying out. Most of the updates are somewhat negative, but there is a silver lighting to it. Ada Monthly Meetup As most of you have noticed, i… --- ## [Exception behavior with errno](https://forum.ada-lang.io/t/exception-behavior-with-errno/4658)
**Author:** [@sbenitezb](https://forum.ada-lang.io/u/sbenitezb)\ **Replies:** 21\ **Last updated:** [August 26, 2026, 8:53am UTC](https://forum.ada-lang.io/t/exception-behavior-with-errno/4658 "2026-08-26T08:53:14Z")
Hello. Does anybody know the GNAT behavior during exception raise or catch with respect to errno global variable? I assume that it might call some C function that might set it and trash previous C function errno state? --- ## [The status of ASIS](https://forum.ada-lang.io/t/the-status-of-asis/4642)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 20\ **Last updated:** [August 26, 2026, 7:19am UTC](https://forum.ada-lang.io/t/the-status-of-asis/4642 "2026-08-26T07:19:33Z")
I must admit being ignorant about ASIS. So my questions are: What is the status of the standard? Are the template packages here the actual stand of? --- ## [Found a bug with GNATProve/Spark when using protected objects](https://forum.ada-lang.io/t/found-a-bug-with-gnatprove-spark-when-using-protected-objects/4669)
**Author:** [@ValorZard](https://forum.ada-lang.io/u/ValorZard)\ **Replies:** 4\ **Last updated:** [August 26, 2026, 7:12am UTC](https://forum.ada-lang.io/t/found-a-bug-with-gnatprove-spark-when-using-protected-objects/4669 "2026-08-26T07:12:38Z")
I was able to us AI to get a reproducible version of it, you can check it out here: GitHub - ValorZard/spark\_po\_pointer\_repro · GitHub full crash: PS C:\\ada-stuff\\spark\_po\_pointer\_repro\> alr exec -- gnatprove -P spark… --- ## [\[ANN\] aDSA v1.5.2 Release](https://forum.ada-lang.io/t/ann-adsa-v1-5-2-release/4657)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 2\ **Last updated:** [August 25, 2026, 6:14am UTC](https://forum.ada-lang.io/t/ann-adsa-v1-5-2-release/4657 "2026-08-25T06:14:27Z")
aDSA v1.5.2 — Ada’s Distributed Systems Annex over ZeroMQ: dynamic networks, IPv6, and a new home aDSA is a Partition Communication Subsystem (PCS) for Ada’s Distributed Systems Annex (Annex E), replacing the discontinu… --- ## [Alire with microbit v1](https://forum.ada-lang.io/t/alire-with-microbit-v1/4659)
**Author:** [@bjorn-lundin](https://forum.ada-lang.io/u/bjorn-lundin)\ **Replies:** 6\ **Last updated:** [August 24, 2026, 6:13pm UTC](https://forum.ada-lang.io/t/alire-with-microbit-v1/4659 "2026-08-24T18:13:49Z")
Hi, I’ve spent some (several) hours now to get a trivial example to link for a bbc:microbit card V1. Google AI was involved but it did not help that much. I’m on opensuse 16 and have no compiler installed. In the end… --- ## [Ada/SPARK, marketing, reach and the abysmal state of things](https://forum.ada-lang.io/t/ada-spark-marketing-reach-and-the-abysmal-state-of-things/4019)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 32\ **Last updated:** [August 23, 2026, 3:47pm UTC](https://forum.ada-lang.io/t/ada-spark-marketing-reach-and-the-abysmal-state-of-things/4019 "2026-08-23T15:47:33Z")
Hi all, I am watching some of the new videos uploaded to YT in the ACM SIGPLAN channel and it is just depressing. There are a ton of videos about formal proofs, better software quality, software analysis, etc; and SPARK… --- ## [Alire community index browser](https://forum.ada-lang.io/t/alire-community-index-browser/4653)
**Author:** [@yrashk](https://forum.ada-lang.io/u/yrashk)\ **Replies:** 6\ **Last updated:** [August 23, 2026, 5:03am UTC](https://forum.ada-lang.io/t/alire-community-index-browser/4653 "2026-08-23T05:03:11Z")
Hi everybody, As I was working on the web interface for Flyology’s Alire index, I realized I could easily extend it to the community index, too. Hopefully, you’ll find it useful: Alire Community Shadow It has a feed of… --- ## [SPARK, floting points and the Colibri solver](https://forum.ada-lang.io/t/spark-floting-points-and-the-colibri-solver/4631)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 7\ **Last updated:** [August 22, 2026, 9:52pm UTC](https://forum.ada-lang.io/t/spark-floting-points-and-the-colibri-solver/4631 "2026-08-22T21:52:05Z")
Dear all, I would like to share with you an experiment. Now that I am using AI for quite a few things I do not have time to do by hand, I got the idea to revisit the possibility of enabling the Colibri family of SMT sol… --- ## [\[ANN\] aDSA 1.3.0 — ZeroMQ-backed Annex E (DSA) runtime for GNAT — now runs on Windows and FreeBSD](https://forum.ada-lang.io/t/ann-adsa-1-3-0-zeromq-backed-annex-e-dsa-runtime-for-gnat-now-runs-on-windows-and-freebsd/4548)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 33\ **Last updated:** [August 21, 2026, 2:44pm UTC](https://forum.ada-lang.io/t/ann-adsa-1-3-0-zeromq-backed-annex-e-dsa-runtime-for-gnat-now-runs-on-windows-and-freebsd/4548 "2026-08-21T14:44:14Z")
aDSA is a free (GPLv3 + GCC Runtime Library Exception) Partition Communication Subsystem for Ada’s Distributed Systems Annex (Annex E), built on ZeroMQ — a runtime replacement for the deprecated PolyORB / GLADE. The c… --- ## [Flyology GNAT Patchsets](https://forum.ada-lang.io/t/flyology-gnat-patchsets/4627)
**Author:** [@yrashk](https://forum.ada-lang.io/u/yrashk)\ **Replies:** 5\ **Last updated:** [August 21, 2026, 1:36pm UTC](https://forum.ada-lang.io/t/flyology-gnat-patchsets/4627 "2026-08-21T13:36:10Z")
I’d like to share Flyology GNAT Patchsets, a project that curates reproducible GCC/GNAT fixes while they are being reviewed or backported upstream. Patchset 1.1.0 already includes fixes for: Storage-model component a… --- ## [Is the source to the Ada Reference Manual Formatting Tool available online anywhere more convenient](https://forum.ada-lang.io/t/is-the-source-to-the-ada-reference-manual-formatting-tool-available-online-anywhere-more-convenient/4648)
**Author:** [@TKurtBond](https://forum.ada-lang.io/u/TKurtBond)\ **Replies:** 2\ **Last updated:** [August 20, 2026, 1:35pm UTC](https://forum.ada-lang.io/t/is-the-source-to-the-ada-reference-manual-formatting-tool-available-online-anywhere-more-convenient/4648 "2026-08-20T13:35:03Z")
… than the CVSWeb interface? --- ## [Ada SPARK Office Hours - 2026-08-14](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-08-14/4629)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 5\ **Last updated:** [August 20, 2026, 12:05pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-08-14/4629 "2026-08-20T12:05:13Z")
This Friday is the next instance of our Ada SPARK Office Hours. There is a slight chance that @sttaft may step in and attend. Proposed topics: Continued discussion on AI usage, specifically open models Alire crate dis… --- ## [Startup-gen 26.0.0 Build Failure](https://forum.ada-lang.io/t/startup-gen-26-0-0-build-failure/4647)
**Author:** [@bbouchard](https://forum.ada-lang.io/u/bbouchard)\ **Replies:** 6\ **Last updated:** [August 19, 2026, 9:04pm UTC](https://forum.ada-lang.io/t/startup-gen-26-0-0-build-failure/4647 "2026-08-19T21:04:30Z")
Whenever I try to build the startup-gen crate using alr build I get the following error: Compile \[Ada\] gpr-compilation-process.adb \[Ada\] device.adb \[Ada\] setup.adb \[Ada\] utils.adb gpr… --- ## [Adacovex: code/proof/DO-178C HAL/docstring status tool](https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 17\ **Last updated:** [August 18, 2026, 1:16pm UTC](https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600 "2026-08-18T13:16:25Z")
Basically wanted proper project badges generated from a CLI like in Golang/Rust for my Ada projects. Hope this would be a useful addition for checking on code quality. Supports parsing SPARK level, unit tests, DO-178 H… --- ## [I love SPARK Bronze mode as a baseline](https://forum.ada-lang.io/t/i-love-spark-bronze-mode-as-a-baseline/4641)
**Author:** [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Replies:** 0\ **Last updated:** [August 17, 2026, 11:37am UTC](https://forum.ada-lang.io/t/i-love-spark-bronze-mode-as-a-baseline/4641 "2026-08-17T11:37:19Z")
I just came here to say I had a multi loop with some thorny Status handling and I love that the following can be so helpful by itself. Gnat Studio =\> SPARK =\> Examine all sources =\> Do not report warnings =\> Analysis mo… --- ## [No\_Dependence restriction](https://forum.ada-lang.io/t/no-dependence-restriction/4636)
**Author:** [@cantanima](https://forum.ada-lang.io/u/cantanima)\ **Replies:** 2\ **Last updated:** [August 14, 2026, 7:24pm UTC](https://forum.ada-lang.io/t/no-dependence-restriction/4636 "2026-08-14T19:24:48Z")
I was reading Chapter 13 in the Barnes text on Ada 2022 and came across the No\_Dependence restriction. OK, why? I’m sure there’s a reason, but all I could think of is: package A depends on package B, for some reason A i… --- ## [Towards a HAL for multiple runtimes](https://forum.ada-lang.io/t/towards-a-hal-for-multiple-runtimes/4364)
**Author:** [@ThyMYthOS](https://forum.ada-lang.io/u/ThyMYthOS)\ **Replies:** 25\ **Last updated:** [August 14, 2026, 3:33pm UTC](https://forum.ada-lang.io/t/towards-a-hal-for-multiple-runtimes/4364 "2026-08-14T15:33:05Z")
We currently have Ada\_Drivers\_Library which targets ZFP runtimes or at least the drivers included often don’t use interrupts or any higher level tasking features. Also the interfaces are typically synchronous: The proced… --- ## [GCC bans AI contributions](https://forum.ada-lang.io/t/gcc-bans-ai-contributions/4617)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 10\ **Last updated:** [August 13, 2026, 9:18pm UTC](https://forum.ada-lang.io/t/gcc-bans-ai-contributions/4617 "2026-08-13T21:18:26Z")
I think it is relevant in the context of GNAT and simply worth to mention. Here is the link to the LWN.net article. --- ## [How to delete a file from a GitHub branch](https://forum.ada-lang.io/t/how-to-delete-a-file-from-a-github-branch/3800)
**Author:** [@Nordic\_Dogsledding](https://forum.ada-lang.io/u/Nordic_Dogsledding)\ **Replies:** 7\ **Last updated:** [August 13, 2026, 1:55pm UTC](https://forum.ada-lang.io/t/how-to-delete-a-file-from-a-github-branch/3800 "2026-08-13T13:55:04Z")
Docs say: Navigate to the repository and locate the file you want to delete. Click on the file to open it. Click the trash can icon (:wastebasket:) labeled “Delete this file” at the top right. There is no trash icon. … --- ## [NVIDIA looking for Ada SPARK programmers](https://forum.ada-lang.io/t/nvidia-looking-for-ada-spark-programmers/4630)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 0\ **Last updated:** [August 12, 2026, 6:22pm UTC](https://forum.ada-lang.io/t/nvidia-looking-for-ada-spark-programmers/4630 "2026-08-12T18:22:23Z")
This is a fantastic team, building ground breaking products that go into cars and physical AI: --- ## [Ada SPARK Office Hours - 2026-07-31](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-07-31/4601)
**Author:** [@markhermeling](https://forum.ada-lang.io/u/markhermeling)\ **Replies:** 8\ **Last updated:** [August 11, 2026, 10:41pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-07-31/4601 "2026-08-11T22:41:53Z")
All, We will hold our office hours again: 2026-07-31T14:00:00Z (UTC)→2026-07-31T15:00:00Z (UTC), more info here: As to topics, I am very open. I finally had some time to benchmark open models against the commercial … --- ## [\[Ann\] New Ada DSA project using ZeroMQ for comms](https://forum.ada-lang.io/t/ann-new-ada-dsa-project-using-zeromq-for-comms/4515)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 2\ **Last updated:** [August 10, 2026, 7:19am UTC](https://forum.ada-lang.io/t/ann-new-ada-dsa-project-using-zeromq-for-comms/4515 "2026-08-10T07:19:29Z")
I’ve mentioned this in other topics but thought I’d make a formal announcement, since it is now feature complete, tested and I’ve just published the git repo. Any feedback welcome, of course. Full disclosure → Claude-Co… --- ## [Building a Pure Ada APK/DEX Reverse Engineering Tool](https://forum.ada-lang.io/t/building-a-pure-ada-apk-dex-reverse-engineering-tool/4626)
**Author:** [@ibousv](https://forum.ada-lang.io/u/ibousv)\ **Replies:** 2\ **Last updated:** [August 8, 2026, 5:40pm UTC](https://forum.ada-lang.io/t/building-a-pure-ada-apk-dex-reverse-engineering-tool/4626 "2026-08-08T17:40:27Z")
Hello Ada Community, I am a junior developer diving into Ada, and I believe the best way to master a language is by building something real and challenging. To learn Ada, system-level stream parsing, and formal verific… [Previous page](https://forum.ada-lang.io/latest.md?page=1) [Next page](https://forum.ada-lang.io/latest.md?page=3)