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