|
Welcome to the Ada forum
|
|
2
|
207
|
September 28, 2022
|
|
2022 Day 4: Camp Cleanup
|
|
10
|
55
|
December 4, 2022
|
|
Advent of Ada Submissions
|
|
75
|
528
|
December 4, 2022
|
|
2022 Day 3: Rucksack Reorganization
|
|
5
|
75
|
December 4, 2022
|
|
Some help with Spark & Floating Point Overflow
|
|
0
|
50
|
December 3, 2022
|
|
2022 Day 2: Rock Paper Scissors
|
|
8
|
110
|
December 3, 2022
|
|
2022 Day 1: Calorie Counting
|
|
22
|
184
|
December 2, 2022
|
|
Gnat Studio, SPARK and -XMODE
|
|
0
|
52
|
December 2, 2022
|
|
Did you know there are Easter Eggs?
|
|
0
|
88
|
December 2, 2022
|
|
Database library
|
|
12
|
167
|
December 1, 2022
|
|
Where are the Ada gigs these days? (worldwide)
|
|
3
|
199
|
November 30, 2022
|
|
Debian Ada package removals
|
|
2
|
174
|
November 30, 2022
|
|
The new GNATdoc is available, let's create a `docs.ada.dev` website (mabye?)
|
|
15
|
293
|
November 24, 2022
|
|
What's the state of Ada's LLVM compiler?
|
|
9
|
379
|
November 20, 2022
|
|
Ada advocacy — Ada promoting missions — any proposals?
|
|
26
|
498
|
November 19, 2022
|
|
Is this a gnat bug? I think so possibly
|
|
5
|
112
|
November 18, 2022
|
|
Compilers other than GNAT?
|
|
29
|
477
|
November 18, 2022
|
|
IDE, your alternative to gnatstudio?
|
|
17
|
412
|
November 17, 2022
|
|
Gnat Studio highlight occurences
|
|
0
|
97
|
November 15, 2022
|
|
Ada/SPARK support for Emacs org-babel
|
|
0
|
216
|
November 16, 2022
|
|
Unusual hardware register behavior
|
|
5
|
148
|
November 16, 2022
|
|
Gnu Emacs Ada mode 8.0 beta released
|
|
0
|
105
|
November 9, 2022
|
|
[Ada FOSDEM] No Ada DevRoom for 2023, alternative rooms and Ada-Europe support
|
|
1
|
129
|
November 9, 2022
|
|
Get Ada Compiler and Tools to be donated to an Independent Foundation
|
|
6
|
249
|
November 5, 2022
|
|
Favourite books about Ada/Spark
|
|
5
|
211
|
October 26, 2022
|
|
How are you using Ada, and how would you like to use Ada?
|
|
31
|
384
|
October 22, 2022
|
|
Unicode strings
|
|
13
|
271
|
October 18, 2022
|
|
UX/UI suggestion for ada-lang.io
|
|
4
|
189
|
October 17, 2022
|
|
Right way to pass arrays to interface with C
|
|
6
|
137
|
October 16, 2022
|
|
SPARK: Discharge verification conditions (VC) with Coq?
|
|
3
|
122
|
October 15, 2022
|