| | Adding Ada to Rust (adacore.com) |
| 2 points by belter on Oct 27, 2022 | past |
|
| | Adding Ada to Rust (adacore.com) |
| 1 point by synack on Oct 25, 2022 | past |
|
| | Dynamic Memory Management in Critical Embedded Software [pdf] (adacore.com) |
| 2 points by synack on July 15, 2022 | past |
|
| | I can’t believe that I can prove that it can sort (adacore.com) |
| 270 points by Raphael_Amiard on July 4, 2022 | past | 113 comments |
|
| | Ada/Spark Crate of the Year 2022 Contest (adacore.com) |
| 1 point by pyjarrett on July 2, 2022 | past |
|
| | I can’t believe that I can prove that it can sort (adacore.com) |
| 2 points by Jtsummers on July 1, 2022 | past |
|
| | What's New in Ada 2022 (adacore.com) |
| 175 points by skibz on June 20, 2022 | past | 41 comments |
|
| | A New Era for Ada/Spark Open Source Community (adacore.com) |
| 24 points by synack on June 2, 2022 | past | 1 comment |
|
| | Ada-Motorcontrol: Ada Brushless Motor Controller on STM32 (adacore.com) |
| 2 points by DriftRegion on June 1, 2022 | past |
|
| | What's New in Ada 2022 (adacore.com) |
| 2 points by pjmlp on April 2, 2022 | past |
|
| | What's New in Ada 2022 (adacore.com) |
| 4 points by Jtsummers on March 31, 2022 | past |
|
| | Updates to Learn Ada Website (adacore.com) |
| 7 points by gusthoff on March 30, 2022 | past |
|
| | Announcing updates to Learn Ada website (adacore.com) |
| 2 points by gusthoff on March 26, 2022 | past |
|
| | Spark 2014 – Expanding the boundaries of safe and secure programming (adacore.com) |
| 2 points by Tomte on March 22, 2022 | past |
|
| | Quite Proved Image Format (adacore.com) |
| 4 points by synack on March 10, 2022 | past |
|
| | Proving the Correctness of GNAT Light Runtime (adacore.com) |
| 75 points by rbanffy on Feb 18, 2022 | past | 8 comments |
|
| | AdaCore and Ferrous Systems Joining Forces to Support Rust (adacore.com) |
| 357 points by Argorak on Feb 2, 2022 | past | 100 comments |
|
| | Ada/Spark Crate of the Year 2021 Winners Announced (adacore.com) |
| 8 points by pyjarrett on Jan 28, 2022 | past |
|
| | Proving properties of constant-time crypto code in SPARKNaCl (Ada) (2020) (adacore.com) |
| 10 points by johnisgood on Dec 14, 2021 | past |
|
| | Enhancing the Security of a TCP Stack with Spark (adacore.com) |
| 1 point by okl on Nov 12, 2021 | past |
|
| | Starting micro-controller Ada drivers in the Alire ecosystem (adacore.com) |
| 2 points by okl on Nov 11, 2021 | past |
|
| | Ada on any ARM Cortex-M device, in just a couple minutes (adacore.com) |
| 73 points by okl on Nov 11, 2021 | past | 25 comments |
|
| | An Embedded USB Device Stack in Ada (adacore.com) |
| 69 points by todsacerdoti on Nov 4, 2021 | past | 6 comments |
|
| | Masten Space Systems is using Ada and Spark to land on the Moon's south pole [pdf] (adacore.com) |
| 88 points by MaxBarraclough on Sept 30, 2021 | past | 52 comments |
|
| | When the RISC-V ISA Is the Weakest Link (adacore.com) |
| 4 points by todsacerdoti on Sept 2, 2021 | past |
|
| | About Spark 2014 (adacore.com) |
| 3 points by Tomte on July 15, 2021 | past |
|
| | The First Ada/SPARK Crate of the Year Award (adacore.com) |
| 7 points by synack on June 28, 2021 | past |
|
| | SPARKNaCl with Gnat and Spark Community 2021: Port, Proof and Performance (adacore.com) |
| 1 point by Jtsummers on June 25, 2021 | past |
|
| | SPARK Ada for the Misra C Developer (adacore.com) |
| 2 points by Jtsummers on June 23, 2021 | past | 1 comment |
|
| | Going Beyond Ada 2022 (adacore.com) |
| 123 points by pjmlp on June 21, 2021 | past | 67 comments |
|
|
| More |
