Hackernews posts about AdaCore

1. Ada Lovelace Day – Coding video games festival on Steam is now LIVE (store.steampowered.com)
   3 points by gamescodedogs 23 days ago | 2 comments
2. There's now a sale on Steam dedicated to Ada Lovelace Day and programming games (store.steampowered.com)
   2 points by gamescodedogs 22 days ago | 2 comments
3. Elon Musk Wants Big Families. He Bought a Secret Compound for His (www.nytimes.com)
   9 points by adamors about 20 hours ago | 4 comments
4. The Mature Programmer (2011) (cbloomrants.blogspot.com)
   1 points by adamrezich 9 days ago | discuss
5. Approaches for efficient unique symbols in C++ (chrisgreendevelopmentblog.wordpress.com)
   1 points by adamrezich 27 days ago | discuss
6. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   114 points by pjmlp about 1 year ago | 48 comments
7. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
   5 points by LiamPowell 4 months ago | 2 comments
8. AdaCore, a Rust Foundation Silver Member (foundation.rust-lang.org)
   5 points by todsacerdoti over 1 year ago | discuss
9. AdaCore Announces Gnat Pro for Rust (www.adacore.com)
   4 points by conradludgate about 1 year ago | 4 comments
10. AdaCore Joins the Rust Foundation (blog.adacore.com)
    4 points by ajdude over 1 year ago | 1 comments
11. Identifying and Authorizing Users at AdaCore (blog.adacore.com)
    4 points by nikokrock about 1 year ago | discuss
12. AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
    3 points by Tomte 9 months ago | discuss
13. Updates to Learn.adacore.com (blog.adacore.com)
    3 points by jaypatelani 10 months ago | discuss
14. Trying to make a startup and frustrated with AdaCore (old.reddit.com)
    2 points by throwaway19091p about 1 month ago | discuss
15. AdaCore Join Rust Enthusiasts in Paris (blog.adacore.com)
    1 points by ajdude 2 months ago | discuss
16. Lynx Joins AdaCore and Ferrous Systems to Bring Rust to Embedded Developers (www.lynx.com)
    1 points by pjmlp almost 2 years ago | discuss
17. Nvidia Security Team: “What if we just stopped using C?” (blog.adacore.com)
    257 points by q-big almost 2 years ago | 362 comments
18. Introduction to Embedded Systems Programming (Ada) (learn.adacore.com)
    135 points by gusthoff almost 2 years ago | 19 comments
19. RecordFlux: Addressing binary protocol parser vulnerabilities (blog.adacore.com)
    50 points by synack over 1 year ago | 2 comments
20. Introduction to VSS Library (blog.adacore.com)
    16 points by jayp1418 over 1 year ago | 2 comments
21. Reducing Ada code bases with adareducer (blog.adacore.com)
    8 points by rbanffy over 1 year ago | discuss
22. How to Use Ada to Insulate Software from Hardware Updates (2021) (www.electronicdesign.com)
    6 points by Tomte almost 2 years ago | discuss
23. Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
    4 points by ajdude about 1 month ago | discuss
24. An introduction to Jorvik, Ada's new tasking profile (blog.adacore.com)
    4 points by fanf2 4 months ago | discuss
25. RecordFlux: addressing binary protocol parser vulnerabilities (blog.adacore.com)
    3 points by synack over 1 year ago | 1 comments
26. Ada Bindings for Raylib (blog.adacore.com)
    3 points by FabienC about 1 month ago | discuss
27. Gnat Static Analysis Suite: A Vision for Static Analysis in Ada (blog.adacore.com)
    3 points by ajdude 9 months ago | discuss
28. Designing a WebAssembly Toolchain for Ada/Spark (blog.adacore.com)
    3 points by andsoitis 11 months ago | discuss
29. Ada Programming like it's 1985 (blog.adacore.com)
    2 points by pjmlp 7 months ago | discuss
30. GNAT Pro Roadmap (blog.adacore.com)
    2 points by synack over 1 year ago | discuss
31. A Comparison of SPARK with MISRA C and Frama-C [pdf] (www.adacore.com)
    2 points by todsacerdoti almost 2 years ago | discuss
32. A Fresh Take on Do-178C Software Reviews (blog.adacore.com)
    1 points by synack 7 months ago | discuss
33. Securing the Future of Safe Autonomous Driving (blogs.nvidia.com)
    1 points by ajdude 8 months ago | discuss
34. From Ada to Platinum Spark: A Case Study for Reusable Bounded Stacks (blog.adacore.com)
    1 points by lemper about 1 year ago | discuss
35. A little bit of Photoshop using GNAT for CUDA (blog.adacore.com)
    1 points by rbanffy about 1 year ago | discuss