| | An introduction to Jorvik, Ada's new tasking profile (adacore.com) |
| 4 points by fanf2 on July 8, 2024 | past |
|
| | AdaCore Enhances GCC Security with Innovative Features (adacore.com) |
| 5 points by LiamPowell on June 27, 2024 | past | 2 comments |
|
| | A Fresh Take on Do-178C Software Reviews (adacore.com) |
| 1 point by synack on April 16, 2024 | past |
|
| | Ada Programming like it's 1985 (adacore.com) |
| 2 points by pjmlp on April 10, 2024 | past |
|
| | Gnat Static Analysis Suite: A Vision for Static Analysis in Ada (adacore.com) |
| 3 points by ajdude on Feb 3, 2024 | past |
|
| | AdaCore Enhances GCC Security with Innovative Features (adacore.com) |
| 3 points by Tomte on Jan 25, 2024 | past |
|
| | Updates to Learn.adacore.com (adacore.com) |
| 3 points by jaypatelani on Jan 13, 2024 | past |
|
| | Designing a WebAssembly Toolchain for Ada/Spark (adacore.com) |
| 3 points by andsoitis on Dec 11, 2023 | past |
|
| | From Ada to Platinum Spark: A Case Study for Reusable Bounded Stacks (adacore.com) |
| 1 point by lemper on Oct 30, 2023 | past |
|
| | A little bit of Photoshop using GNAT for CUDA (adacore.com) |
| 1 point by rbanffy on Oct 26, 2023 | past |
|
| | Identifying and Authorizing Users at AdaCore (adacore.com) |
| 4 points by nikokrock on Oct 16, 2023 | past |
|
| | AdaCore Announces Gnat Pro for Rust (adacore.com) |
| 114 points by pjmlp on Sept 30, 2023 | past | 48 comments |
|
| | AdaCore Announces Gnat Pro for Rust (adacore.com) |
| 4 points by conradludgate on Sept 2, 2023 | past | 4 comments |
|
| | GNAT Pro Roadmap (adacore.com) |
| 2 points by synack on July 7, 2023 | past |
|
| | Reducing Ada code bases with adareducer (adacore.com) |
| 8 points by rbanffy on April 25, 2023 | past |
|
| | RecordFlux: Addressing binary protocol parser vulnerabilities (adacore.com) |
| 50 points by synack on April 2, 2023 | past | 2 comments |
|
| | RecordFlux: addressing binary protocol parser vulnerabilities (adacore.com) |
| 3 points by synack on March 28, 2023 | past | 1 comment |
|
| | Introduction to VSS Library (adacore.com) |
| 16 points by jayp1418 on March 24, 2023 | past | 2 comments |
|
| | AdaCore Joins the Rust Foundation (adacore.com) |
| 4 points by ajdude on Feb 9, 2023 | past | 1 comment |
|
| | A Comparison of SPARK with MISRA C and Frama-C [pdf] (adacore.com) |
| 2 points by todsacerdoti on Jan 11, 2023 | past |
|
| | Coroutines in Ada, a Clean but Heavy Implementation (adacore.com) |
| 1 point by ajdude on Dec 7, 2022 | past |
|
| | Introduction to Embedded Systems Programming (Ada) (adacore.com) |
| 135 points by gusthoff on Nov 21, 2022 | past | 19 comments |
|
| | Nvidia Security Team: “What if we just stopped using C?” (adacore.com) |
| 257 points by q-big on Nov 7, 2022 | past | 362 comments |
|
| | 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 |
|
|
| More |
