Hackernews posts about AdaCore

1. This Fence Has No Farmer (Chesterton's Fence and AI-Generated Code) (adamgreenough.net)
   9 points by xadz 20 days ago | 2 comments
2. Fence Has No Farmer (adamgreenough.net)
   1 points by xadz 22 days ago | discuss
3. AdaCore Supply Chain Security Evolution (www.adacore.com)
   2 points by nikokrock 7 months ago | discuss
4. Trying to make a startup and frustrated with AdaCore (old.reddit.com)
   2 points by throwaway19091p almost 2 years ago | discuss
5. AdaCore and CodeSecure Merge (www.adacore.com)
   1 points by ajdude over 1 year ago | discuss
6. AdaCore and Lynx Software Technologies Reaffirm Partnership (blog.adacore.com)
   1 points by Tomte over 1 year ago | discuss
7. Nvidia Security Team: “What if we just stopped using C?” (2022) (blog.adacore.com)
   306 points by transpute over 1 year ago | 179 comments
8. Introduction to Ada: a project-based exploration with rosettas (blog.adacore.com)
   194 points by jaypatelani about 1 year ago | 51 comments
9. Ada and SPARK enter the automotive ISO-26262 market with Nvidia (www.adacore.com)
   116 points by gneuromante over 1 year ago | 111 comments
10. Should I choose Ada, SPARK, or Rust over C/C++? (2024) (blog.adacore.com)
    111 points by 1vuio0pswjnm7 12 months ago | 166 comments
11. Ada crate of the year 2024 announced (blog.adacore.com)
    106 points by LionelDraghi over 1 year ago | 65 comments
12. Open-Source Ada: From Gateware to Application (blog.adacore.com)
    63 points by Bogdanp 11 months ago | 11 comments
13. Ada Gems (2014) (www.adacore.com)
    59 points by Tomte over 1 year ago | 9 comments
14. CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (2020) (blog.adacore.com)
    11 points by kennysoona over 1 year ago | 3 comments
15. Ada for the C++ or Java Developer – Concurrency (learn.adacore.com)
    10 points by LiamPowell over 1 year ago | 4 comments
16. A new math library for Ada: Neo.SIMD (blog.adacore.com)
    9 points by exitcode0000 over 1 year ago | 1 comments
17. Going Beyond Ada 2022 (blog.adacore.com)
    8 points by fanf2 over 1 year ago | 1 comments
18. Gnat: The GNU Ada Compiler (2004) [pdf] (www.adacore.com)
    8 points by csb6 3 months ago | discuss
19. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    8 points by amai over 1 year ago | discuss
20. Ada Crate of the Year, 2024 (blog.adacore.com)
    7 points by LionelDraghi over 1 year ago | discuss
21. Open-Source Ada: From Gateware to Application (blog.adacore.com)
    5 points by olivier_henley over 1 year ago | 1 comments
22. Using pragma Shared_Passive for data persistence in Ada (www.adacore.com)
    5 points by ajdude about 1 year ago | discuss
23. Ada in Practice, a New Learn Course (blog.adacore.com)
    5 points by Tomte over 1 year ago | discuss
24. Ada is back in the Tiobe Index top (blog.adacore.com)
    4 points by Tomte over 1 year ago | 2 comments
25. Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy (blog.adacore.com)
    4 points by ajdude 10 months ago | discuss
26. CuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (blog.adacore.com)
    4 points by andsoitis over 1 year ago | discuss
27. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    4 points by ajdude almost 2 years ago | discuss
28. Surprising Places Where Ada Is Used (www.adacore.com)
    3 points by GhosT078 9 months ago | 2 comments
29. Language Design Impacts Security (www.adacore.com)
    3 points by ajdude 3 months ago | discuss
30. GNAT: The GNU Ada Compiler (2004) [pdf] (www.adacore.com)
    3 points by csb6 5 months ago | discuss
31. How to Prove the Correctness of AI-Generated Code Using Formal Methods (www.adacore.com)
    3 points by andsoitis 7 months ago | discuss
32. Nvdia using SPARK for safety-critical firmware (www.adacore.com)
    3 points by c2the3rd over 1 year ago | discuss