Hackernews posts about AdaCore

1. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   114 points by pjmlp about 1 year ago | 48 comments
2. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   5 points by LiamPowell 5 months ago | 2 comments
3. AdaCore, a Rust Foundation Silver Member (foundation.rust-lang.org)
   5 points by todsacerdoti almost 2 years ago | discuss
4. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   4 points by conradludgate about 1 year ago | 4 comments
5. AdaCore Joins the Rust Foundation (blog.adacore.com)
   4 points by ajdude almost 2 years ago | 1 comments
6. Identifying and Authorizing Users at AdaCore (blog.adacore.com)
   4 points by nikokrock about 1 year ago | discuss
7. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   3 points by Tomte 10 months ago | discuss
8. Updates to Learn.adacore.com (blog.adacore.com)
   3 points by jaypatelani 10 months ago | discuss
9. Trying to make a startup and frustrated with AdaCore (old.reddit.com)
   2 points by throwaway19091p 2 months ago | discuss
10. AdaCore Join Rust Enthusiasts in Paris (blog.adacore.com)
    1 points by ajdude 3 months ago | discuss
11. RecordFlux: Addressing binary protocol parser vulnerabilities (blog.adacore.com)
    50 points by synack over 1 year ago | 2 comments
12. Introduction to VSS Library (blog.adacore.com)
    16 points by jayp1418 over 1 year ago | 2 comments
13. Reducing Ada code bases with adareducer (blog.adacore.com)
    8 points by rbanffy over 1 year ago | discuss
14. How to Use Ada to Insulate Software from Hardware Updates (2021) (www.electronicdesign.com)
    6 points by Tomte almost 2 years ago | discuss
15. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    4 points by ajdude about 2 months ago | discuss
16. An introduction to Jorvik, Ada's new tasking profile (blog.adacore.com)
    4 points by fanf2 5 months ago | discuss
17. RecordFlux: addressing binary protocol parser vulnerabilities (blog.adacore.com)
    3 points by synack over 1 year ago | 1 comments
18. Ada Bindings for Raylib (blog.adacore.com)
    3 points by FabienC 2 months ago | discuss
19. Gnat Static Analysis Suite: A Vision for Static Analysis in Ada (blog.adacore.com)
    3 points by ajdude 10 months ago | discuss
20. Designing a WebAssembly Toolchain for Ada/Spark (blog.adacore.com)
    3 points by andsoitis 12 months ago | discuss
21. Ada Programming like it's 1985 (blog.adacore.com)
    2 points by pjmlp 8 months ago | discuss
22. GNAT Pro Roadmap (blog.adacore.com)
    2 points by synack over 1 year ago | discuss
23. A Comparison of SPARK with MISRA C and Frama-C [pdf] (www.adacore.com)
    2 points by todsacerdoti almost 2 years ago | discuss
24. A Fresh Take on Do-178C Software Reviews (blog.adacore.com)
    1 points by synack 7 months ago | discuss
25. Securing the Future of Safe Autonomous Driving (blogs.nvidia.com)
    1 points by ajdude 9 months ago | discuss
26. From Ada to Platinum Spark: A Case Study for Reusable Bounded Stacks (blog.adacore.com)
    1 points by lemper about 1 year ago | discuss
27. A little bit of Photoshop using GNAT for CUDA (blog.adacore.com)
    1 points by rbanffy about 1 year ago | discuss
28. Coroutines in Ada, a Clean but Heavy Implementation (blog.adacore.com)
    1 points by ajdude almost 2 years ago | discuss