Hackernews posts about AdaCore

1. AdaCore Supply Chain Security Evolution (www.adacore.com)
   2 points by nikokrock 21 days ago | discuss
2. Show HN: Built an AI ad generator and ran $9K of FB ads with it (admakeai.com)
   6 points by mesmertech 12 days ago | discuss
3. Show HN: Building a Kotlin/Native build tool in Rust: Konvoy (github.com)
   1 points by arncore 25 days ago | 1 comments
4. Synthetic Data, Real Harm (www.adalovelaceinstitute.org)
   1 points by vinhnx 9 days ago | discuss
5. Claude Code: 32K issues, 49% bot-closed – one bug cluster's lifecycle (gist.github.com)
   2 points by azcore 12 days ago | 1 comments
6. Use Claude Code in OpenCode (github.com)
   2 points by azcore 10 days ago | discuss
7. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   5 points by LiamPowell over 1 year ago | 2 comments
8. Trying to make a startup and frustrated with AdaCore (old.reddit.com)
   2 points by throwaway19091p over 1 year ago | discuss
9. AdaCore and CodeSecure Merge (www.adacore.com)
   1 points by ajdude 9 months ago | discuss
10. AdaCore and Lynx Software Technologies Reaffirm Partnership (blog.adacore.com)
    1 points by Tomte 11 months ago | discuss
11. AdaCore Join Rust Enthusiasts in Paris (blog.adacore.com)
    1 points by ajdude over 1 year ago | discuss
12. Nvidia Security Team: “What if we just stopped using C?” (2022) (blog.adacore.com)
    306 points by transpute about 1 year ago | 179 comments
13. Introduction to Ada: a project-based exploration with rosettas (blog.adacore.com)
    194 points by jaypatelani 7 months ago | 51 comments
14. Ada and SPARK enter the automotive ISO-26262 market with Nvidia (www.adacore.com)
    116 points by gneuromante 10 months ago | 111 comments
15. Should I choose Ada, SPARK, or Rust over C/C++? (2024) (blog.adacore.com)
    111 points by 1vuio0pswjnm7 6 months ago | 166 comments
16. Ada crate of the year 2024 announced (blog.adacore.com)
    106 points by LionelDraghi about 1 year ago | 65 comments
17. Open-Source Ada: From Gateware to Application (blog.adacore.com)
    63 points by Bogdanp 5 months ago | 11 comments
18. Ada Gems (2014) (www.adacore.com)
    59 points by Tomte about 1 year ago | 9 comments
19. CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (2020) (blog.adacore.com)
    11 points by kennysoona about 1 year ago | 3 comments
20. Ada for the C++ or Java Developer – Concurrency (learn.adacore.com)
    10 points by LiamPowell about 1 year ago | 4 comments
21. A new math library for Ada: Neo.SIMD (blog.adacore.com)
    9 points by exitcode0000 about 1 year ago | 1 comments
22. Going Beyond Ada 2022 (blog.adacore.com)
    8 points by fanf2 about 1 year ago | 1 comments
23. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    8 points by amai 11 months ago | discuss
24. Ada Crate of the Year, 2024 (blog.adacore.com)
    7 points by LionelDraghi about 1 year ago | discuss
25. Open-Source Ada: From Gateware to Application (blog.adacore.com)
    5 points by olivier_henley about 1 year ago | 1 comments
26. Using pragma Shared_Passive for data persistence in Ada (www.adacore.com)
    5 points by ajdude 9 months ago | discuss
27. Ada in Practice, a New Learn Course (blog.adacore.com)
    5 points by Tomte about 1 year ago | discuss
28. Ada is back in the Tiobe Index top (blog.adacore.com)
    4 points by Tomte 12 months ago | 2 comments
29. Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy (blog.adacore.com)
    4 points by ajdude 4 months ago | discuss
30. CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (blog.adacore.com)
    4 points by andsoitis 9 months ago | discuss
31. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    4 points by ajdude over 1 year ago | discuss
32. An introduction to Jorvik, Ada's new tasking profile (blog.adacore.com)
    4 points by fanf2 over 1 year ago | discuss
33. Surprising Places Where Ada Is Used (www.adacore.com)
    3 points by GhosT078 3 months ago | 2 comments
34. How to Prove the Correctness of AI-Generated Code Using Formal Methods (www.adacore.com)
    3 points by andsoitis about 1 month ago | discuss
35. Nvdia using SPARK for safety-critical firmware (www.adacore.com)
    3 points by c2the3rd 9 months ago | discuss
36. Ada Bindings for Raylib (blog.adacore.com)
    3 points by FabienC over 1 year ago | discuss