Hackernews posts about AdaCore

1. AdaCore and Lynx Software Technologies Reaffirm Partnership (blog.adacore.com)
   1 points by Tomte 26 days ago | discuss
2. Ada and SPARK enter the automotive ISO-26262 market with Nvidia (www.adacore.com)
   112 points by gneuromante 4 days ago | 108 comments
3. Building a Virtual Mars Rover with Spark and Rust (blog.adacore.com)
   2 points by gsky 13 days ago | discuss
4. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   114 points by pjmlp over 1 year ago | 48 comments
5. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   5 points by LiamPowell 12 months ago | 2 comments
6. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   4 points by conradludgate almost 2 years ago | 4 comments
7. Identifying and Authorizing Users at AdaCore (blog.adacore.com)
   4 points by nikokrock over 1 year ago | discuss
8. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   3 points by Tomte over 1 year ago | discuss
9. Updates to Learn.adacore.com (blog.adacore.com)
   3 points by jaypatelani over 1 year ago | discuss
10. Trying to make a startup and frustrated with AdaCore (old.reddit.com)
    2 points by throwaway19091p 9 months ago | discuss
11. AdaCore Join Rust Enthusiasts in Paris (blog.adacore.com)
    1 points by ajdude 10 months ago | discuss
12. Nvidia Security Team: “What if we just stopped using C?” (2022) (blog.adacore.com)
    306 points by transpute 4 months ago | 179 comments
13. Ada crate of the year 2024 announced (blog.adacore.com)
    106 points by LionelDraghi 4 months ago | 65 comments
14. Ada Gems (2014) (www.adacore.com)
    59 points by Tomte 4 months ago | 9 comments
15. CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (2020) (blog.adacore.com)
    11 points by kennysoona 4 months ago | 3 comments
16. Ada for the C++ or Java Developer – Concurrency (learn.adacore.com)
    10 points by LiamPowell 5 months ago | 4 comments
17. A new math library for Ada: Neo.SIMD (blog.adacore.com)
    9 points by exitcode0000 4 months ago | 1 comments
18. Going Beyond Ada 2022 (blog.adacore.com)
    8 points by fanf2 4 months ago | 1 comments
19. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    8 points by amai about 1 month ago | discuss
20. Ada Crate of the Year, 2024 (blog.adacore.com)
    7 points by LionelDraghi 4 months ago | discuss
21. Open-Source Ada: From Gateware to Application (blog.adacore.com)
    5 points by olivier_henley 4 months ago | 1 comments
22. Ada in Practice, a New Learn Course (blog.adacore.com)
    5 points by Tomte 3 months ago | discuss
23. Ada is back in the Tiobe Index top (blog.adacore.com)
    4 points by Tomte 2 months ago | 2 comments
24. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    4 points by ajdude 8 months ago | discuss
25. An introduction to Jorvik, Ada's new tasking profile (blog.adacore.com)
    4 points by fanf2 11 months ago | discuss
26. Ada Bindings for Raylib (blog.adacore.com)
    3 points by FabienC 9 months ago | discuss
27. Gnat Static Analysis Suite: A Vision for Static Analysis in Ada (blog.adacore.com)
    3 points by ajdude over 1 year ago | discuss
28. Designing a WebAssembly Toolchain for Ada/Spark (blog.adacore.com)
    3 points by andsoitis over 1 year ago | discuss
29. Let's play '7 differences in Ada' (blog.adacore.com)
    2 points by Tomte about 2 months ago | discuss
30. Learning Ada with Raytraced Teapots (blog.adacore.com)
    2 points by andsoitis 3 months ago | discuss
31. Open-Source Ada: From Gateware to Application (blog.adacore.com)
    2 points by pjmlp 3 months ago | discuss
32. An Introduction to Jorvik, the New Tasking Profile (2021) (blog.adacore.com)
    2 points by Tomte 4 months ago | discuss
33. Ada Programming like it's 1985 (blog.adacore.com)
    2 points by pjmlp about 1 year ago | discuss