Hackernews posts about AdaCore

1. AdaCore Join Rust Enthusiasts in Paris (blog.adacore.com)
   1 points by ajdude 29 days ago | discuss
2. Ada Bindings for Raylib (blog.adacore.com)
   3 points by FabienC 3 days ago | discuss
3. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   114 points by pjmlp 12 months ago | 48 comments
4. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   5 points by LiamPowell 3 months ago | 2 comments
5. AdaCore, a Rust Foundation Silver Member (foundation.rust-lang.org)
   5 points by todsacerdoti over 1 year ago | discuss
6. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   4 points by conradludgate about 1 year ago | 4 comments
7. AdaCore Joins the Rust Foundation (blog.adacore.com)
   4 points by ajdude over 1 year ago | 1 comments
8. Identifying and Authorizing Users at AdaCore (blog.adacore.com)
   4 points by nikokrock 11 months ago | discuss
9. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   3 points by Tomte 8 months ago | discuss
10. Updates to Learn.adacore.com (blog.adacore.com)
    3 points by jaypatelani 8 months ago | discuss
11. Lynx Joins AdaCore and Ferrous Systems to Bring Rust to Embedded Developers (www.lynx.com)
    1 points by pjmlp almost 2 years ago | discuss
12. Nvidia Security Team: “What if we just stopped using C?” (blog.adacore.com)
    257 points by q-big almost 2 years ago | 362 comments
13. Introduction to Embedded Systems Programming (Ada) (learn.adacore.com)
    135 points by gusthoff almost 2 years ago | 19 comments
14. RecordFlux: Addressing binary protocol parser vulnerabilities (blog.adacore.com)
    50 points by synack over 1 year ago | 2 comments
15. Introduction to VSS Library (blog.adacore.com)
    16 points by jayp1418 over 1 year ago | 2 comments
16. Reducing Ada code bases with adareducer (blog.adacore.com)
    8 points by rbanffy over 1 year ago | discuss
17. How to Use Ada to Insulate Software from Hardware Updates (2021) (www.electronicdesign.com)
    6 points by Tomte over 1 year ago | discuss
18. An introduction to Jorvik, Ada's new tasking profile (blog.adacore.com)
    4 points by fanf2 2 months ago | discuss
19. RecordFlux: addressing binary protocol parser vulnerabilities (blog.adacore.com)
    3 points by synack over 1 year ago | 1 comments
20. Gnat Static Analysis Suite: A Vision for Static Analysis in Ada (blog.adacore.com)
    3 points by ajdude 8 months ago | discuss
21. Designing a WebAssembly Toolchain for Ada/Spark (blog.adacore.com)
    3 points by andsoitis 9 months ago | discuss
22. Ada Programming like it's 1985 (blog.adacore.com)
    2 points by pjmlp 5 months ago | discuss
23. GNAT Pro Roadmap (blog.adacore.com)
    2 points by synack about 1 year ago | discuss
24. A Comparison of SPARK with MISRA C and Frama-C [pdf] (www.adacore.com)
    2 points by todsacerdoti over 1 year ago | discuss
25. Adding Ada to Rust (blog.adacore.com)
    2 points by belter almost 2 years ago | discuss
26. A Fresh Take on Do-178C Software Reviews (blog.adacore.com)
    1 points by synack 5 months ago | discuss
27. Securing the Future of Safe Autonomous Driving (blogs.nvidia.com)
    1 points by ajdude 7 months ago | discuss
28. From Ada to Platinum Spark: A Case Study for Reusable Bounded Stacks (blog.adacore.com)
    1 points by lemper 11 months ago | discuss
29. A little bit of Photoshop using GNAT for CUDA (blog.adacore.com)
    1 points by rbanffy 11 months ago | discuss
30. Coroutines in Ada, a Clean but Heavy Implementation (blog.adacore.com)
    1 points by ajdude almost 2 years ago | discuss
31. Adding Ada to Rust (blog.adacore.com)
    1 points by synack almost 2 years ago | discuss
32. Ask HN: Why does HN adore Postgres so much?
    13 points by api 12 months ago | 19 comments