|
Using Ada.Text_IO.Put_Line inside Ada function owned by C function?
|
|
3
|
94
|
December 14, 2025
|
|
Alire: Why does a crate's build config not get committed?
|
|
6
|
73
|
December 11, 2025
|
|
Congratulation on Your 210th Birthday, Lady Ada
|
|
1
|
59
|
December 10, 2025
|
|
[Reminder] The PragmAda Reusable Components
|
|
10
|
308
|
December 10, 2025
|
|
Do you use Artificial Intelligence for Ada coding?
|
|
6
|
156
|
December 10, 2025
|
|
Basic alire autocompletion script
|
|
4
|
96
|
December 9, 2025
|
|
Ada on the PYPL index
|
|
19
|
1391
|
December 8, 2025
|
|
Use of Ada in HW verification: a new opportunity to save the world
|
|
45
|
841
|
December 8, 2025
|
|
Comparing the development costs and other benefits of Ada or SPARK vs other languages
|
|
25
|
1596
|
December 8, 2025
|
|
-gnatRh flag failing
|
|
1
|
64
|
December 7, 2025
|
|
Searching a good Embedded Development Setup
|
|
6
|
247
|
December 7, 2025
|
|
[NEWS] Airbus A320 software update
|
|
10
|
340
|
December 7, 2025
|
|
I filed a gnat build bug on gentoo
|
|
0
|
55
|
December 6, 2025
|
|
Anybody tried OpenAI-API from Ada?
|
|
4
|
176
|
December 6, 2025
|
|
How does async/concurrency work in ADA compared to other languages?
|
|
14
|
475
|
December 5, 2025
|
|
Laurie Wired Video
|
|
4
|
177
|
December 4, 2025
|
|
How could this code raise a Constraint_Error at runtime?
|
|
16
|
212
|
December 4, 2025
|
|
Fixed Point Numbers
|
|
26
|
468
|
December 3, 2025
|
|
LLM generated code and utf-8 attacks
|
|
13
|
241
|
December 3, 2025
|
|
Interfacing Git
|
|
6
|
150
|
December 3, 2025
|
|
Is SPARK in ADA a theorem prover?
|
|
12
|
254
|
December 2, 2025
|
|
People might want to watch this
|
|
10
|
329
|
December 2, 2025
|
|
Advent of Code 2025 bonus
|
|
0
|
76
|
December 1, 2025
|
|
SPARK: Validate Float Type Implementation
|
|
9
|
139
|
December 1, 2025
|
|
Is there interest in prebuilt binaries for the gnat-llvm?
|
|
8
|
305
|
November 29, 2025
|
|
More Ada Jobs (Nov2025)
|
|
4
|
496
|
November 29, 2025
|
|
GNAT Studio Editor Performance Problems
|
|
3
|
100
|
November 27, 2025
|
|
Linux distribution for alire
|
|
20
|
397
|
November 27, 2025
|
|
GNAT toolchain now broken after OS upgrade to MacOS 26 (Tahoe), arm64
|
|
24
|
689
|
November 27, 2025
|
|
Configure toolchain per project in Alire
|
|
6
|
151
|
November 26, 2025
|