|
Subtypes are not visible when limited with'd?
|
|
10
|
112
|
February 4, 2026
|
|
Ada 2022 Related Cheat Sheets
|
|
3
|
100
|
February 4, 2026
|
|
Found compiler bug(?) with 3 or more Duration factors
|
|
3
|
91
|
February 2, 2026
|
|
It wasn't encouraging (re UTF8)
|
|
3
|
121
|
February 2, 2026
|
|
Source for the Ada- Compiler
|
|
26
|
496
|
January 30, 2026
|
|
Problem with installing Gtkada or gcc or or code Hello World Gtkada?
|
|
13
|
243
|
January 28, 2026
|
|
Can imported C enums be resized?
|
|
8
|
127
|
January 27, 2026
|
|
Simon J Wright - RIP
|
|
30
|
1670
|
January 27, 2026
|
|
Use of Ada in HW verification: a new opportunity to save the world
|
|
47
|
1024
|
January 26, 2026
|
|
No 'Truncation attribute for fixed points types
|
|
35
|
529
|
January 26, 2026
|
|
SPARK_Mode does not like Indefinite_Holders?
|
|
2
|
100
|
January 24, 2026
|
|
Has 2025 been a good year for Ada?
|
|
1
|
181
|
January 24, 2026
|
|
The future of PolyORB and the DSA
|
|
27
|
535
|
January 24, 2026
|
|
New How-to in Ada-Lang: creating a plugin system
|
|
7
|
182
|
January 23, 2026
|
|
SPARK Verified Postfix Expression Calculator
|
|
8
|
380
|
January 21, 2026
|
|
ANN: Arch linux ~ Breakage of gnatstudio package and new alternative
|
|
7
|
111
|
January 20, 2026
|
|
Setting up database as complete beginner
|
|
20
|
182
|
January 20, 2026
|
|
Alire GTKAda build fails to run due to duplicate LC_RPATH error
|
|
3
|
134
|
January 18, 2026
|
|
Ada/SPARK, marketing, reach and the abysmal state of things
|
|
22
|
1018
|
January 18, 2026
|
|
Can someone test this short code (compiler error?)
|
|
6
|
145
|
January 17, 2026
|
|
Looking for HTML / CSS Ada decoder / encoder
|
|
9
|
171
|
January 15, 2026
|
|
Memory mapped record object issue
|
|
14
|
226
|
January 15, 2026
|
|
Writing a Forth-Like
|
|
0
|
114
|
January 15, 2026
|
|
Feedback? A WIP "fun" presentation of Ada
|
|
18
|
296
|
January 11, 2026
|
|
Starting Ada - It has to work
|
|
56
|
2993
|
January 10, 2026
|
|
Division by Zero on Float types
|
|
3
|
179
|
January 9, 2026
|
|
Just a thought: Ada should be perfect for vibe coding
|
|
10
|
256
|
January 8, 2026
|
|
Installed gnatformat via alire on Windows and it does... nothing
|
|
19
|
223
|
January 7, 2026
|
|
Is there anything for Alire to take from this?
|
|
1
|
105
|
January 6, 2026
|
|
What is the PATH for the ada_language_server binary in FreeBSD?
|
|
5
|
118
|
January 5, 2026
|