Article: NVIDIA drives Ada and SPARK into driverless cars
|
|
0
|
287
|
June 6, 2025
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
1
|
144
|
June 4, 2025
|
Implementation of generic units in Ada 83
|
|
32
|
612
|
June 4, 2025
|
Getting Started with ncurses ada
|
|
7
|
201
|
June 4, 2025
|
How to locate waste of CPU?
|
|
16
|
243
|
June 4, 2025
|
Generics and compilation time
|
|
14
|
220
|
June 4, 2025
|
Assigning to Array Index Doesn't Guarantee Equality Check in Spark
|
|
5
|
131
|
June 3, 2025
|
REMINDER: Free online participation in the Ada Developers Workshop, June 13th
|
|
1
|
271
|
June 3, 2025
|
Choice_simple_expression and tested_simple_expression
|
|
3
|
58
|
June 1, 2025
|
Globe_3d 2025-04-18
|
|
6
|
185
|
June 1, 2025
|
I added a couple of AdaCore repos to Deepwiki
|
|
0
|
90
|
June 1, 2025
|
New 0.7.0 Release of Ironclad kernel
|
|
0
|
103
|
May 31, 2025
|
A New SPARK Webinar In June from AdaCore
|
|
0
|
68
|
May 31, 2025
|
ObjectAda 10.6 Released
|
|
2
|
227
|
May 30, 2025
|
How "safe" is Ada?
|
|
3
|
185
|
May 30, 2025
|
Help making SPARK-compatible function that mutates arguments and returns variant record
|
|
12
|
236
|
May 30, 2025
|
STM32F746 ada-enet
|
|
3
|
185
|
May 29, 2025
|
Implementing multiple dispatch
|
|
7
|
122
|
May 29, 2025
|
Newbie question: type qualification vs. conversion
|
|
2
|
87
|
May 28, 2025
|
Very confusing example in Function Calls (LearnAda)
|
|
25
|
286
|
May 27, 2025
|
Procedure ran in Spark?
|
|
6
|
132
|
May 26, 2025
|
GNATStudio and run/debug root privileges on Linux
|
|
5
|
142
|
May 26, 2025
|
`alr with wolfssl` does not work?
|
|
2
|
77
|
May 26, 2025
|
AEiC 2025 - Ada-Europe conference - early registration deadline imminent
|
|
0
|
44
|
May 24, 2025
|
Ada's current status
|
|
4
|
217
|
May 23, 2025
|
Ada Continues To Climb In May TIOBE Index
|
|
15
|
395
|
May 22, 2025
|
Ada Developers: How Do You Find Opportunities?
|
|
8
|
290
|
May 21, 2025
|
CoAP-SPARK 0.9.0 released
|
|
2
|
87
|
May 21, 2025
|
Ada environment
|
|
13
|
234
|
May 20, 2025
|
Are Spark pre condition results usually warnings?
|
|
7
|
117
|
May 20, 2025
|