| | 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 |
|
| | Going Beyond Ada 2022 (adacore.com) |
| 11 points by todsacerdoti on June 3, 2021 | past |
|
| | Gnat 2021 GPL Community Edition Ada 202x compiler released (adacore.com) |
| 101 points by berkeleynerd on May 28, 2021 | past | 81 comments |
|
| | An Introduction to Jorvik, the New Tasking Profile in Ada 202x (adacore.com) |
| 2 points by MaxBarraclough on May 26, 2021 | past |
|
| | From Rust to Spark: Formally Proven Bip-Buffers (adacore.com) |
| 84 points by pjmlp on May 6, 2021 | past | 7 comments |
|
| | On the Benefits of Families (Entry Families) (adacore.com) |
| 1 point by todsacerdoti on April 29, 2021 | past |
|
| | SPARK Ada for the Misra C Developer (adacore.com) |
| 4 points by pjmlp on April 26, 2021 | past |
|
| | Ada for the C++ and Java Developer [pdf] (adacore.com) |
| 152 points by pjmlp on March 28, 2021 | past | 70 comments |
|
|
| More |
