DragonSpiritWTP

3 ms·

1. 1.▲
   Rust Is Memory Safe, but Logic Bugs Still Occur - SPARK Ada Can Help

   8 points by DragonSpiritWTP 11mo ago|2 comments
2. 2.▲
   by DragonSpiritWTP 1y ago

   They use the SPARK subset of Ada to develop the most critical parts of their DriveOS. This contributed to their success of getting DriveOS certified at the highest automotive safety standard, ASIL-D. https://www.eenewseurope.com&
3. 3.▲
   Ada Continues to Climb in June Tiobe Index and PYPL(forum.ada-lang.io)

   68 points by DragonSpiritWTP 1y ago|45 comments
4. 4.▲
   Free online participation in the Ada Developers Workshop, June 13th(forum.ada-lang.io)

   8 points by DragonSpiritWTP 1y ago|0 comments
5. 5.▲
   Nvidia drives Ada and SPARK into driverless cars(eenewseurope.com)

   5 points by DragonSpiritWTP 1y ago|2 comments
6. 6.▲
   by DragonSpiritWTP 1y ago

   This is a great article that highlights various virtues of developing with Ada and SPARK that contributed to NVIDIA's recent achievement of certifying their DriveOS automotive operating system to the _highest_ automotive level of safet