| | Rust Memory Management: The Playroom Analogy (adacore.com) |
| 1 point by andsoitis 1 hour ago | past | discuss |
|
| | How to Prove the Correctness of AI-Generated Code Using Formal Methods (adacore.com) |
| 1 point by andsoitis 1 hour ago | past | discuss |
|
| | Formal Methods Practice and Theory (adacore.com) |
| 1 point by andsoitis 1 hour ago | past | discuss |
|
| | Surprising Places Where Ada Is Used (adacore.com) |
| 3 points by GhosT078 32 days ago | past | 2 comments |
|
| | Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy (adacore.com) |
| 4 points by ajdude 3 months ago | past |
|
| | Open-Source Ada: From Gateware to Application (adacore.com) |
| 63 points by Bogdanp 3 months ago | past | 11 comments |
|
| | Should I choose Ada, SPARK, or Rust over C/C++? (2024) (adacore.com) |
| 111 points by 1vuio0pswjnm7 4 months ago | past | 166 comments |
|
| | Introduction to Ada: a project-based exploration with rosettas (adacore.com) |
| 194 points by jaypatelani 5 months ago | past | 51 comments |
|
| | Using pragma Shared_Passive for data persistence in Ada (adacore.com) |
| 5 points by ajdude 7 months ago | past |
|
| | Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover (adacore.com) |
| 1 point by andsoitis 7 months ago | past |
|
| | CuBit: A General-Purpose Operating System in SPARK/ Ada (adacore.com) |
| 4 points by andsoitis 7 months ago | past |
|
| | Nvdia using SPARK for safety-critical firmware (adacore.com) |
| 3 points by c2the3rd 7 months ago | past |
|
| | AdaCore and CodeSecure Merge (adacore.com) |
| 1 point by ajdude 7 months ago | past |
|
| | Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover (adacore.com) |
| 1 point by ajdude 7 months ago | past |
|
| | Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com) |
| 116 points by gneuromante 8 months ago | past | 111 comments |
|
| | Building a Virtual Mars Rover with Spark and Rust (adacore.com) |
| 2 points by gsky 8 months ago | past |
|
| | AdaCore and Lynx Software Technologies Reaffirm Partnership (adacore.com) |
| 1 point by Tomte 9 months ago | past |
|
| | Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com) |
| 8 points by amai 9 months ago | past |
|
| | Let's play '7 differences in Ada' (adacore.com) |
| 2 points by Tomte 9 months ago | past |
|
| | Ada is back in the Tiobe Index top (adacore.com) |
| 4 points by Tomte 10 months ago | past | 2 comments |
|
| | Ada in Practice, a New Learn Course (adacore.com) |
| 5 points by Tomte 11 months ago | past |
|
| | Learning Ada with Raytraced Teapots (adacore.com) |
| 2 points by andsoitis 11 months ago | past |
|
| | Open-Source Ada: From Gateware to Application (adacore.com) |
| 2 points by pjmlp 11 months ago | past |
|
| | A new math library for Ada: Neo.SIMD (adacore.com) |
| 9 points by exitcode0000 11 months ago | past | 1 comment |
|
| | Open-Source Ada: From Gateware to Application (adacore.com) |
| 5 points by olivier_henley 12 months ago | past | 1 comment |
|
| | Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com) |
| 1 point by ksec 12 months ago | past |
|
| | Nvidia Security Team: “What if we just stopped using C?” (2022) (adacore.com) |
| 306 points by transpute 12 months ago | past | 179 comments |
|
| | Ada crate of the year 2024 announced (adacore.com) |
| 106 points by LionelDraghi 12 months ago | past | 65 comments |
|
| | Ada Gems (2014) (adacore.com) |
| 59 points by Tomte on Feb 8, 2025 | past | 9 comments |
|
| | CuBit: A General-Purpose Operating System in SPARK/ Ada (2020) (adacore.com) |
| 11 points by kennysoona on Feb 8, 2025 | past | 3 comments |
|
|
| More |
