| | Let's play '7 differences in Ada' (adacore.com) |
|
2 points by Tomte 12 hours ago | past | discuss
|
|
| | Ada is back in the Tiobe Index top (adacore.com) |
|
4 points by Tomte 15 days ago | past | 2 comments
|
|
| | Ada in Practice, a New Learn Course (adacore.com) |
|
5 points by Tomte 36 days ago | past
|
|
| | Learning Ada with Raytraced Teapots (adacore.com) |
|
2 points by andsoitis 38 days ago | past
|
|
| | Open-Source Ada: From Gateware to Application (adacore.com) |
|
2 points by pjmlp 51 days ago | past
|
|
| | A new math library for Ada: Neo.SIMD (adacore.com) |
|
9 points by exitcode0000 55 days ago | past | 1 comment
|
|
| | Open-Source Ada: From Gateware to Application (adacore.com) |
|
5 points by olivier_henley 65 days ago | past | 1 comment
|
|
| | Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com) |
|
1 point by ksec 66 days ago | past
|
|
| | Nvidia Security Team: “What if we just stopped using C?” (2022) (adacore.com) |
|
306 points by transpute 66 days ago | past | 179 comments
|
|
| | Ada crate of the year 2024 announced (adacore.com) |
|
106 points by LionelDraghi 66 days ago | past | 65 comments
|
|
| | Ada Gems (2014) (adacore.com) |
|
59 points by Tomte 67 days ago | past | 9 comments
|
|
| | CuBit: A General-Purpose Operating System in SPARK/ Ada (2020) (adacore.com) |
|
11 points by kennysoona 68 days ago | past | 3 comments
|
|
| | Ada Crate of the Year, 2024 (adacore.com) |
|
7 points by LionelDraghi 70 days ago | past
|
|
| | An Introduction to Jorvik, the New Tasking Profile (2021) (adacore.com) |
|
2 points by Tomte 70 days ago | past
|
|
| | Going Beyond Ada 2022 (adacore.com) |
|
8 points by fanf2 81 days ago | past | 1 comment
|
|
| | Ada for the C++ or Java Developer – Concurrency (adacore.com) |
|
10 points by LiamPowell 88 days ago | past | 4 comments
|
|
| | Should I choose Ada, SPARK, or Rust over C/C++? (adacore.com) |
|
4 points by ajdude 6 months ago | past
|
|
| | Ada Bindings for Raylib (adacore.com) |
|
3 points by FabienC 7 months ago | past
|
|
| | AdaCore Join Rust Enthusiasts in Paris (adacore.com) |
|
1 point by ajdude 7 months ago | past
|
|
| | An introduction to Jorvik, Ada's new tasking profile (adacore.com) |
|
4 points by fanf2 9 months ago | past
|
|
| | AdaCore Enhances GCC Security with Innovative Features (adacore.com) |
|
5 points by LiamPowell 9 months ago | 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
|
|
|
|
More |
