# \#ada **URL:** https://forum.ada-lang.io/tag/ada/9.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) --- ## [\[ANN\] adacovex v1.63.0: Better perf, cross platform support](https://forum.ada-lang.io/t/ann-adacovex-v1-63-0-better-perf-cross-platform-support/4877)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 0\ **Last updated:** [October 22, 2026, 3:45pm UTC](https://forum.ada-lang.io/t/ann-adacovex-v1-63-0-better-perf-cross-platform-support/4877 "2026-10-22T15:45:06Z")
So earlier this month v1.58.0 came out, and a user found that there were compilation errors on Windows. This made me look more into the codebase and I found plenty of hard coded unix related paths. I have fixed them by … --- ## [Ada Talk at Carolina Code Conference](https://forum.ada-lang.io/t/ada-talk-at-carolina-code-conference/4820)
**Author:** [@pyj](https://forum.ada-lang.io/u/pyj)\ **Replies:** 7\ **Last updated:** [October 19, 2026, 5:23pm UTC](https://forum.ada-lang.io/t/ada-talk-at-carolina-code-conference/4820 "2026-10-19T17:23:38Z")
I gave my first live talk about Ada at the Carolina Code Conference, “Writing Open Source Ada in 2026.” --- ## [Simple ASCII art editor in Ada (town)](https://forum.ada-lang.io/t/simple-ascii-art-editor-in-ada-town/4829)
**Author:** [@ZenitDS](https://forum.ada-lang.io/u/ZenitDS)\ **Replies:** 9\ **Last updated:** [October 19, 2026, 2:47pm UTC](https://forum.ada-lang.io/t/simple-ascii-art-editor-in-ada-town/4829 "2026-10-19T14:47:20Z")
Hi there, I have just made a little ASCII art editor in Ada. It can be used to make small artworks using the standard ASCII character set. Terminal handling is done through a small wrapper of terminal control function… --- ## [Win32\_Hash: PBKDF2-HMAC-SHA256 password hashing in SPARK](https://forum.ada-lang.io/t/win32-hash-pbkdf2-hmac-sha256-password-hashing-in-spark/4831)
**Author:** [@Avila](https://forum.ada-lang.io/u/Avila)\ **Replies:** 0\ **Last updated:** [October 19, 2026, 4:34am UTC](https://forum.ada-lang.io/t/win32-hash-pbkdf2-hmac-sha256-password-hashing-in-spark/4831 "2026-10-19T04:34:00Z")
Hi all, I’ve published a small Windows password-hashing library in Ada/SPARK: Win32\_Hash. What it does: PBKDF2-HMAC-SHA256 through the Windows CNG API (BCryptDeriveKeyPBKDF2), 1,000,000 iterations by default (650k–1M… --- ## [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:** 53\ **Last updated:** [October 18, 2026, 5:02pm UTC](https://forum.ada-lang.io/t/ada-spark-marketing-reach-and-the-abysmal-state-of-things/4019 "2026-10-18T17:02:36Z")
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… --- ## [\[ANN\]: adacovex 1.58.0: SPARK proof coverage metric](https://forum.ada-lang.io/t/ann-adacovex-1-58-0-spark-proof-coverage-metric/4811)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 10\ **Last updated:** [October 11, 2026, 10:08am UTC](https://forum.ada-lang.io/t/ann-adacovex-1-58-0-spark-proof-coverage-metric/4811 "2026-10-11T10:08:47Z")
Foreword What the tool does: Is an Ada/SPARK formal verification and compliance toolchain Zero dependency CLI (for published alire.toml), developer dependencies are gnatprove and the usual bunch of system dependencies. … --- ## [Calculator Scripts 1.8.12 released](https://forum.ada-lang.io/t/calculator-scripts-1-8-12-released/4813)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 0\ **Last updated:** [October 8, 2026, 6:46pm UTC](https://forum.ada-lang.io/t/calculator-scripts-1-8-12-released/4813 "2026-10-08T18:46:39Z")
Calculator Scripts 1.8.12 is released. One release for macOS, Linux and Windows — Ada 2022, AdaCL.Serial with fixed macOS support underneath. Three things are new: macOS communication is fixed. The console can be esta… --- ## [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:** 55\ **Last updated:** [October 7, 2026, 7:12pm UTC](https://forum.ada-lang.io/t/towards-a-hal-for-multiple-runtimes/4364 "2026-10-07T19:12:09Z")
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… --- ## [\[adacl-serial 8.0.1\] I pointed GNAT.Serial\_Communications at the wrong termios](https://forum.ada-lang.io/t/adacl-serial-8-0-1-i-pointed-gnat-serial-communications-at-the-wrong-termios/4799)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 2\ **Last updated:** [October 5, 2026, 2:59pm UTC](https://forum.ada-lang.io/t/adacl-serial-8-0-1-i-pointed-gnat-serial-communications-at-the-wrong-termios/4799 "2026-10-05T14:59:04Z")
I wanted a serial port on macOS, so I did the obvious thing and reached for GNAT.Serial\_Communications. The manual does say GNU/Linux and Windows only. I tried anyway. The simple case worked. Open the calculator first,… --- ## [Septum version 1.0.0](https://forum.ada-lang.io/t/septum-version-1-0-0/4785)
**Author:** [@pyj](https://forum.ada-lang.io/u/pyj)\ **Replies:** 1\ **Last updated:** [October 1, 2026, 5:57am UTC](https://forum.ada-lang.io/t/septum-version-1-0-0/4785 "2026-10-01T05:57:43Z")
Septum 1.0.0 is available in Alire. I’ve saved innumerable hours using it to look through millions of lines of code the last five years. There’s always improvements you can make on a program, but the most recent batch o… --- ## [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:** 12\ **Last updated:** [September 28, 2026, 3:13pm UTC](https://forum.ada-lang.io/t/fine-tuning-8b-ai-model-on-ada-spark/4746 "2026-09-28T15:13:13Z")
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… --- ## [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… --- ## [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… --- ## [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 … --- ## [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"… --- ## [\[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 … --- ## [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… --- ## [\[ANN\] AHT an Ada HTTP/1.1 and WebSocket client with TLS via OpenSSL or mbedTLS](https://forum.ada-lang.io/t/ann-aht-an-ada-http-1-1-and-websocket-client-with-tls-via-openssl-or-mbedtls/4721)
**Author:** [@ovenpasta](https://forum.ada-lang.io/u/ovenpasta)\ **Replies:** 6\ **Last updated:** [September 11, 2026, 1:12am UTC](https://forum.ada-lang.io/t/ann-aht-an-ada-http-1-1-and-websocket-client-with-tls-via-openssl-or-mbedtls/4721 "2026-09-11T01:12:31Z")
--- ## [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… --- ## [Chapter 9 – AD Converter: three ways to read a voltage](https://forum.ada-lang.io/t/chapter-9-ad-converter-three-ways-to-read-a-voltage/4714)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 3\ **Last updated:** [September 3, 2026, 11:53am UTC](https://forum.ada-lang.io/t/chapter-9-ad-converter-three-ways-to-read-a-voltage/4714 "2026-09-03T11:53:33Z")
Hello everyone, I have just published Chapter 9 of the Pi Ada Tutorial: AD Converter – three ways to read a voltage This is the Freenove potentiometer lesson in Ada. One sketch on GP26 prints the raw 12-bit code, the… --- ## [Documenting the technical aspects and development of a GNAT/RTS](https://forum.ada-lang.io/t/documenting-the-technical-aspects-and-development-of-a-gnat-rts/4522)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 3\ **Last updated:** [September 3, 2026, 9:08am UTC](https://forum.ada-lang.io/t/documenting-the-technical-aspects-and-development-of-a-gnat-rts/4522 "2026-09-03T09:08:51Z")
Documenting the technical aspects and development of a GNAT/RTS The Ada Awards Committee has nominated for an award the task of documenting the technical aspects and development of the Ada RTS. This proposal has been mot… --- ## [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… --- ## [How to spawn a variable number of tasks on startup for SPARK?](https://forum.ada-lang.io/t/how-to-spawn-a-variable-number-of-tasks-on-startup-for-spark/4694)
**Author:** [@ValorZard](https://forum.ada-lang.io/u/ValorZard)\ **Replies:** 10\ **Last updated:** [August 30, 2026, 6:09pm UTC](https://forum.ada-lang.io/t/how-to-spawn-a-variable-number-of-tasks-on-startup-for-spark/4694 "2026-08-30T18:09:37Z")
Hello! Messing around a bit more with Ada, but a problem I"m running into is spawning a variable number of tasks on startup (specifically aiming for a “thread per core”). For whatever reason, I can’t seem to figure out… --- ## [Creating ADA-CTS (Cryptographic Testing Suite)](https://forum.ada-lang.io/t/creating-ada-cts-cryptographic-testing-suite/4683)
**Author:** [@Avila](https://forum.ada-lang.io/u/Avila)\ **Replies:** 2\ **Last updated:** [August 30, 2026, 2:02am UTC](https://forum.ada-lang.io/t/creating-ada-cts-cryptographic-testing-suite/4683 "2026-08-30T02:02:57Z")
IDEA ORIGINAL EN MI IDIOMA NATIVO por ende bcrytpgenrandom y processprng, son seguros criptograficamente perooo al hacer la conversion con mod Como sabemos (BCRYPTGENRANDOM, PROCESSPRNG ETC) son PRNGs criptograficame… --- ## [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… --- ## [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? --- ## [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… --- ## [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… [Next page](https://forum.ada-lang.io/tag/ada/9.md?match_all_tags=true&page=1&tags%5B%5D=ada)