Hackernews posts about AdaCore

1. Ada Lovelace and the Analytical Engine (blogs.bodleian.ox.ac.uk)
   5 points by jxmorris12 19 days ago | discuss
2. MVP Weekend (sfbaydev.notion.site)
   1 points by AdamNReese 26 days ago | discuss
3. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   114 points by pjmlp almost 2 years ago | 48 comments
4. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   5 points by LiamPowell about 1 year ago | 2 comments
5. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   4 points by conradludgate almost 2 years ago | 4 comments
6. Identifying and Authorizing Users at AdaCore (blog.adacore.com)
   4 points by nikokrock almost 2 years ago | discuss
7. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   3 points by Tomte over 1 year ago | discuss
8. Updates to Learn.adacore.com (blog.adacore.com)
   3 points by jaypatelani over 1 year ago | discuss
9. Trying to make a startup and frustrated with AdaCore (old.reddit.com)
   2 points by throwaway19091p 11 months ago | discuss
10. AdaCore and CodeSecure Merge (www.adacore.com)
    1 points by ajdude 2 months ago | discuss
11. AdaCore and Lynx Software Technologies Reaffirm Partnership (blog.adacore.com)
    1 points by Tomte 3 months ago | discuss
12. AdaCore Join Rust Enthusiasts in Paris (blog.adacore.com)
    1 points by ajdude 12 months ago | discuss
13. Nvidia Security Team: “What if we just stopped using C?” (2022) (blog.adacore.com)
    306 points by transpute 6 months ago | 179 comments
14. Ada and SPARK enter the automotive ISO-26262 market with Nvidia (www.adacore.com)
    116 points by gneuromante 3 months ago | 111 comments
15. Ada crate of the year 2024 announced (blog.adacore.com)
    106 points by LionelDraghi 6 months ago | 65 comments
16. Ada Gems (2014) (www.adacore.com)
    59 points by Tomte 6 months ago | 9 comments
17. CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (2020) (blog.adacore.com)
    11 points by kennysoona 6 months ago | 3 comments
18. Ada for the C++ or Java Developer – Concurrency (learn.adacore.com)
    10 points by LiamPowell 7 months ago | 4 comments
19. A new math library for Ada: Neo.SIMD (blog.adacore.com)
    9 points by exitcode0000 6 months ago | 1 comments
20. Going Beyond Ada 2022 (blog.adacore.com)
    8 points by fanf2 7 months ago | 1 comments
21. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    8 points by amai 3 months ago | discuss
22. Ada Crate of the Year, 2024 (blog.adacore.com)
    7 points by LionelDraghi 6 months ago | discuss
23. Open-Source Ada: From Gateware to Application (blog.adacore.com)
    5 points by olivier_henley 6 months ago | 1 comments
24. Using pragma Shared_Passive for data persistence in Ada (www.adacore.com)
    5 points by ajdude about 2 months ago | discuss
25. Ada in Practice, a New Learn Course (blog.adacore.com)
    5 points by Tomte 5 months ago | discuss
26. Ada is back in the Tiobe Index top (blog.adacore.com)
    4 points by Tomte 5 months ago | 2 comments
27. CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (blog.adacore.com)
    4 points by andsoitis 2 months ago | discuss
28. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    4 points by ajdude 11 months ago | discuss
29. An introduction to Jorvik, Ada's new tasking profile (blog.adacore.com)
    4 points by fanf2 about 1 year ago | discuss
30. Nvdia using SPARK for safety-critical firmware (www.adacore.com)
    3 points by c2the3rd 2 months ago | discuss
31. Ada Bindings for Raylib (blog.adacore.com)
    3 points by FabienC 11 months ago | discuss
32. Gnat Static Analysis Suite: A Vision for Static Analysis in Ada (blog.adacore.com)
    3 points by ajdude over 1 year ago | discuss