| | Using pragma Shared_Passive for data persistence in Ada (adacore.com) |
| 5 points by ajdude 48 days ago | past |
|
| | Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover (adacore.com) |
| 1 point by andsoitis 49 days ago | past |
|
| | CuBit: A General-Purpose Operating System in SPARK/ Ada (adacore.com) |
| 4 points by andsoitis 62 days ago | past |
|
| | Nvdia using SPARK for safety-critical firmware (adacore.com) |
| 3 points by c2the3rd 63 days ago | past |
|
| | AdaCore and CodeSecure Merge (adacore.com) |
| 1 point by ajdude 64 days ago | past |
|
| | Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover (adacore.com) |
| 1 point by ajdude 66 days ago | past |
|
| | Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com) |
| 116 points by gneuromante 78 days ago | past | 111 comments |
|
| | Building a Virtual Mars Rover with Spark and Rust (adacore.com) |
| 2 points by gsky 87 days ago | past |
|
| | AdaCore and Lynx Software Technologies Reaffirm Partnership (adacore.com) |
| 1 point by Tomte 3 months ago | past |
|
| | Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com) |
| 8 points by amai 3 months ago | past |
|
| | Let's play '7 differences in Ada' (adacore.com) |
| 2 points by Tomte 4 months ago | past |
|
| | Ada is back in the Tiobe Index top (adacore.com) |
| 4 points by Tomte 4 months ago | past | 2 comments |
|
| | Ada in Practice, a New Learn Course (adacore.com) |
| 5 points by Tomte 5 months ago | past |
|
| | Learning Ada with Raytraced Teapots (adacore.com) |
| 2 points by andsoitis 5 months ago | past |
|
| | Open-Source Ada: From Gateware to Application (adacore.com) |
| 2 points by pjmlp 5 months ago | past |
|
| | A new math library for Ada: Neo.SIMD (adacore.com) |
| 9 points by exitcode0000 6 months ago | past | 1 comment |
|
| | Open-Source Ada: From Gateware to Application (adacore.com) |
| 5 points by olivier_henley 6 months ago | past | 1 comment |
|
| | Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com) |
| 1 point by ksec 6 months ago | past |
|
| | Nvidia Security Team: “What if we just stopped using C?” (2022) (adacore.com) |
| 306 points by transpute 6 months ago | past | 179 comments |
|
| | Ada crate of the year 2024 announced (adacore.com) |
| 106 points by LionelDraghi 6 months ago | past | 65 comments |
|
| | Ada Gems (2014) (adacore.com) |
| 59 points by Tomte 6 months ago | past | 9 comments |
|
| | CuBit: A General-Purpose Operating System in SPARK/ Ada (2020) (adacore.com) |
| 11 points by kennysoona 6 months ago | past | 3 comments |
|
| | Ada Crate of the Year, 2024 (adacore.com) |
| 7 points by LionelDraghi 6 months ago | past |
|
| | An Introduction to Jorvik, the New Tasking Profile (2021) (adacore.com) |
| 2 points by Tomte 6 months ago | past |
|
| | Going Beyond Ada 2022 (adacore.com) |
| 8 points by fanf2 6 months ago | past | 1 comment |
|
| | Ada for the C++ or Java Developer – Concurrency (adacore.com) |
| 10 points by LiamPowell 7 months ago | past | 4 comments |
|
| | Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com) |
| 4 points by ajdude 10 months ago | past |
|
| | Ada Bindings for Raylib (adacore.com) |
| 3 points by FabienC 11 months ago | past |
|
| | AdaCore Join Rust Enthusiasts in Paris (adacore.com) |
| 1 point by ajdude 12 months ago | past |
|
| | An introduction to Jorvik, Ada's new tasking profile (adacore.com) |
| 4 points by fanf2 on July 8, 2024 | past |
|
|
| More |
