|
After cormick's book on spark
|
|
1
|
64
|
December 14, 2024
|
|
2024 Day 10: Hoof It
|
|
3
|
42
|
December 14, 2024
|
|
Safety of returning an array with Address elsewhere
|
|
26
|
159
|
December 14, 2024
|
|
Moving a record to private
|
|
7
|
74
|
December 13, 2024
|
|
Shifts of modular type 2**K
|
|
8
|
65
|
December 13, 2024
|
|
Learning about SPARK dependency contracts
|
|
15
|
203
|
December 12, 2024
|
|
[AdaCL] GetOpt updated to wide string support
|
|
5
|
66
|
December 12, 2024
|
|
Is "The ADA Programming Language: A Guide for Programmers" by Ian Pyle a good tool for me?
|
|
7
|
64
|
December 12, 2024
|
|
Modular arithmetic on arbitrary array bounds
|
|
14
|
96
|
December 11, 2024
|
|
Alire: d3d12.dll missing on this computer
|
|
11
|
90
|
December 11, 2024
|
|
2024 Day 8: Resonant Collinearity
|
|
5
|
87
|
December 11, 2024
|
|
2024 Day 7: Bridge Repair
|
|
9
|
97
|
December 11, 2024
|
|
Loop invariant and what the prover understands
|
|
9
|
120
|
December 10, 2024
|
|
2024 Day 9: Disk Fragmenter
|
|
1
|
35
|
December 10, 2024
|
|
Type/Subprogram Interpretation Question
|
|
5
|
229
|
December 10, 2024
|
|
[AdaCL] AUnit tests with Parameters
|
|
0
|
35
|
December 10, 2024
|
|
Happy birthday, Lady Ada
|
|
0
|
51
|
December 10, 2024
|
|
2024 Day 6: Guard Gallivant
|
|
3
|
72
|
December 10, 2024
|
|
[Reminder] The PragmAda Reusable Components
|
|
8
|
116
|
December 9, 2024
|
|
[AdaCL] Improved Asserts for AUnit
|
|
1
|
49
|
December 9, 2024
|
|
2024 Day 1: Historian Hysteria
|
|
15
|
207
|
December 9, 2024
|
|
Jinja2 template parser library
|
|
7
|
178
|
December 9, 2024
|
|
2024 Day 5: Print Queue
|
|
5
|
81
|
December 9, 2024
|
|
Regression in gnat 14?
|
|
15
|
363
|
December 9, 2024
|
|
Building gnat-llvm
|
|
5
|
234
|
December 7, 2024
|
|
Where is Sparklib?
|
|
10
|
615
|
December 7, 2024
|
|
Ada Monthly Meetup, 7th December 2024
|
|
10
|
286
|
December 7, 2024
|
|
Current state of SDLADA? Would like to get Rosetta Code Task Archimedean spiral working on MacOS arm64
|
|
44
|
224
|
December 7, 2024
|
|
I'm giving an online intro to Ada 12/4/2024 7PM Eastern Standard time (New York Time)
|
|
8
|
126
|
December 6, 2024
|
|
2024 Day 3: Mull It Over
|
|
14
|
126
|
December 6, 2024
|