Hackernews posts about AdaCore
Related:
Rust
- AdaCore Announces Gnat Pro for Rust (www.adacore.com)
- AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
- AdaCore, a Rust Foundation Silver Member (foundation.rust-lang.org)
- AdaCore Announces Gnat Pro for Rust (www.adacore.com)
- AdaCore Joins the Rust Foundation (blog.adacore.com)
- Identifying and Authorizing Users at AdaCore (blog.adacore.com)
- AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)
- Updates to Learn.adacore.com (blog.adacore.com)
- Trying to make a startup and frustrated with AdaCore (old.reddit.com)
- AdaCore Join Rust Enthusiasts in Paris (blog.adacore.com)
- Introduction to Embedded Systems Programming (Ada) (learn.adacore.com)
- RecordFlux: Addressing binary protocol parser vulnerabilities (blog.adacore.com)
- Introduction to VSS Library (blog.adacore.com)
- Reducing Ada code bases with adareducer (blog.adacore.com)
- How to Use Ada to Insulate Software from Hardware Updates (2021) (www.electronicdesign.com)
- Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)
- An introduction to Jorvik, Ada's new tasking profile (blog.adacore.com)
- RecordFlux: addressing binary protocol parser vulnerabilities (blog.adacore.com)
- Ada Bindings for Raylib (blog.adacore.com)
- Gnat Static Analysis Suite: A Vision for Static Analysis in Ada (blog.adacore.com)
- Designing a WebAssembly Toolchain for Ada/Spark (blog.adacore.com)
- Ada Programming like it's 1985 (blog.adacore.com)
- GNAT Pro Roadmap (blog.adacore.com)
- A Comparison of SPARK with MISRA C and Frama-C [pdf] (www.adacore.com)
- A Fresh Take on Do-178C Software Reviews (blog.adacore.com)
- Securing the Future of Safe Autonomous Driving (blogs.nvidia.com)
- From Ada to Platinum Spark: A Case Study for Reusable Bounded Stacks (blog.adacore.com)
- A little bit of Photoshop using GNAT for CUDA (blog.adacore.com)
- Coroutines in Ada, a Clean but Heavy Implementation (blog.adacore.com)
- 'Smart' technology is out of control. We adore this dumb tech (www.washingtonpost.com)