# Ada SPARK Office Hours 2026-09-11
**URL:** https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722
**Category:** Events
**Tags:** spark
**Created:** [September 7, 2026, 4:52pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722 "2026-09-07T16:52:03Z")
**Posts on this page:** 10
**Page:** 1
### Author:  [@markhermeling](https://forum.ada-lang.io/u/markhermeling)
#### Post date: [September 7, 2026, 4:52pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/1 "2026-09-07T16:52:03Z")
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 of the blanket on [this](https://www.linkedin.com/posts/adacore_something-new-is-coming-14th-september-activity-7502737100103086080-eH2a)
And of course open to any other topics people are interested to talk about.
More detail and links are here: [Ada SPARK Office Hours | AdaCore](https://www.adacore.com/ada-spark-office-hours) , 10am-11am ET!
Feel free to propose additional topics by commenting on this article. Recording and summary will be posted typically within a week.
---
### Author:  [@Irvise](https://forum.ada-lang.io/u/Irvise)
#### Post date: [September 7, 2026, 8:22pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/2 "2026-09-07T20:22:23Z")
I sadly wont make it to this meeting in any way, so have fun and feel free to forward me any questions related to FOSDEM if they are left unanswered!
Best regards,
Fer
PS: good luck @markhermeling in NASPICE!
---
### Author:  [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)
#### Post date: [September 8, 2026, 3:13am UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/3 "2026-09-08T03:13:08Z")
---
### Author:  [@ValorZard](https://forum.ada-lang.io/u/ValorZard)
#### Post date: [September 11, 2026, 3:22pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/4 "2026-09-11T15:22:22Z")
@markhermeling
I decided to open source the two different projects I showed today.
(Note: a LOT of this code is AI generated, so take it all with a grain of salt)
The async runtime: [GitHub - ValorZard/io\_uring\_async\_runtime\_slop · GitHub](https://github.com/ValorZard/io_uring_async_runtime_slop)
An experiment in making SPARK proven coroutines: [GitHub - ValorZard/ada-generators-slop · GitHub](https://github.com/ValorZard/ada-generators-slop)
---
### Author:  [@DirkCraeynest](https://forum.ada-lang.io/u/DirkCraeynest)
#### Post date: [September 11, 2026, 4:02pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/5 "2026-09-11T16:02:42Z")
> [@Irvise](#):
>
> I sadly wont make it to this meeting in any way, so have fun and feel free to forward me any questions related to FOSDEM if they are left unanswered!
Idem for me. Have a good meeting!
---
### Author:  [@bladeacer](https://forum.ada-lang.io/u/bladeacer)
#### Post date: [September 12, 2026, 12:24am UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/6 "2026-09-12T00:24:10Z")
Missed this office hour as I was away for a bit. Looking forward to the next one, I have some stuff I which believe could be discussed though I would have to take some time to collate my thoughts.
---
### Author:  [@markhermeling](https://forum.ada-lang.io/u/markhermeling)
#### Post date: [September 15, 2026, 6:21pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/7 "2026-09-15T18:21:49Z")
The recording is now live, link is below. Note that there is a playlist of all previous sessions here: [https://www.youtube.com/playlist?list=PLUyHH211jYhg](https://www.youtube.com/playlist?list=PLUyHH211jYhg)
Link:
[ ](https://www.youtube.com/watch?v=3HmOPomVxrc)
Summary:
Flare language extensions and AI integration discussion with asynchronous runtime presentation.
**Introductions**
- Participant 5 introduced their history with Rust and current work developing a formally proven Spark async runtime.
- Participant 6 identified as an Ada Core customer with 30-plus years of experience.
**Flare Extension Framework**
- Participant 2 and Participant 1 defined “Flare” as an RFC-driven project for post-2022 Ada and Spark extensions to improve safety and ease of use.
- Flare extensions will be open-source, backwards compatible, and configurable via compiler flags.
- The team clarified that while Flare covers both Ada and Spark, some new features may not translate to the restrictive Spark subset.
- Proposed syntax changes include “finally” blocks, record aggregates, and improved loop control flow.
**GNAT Foundry Intersection AI Demo**
- Participant 2 introduced an upcoming open-source demonstrator showcasing AI-driven development with deterministic verification boundaries.
- The demo features full traceability from Concept of Operations to high-level requirements, code, and tests.
- The framework incorporates non-AI deterministic tools to verify that AI-generated artifacts meet safety requirements.
- The system requires an LLM to execute modifications and generates formal verification reports.
**Async Runtime Development**
- Participant 5 demonstrated a Spark-proven async runtime inspired by Tokio, utilizing IOuring for Linux-based async syscalls.
- The architecture uses fixed thread shards to maintain compatibility with Spark constraints, avoiding dynamic task spawning.
- Participant 5 noted the challenge of maintaining formal proofs when interfacing with assembly and C-level code.
- Participant 1 recommended reviewing Participant 7’s work-stealing implementation and Participant 8’s “Concurrent and Realtime Programming in Ada” for architectural best practices.
**Implementation of stackful coroutines in Spark**
- Participant 5 implemented stackful coroutines in Spark using assembly.
- Discussion highlighted fundamental architecture differences between Rust’s state machine-based await execution and Ada’s tasking models.
- The current codebase supports Windows systems utilizing IOCP.
**Project licensing and access**
- The codebase remains private due to significant AI-generated content.
- Participant 5 offered access to the repository for interested developers via the community forum.
**Language evolution and tasking support**
- Limitations in Spark tasking stem from proof technology and engineering capacity constraints.
- Participant 3 recommended directing coroutine or await keyword proposals to the Ada Rapporteur Group.
---
### Author:  [@bladeacer](https://forum.ada-lang.io/u/bladeacer)
#### Post date: [September 25, 2026, 7:02am UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/8 "2026-09-25T07:02:51Z")
Is there no Office Hours today?
---
### Author:  [@markhermeling](https://forum.ada-lang.io/u/markhermeling)
#### Post date: [September 25, 2026, 9:58am UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/9 "2026-09-25T09:58:40Z")
There will be! Will put the post up shortly.
---
### Author:  [@kevlar700](https://forum.ada-lang.io/u/kevlar700)
#### Post date: [September 29, 2026, 4:55pm UTC](https://forum.ada-lang.io/t/ada-spark-office-hours-2026-09-11/4722/10 "2026-09-29T16:55:05Z")
Finally was mentioned. Does that mean it will be switched from experimental to curated soon?