"Subtype Predicates, or Why Was I Not Imformed?", a Drama in Two Acts
|
|
11
|
285
|
January 25, 2024
|
What is a "name" in Ada?
|
|
6
|
280
|
January 23, 2024
|
Perplexion with Reduction expressions
|
|
8
|
269
|
January 22, 2024
|
Ada/SPARK Industrial Automation?
|
|
11
|
355
|
January 22, 2024
|
Alr get gnatdoc missing external for libgmp
|
|
3
|
177
|
January 20, 2024
|
2023 Crate of the Year Awards!
|
|
26
|
1057
|
January 14, 2024
|
LearnXinY for Ada
|
|
7
|
291
|
January 13, 2024
|
Irenic language comparisons and questions: Ada and Rust; AoC 2023 Day 13
|
|
10
|
346
|
January 7, 2024
|
How to link specific C language headers
|
|
5
|
180
|
January 7, 2024
|
Looking for Ada Programmers to hire
|
|
14
|
881
|
January 7, 2024
|
Learn.adacore.com is great
|
|
1
|
209
|
January 6, 2024
|
Learning resources
|
|
9
|
398
|
January 3, 2024
|
Usinging alire installs outside of alire?
|
|
10
|
257
|
January 3, 2024
|
How does one override an operation with classwide types?
|
|
0
|
770
|
December 28, 2023
|
-fstack-check undefined reference to __gnat_stack_check
|
|
4
|
291
|
December 23, 2023
|
Question about vector initialization
|
|
8
|
392
|
December 21, 2023
|
Does the latest version of gcc fully support Ada 2022?
|
|
2
|
359
|
December 21, 2023
|
Exceptional_Cases aspect
|
|
1
|
161
|
December 19, 2023
|
Ada package for dates prior to 1900?
|
|
4
|
198
|
December 19, 2023
|
Ada advocacy — Ada promoting missions — any proposals?
|
|
46
|
1589
|
December 16, 2023
|
VSCode + GtkAda problem
|
|
5
|
238
|
December 13, 2023
|
Possible compiler bug?
|
|
9
|
343
|
December 11, 2023
|
Birthday of Lady Ada Lovelace
|
|
2
|
183
|
December 10, 2023
|
AArch64 cross toolchain
|
|
1
|
661
|
December 9, 2023
|
Ada support for Gentoo
|
|
3
|
319
|
December 9, 2023
|
Recommended unit testing setup
|
|
1
|
256
|
December 9, 2023
|
Is there a good way to handle exceptioins in the declarative region of a function
|
|
5
|
216
|
December 8, 2023
|
Volatile records containing an array
|
|
1
|
179
|
December 5, 2023
|
AdaCV - OpenCV but Ada
|
|
6
|
302
|
December 3, 2023
|
Elaboration circularity detected
|
|
6
|
202
|
November 30, 2023
|