| | Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com) |
|
4 points by ajdude 44 days ago | past
|
|
| | Ada Bindings for Raylib (adacore.com) |
|
3 points by FabienC 55 days ago | past
|
|
| | AdaCore Join Rust Enthusiasts in Paris (adacore.com) |
|
1 point by ajdude 80 days ago | past
|
|
| | An introduction to Jorvik, Ada's new tasking profile (adacore.com) |
|
4 points by fanf2 4 months ago | past
|
|
| | AdaCore Enhances GCC Security with Innovative Features (adacore.com) |
|
5 points by LiamPowell 4 months ago | past | 2 comments
|
|
| | A Fresh Take on Do-178C Software Reviews (adacore.com) |
|
1 point by synack 6 months ago | past
|
|
| | Ada Programming like it's 1985 (adacore.com) |
|
2 points by pjmlp 7 months ago | past
|
|
| | Gnat Static Analysis Suite: A Vision for Static Analysis in Ada (adacore.com) |
|
3 points by ajdude 9 months ago | past
|
|
| | AdaCore Enhances GCC Security with Innovative Features (adacore.com) |
|
3 points by Tomte 9 months ago | past
|
|
| | Updates to Learn.adacore.com (adacore.com) |
|
3 points by jaypatelani 10 months ago | past
|
|
| | Designing a WebAssembly Toolchain for Ada/Spark (adacore.com) |
|
3 points by andsoitis 11 months ago | 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
|
|
|
|
More |
