|
-gnatRh flag failing
|
|
1
|
64
|
December 7, 2025
|
|
Searching a good Embedded Development Setup
|
|
6
|
243
|
December 7, 2025
|
|
[NEWS] Airbus A320 software update
|
|
10
|
327
|
December 7, 2025
|
|
I filed a gnat build bug on gentoo
|
|
0
|
55
|
December 6, 2025
|
|
Anybody tried OpenAI-API from Ada?
|
|
4
|
174
|
December 6, 2025
|
|
How does async/concurrency work in ADA compared to other languages?
|
|
14
|
470
|
December 5, 2025
|
|
Laurie Wired Video
|
|
4
|
171
|
December 4, 2025
|
|
How could this code raise a Constraint_Error at runtime?
|
|
16
|
210
|
December 4, 2025
|
|
Fixed Point Numbers
|
|
26
|
458
|
December 3, 2025
|
|
LLM generated code and utf-8 attacks
|
|
13
|
237
|
December 3, 2025
|
|
Interfacing Git
|
|
6
|
146
|
December 3, 2025
|
|
Is SPARK in ADA a theorem prover?
|
|
12
|
242
|
December 2, 2025
|
|
People might want to watch this
|
|
10
|
323
|
December 2, 2025
|
|
Advent of Code 2025 bonus
|
|
0
|
74
|
December 1, 2025
|
|
SPARK: Validate Float Type Implementation
|
|
9
|
137
|
December 1, 2025
|
|
Is there interest in prebuilt binaries for the gnat-llvm?
|
|
8
|
293
|
November 29, 2025
|
|
More Ada Jobs (Nov2025)
|
|
4
|
489
|
November 29, 2025
|
|
GNAT Studio Editor Performance Problems
|
|
3
|
98
|
November 27, 2025
|
|
Linux distribution for alire
|
|
20
|
393
|
November 27, 2025
|
|
GNAT toolchain now broken after OS upgrade to MacOS 26 (Tahoe), arm64
|
|
24
|
672
|
November 27, 2025
|
|
Configure toolchain per project in Alire
|
|
6
|
148
|
November 26, 2025
|
|
Ada Drivers Library for STM32-F446RE
|
|
6
|
205
|
November 26, 2025
|
|
Looking for x11ada or alternative
|
|
11
|
196
|
November 25, 2025
|
|
SPARK formal containers -- cannot prove X < Y
|
|
1
|
117
|
November 24, 2025
|
|
Basic Question: Interfacing With C Arrays, Somewhat Tangental
|
|
3
|
155
|
November 24, 2025
|
|
Rust took out cloudflare
|
|
51
|
523
|
November 23, 2025
|
|
When using Alire to build a crate, how to pass parameters to pre build stages
|
|
2
|
110
|
November 22, 2025
|
|
Using SPARK (gnatprove) with preconditions
|
|
1
|
85
|
November 17, 2025
|
|
Warning: pragma Overflow_Mode in code is ignored
|
|
2
|
115
|
November 16, 2025
|
|
What's the best way to acheive this with alire?
|
|
2
|
102
|
November 15, 2025
|