5 ms·

> Amazon is trying to back Rust I don't know. Amazon doesn't really back any languages TBH, teams in Amazon chooses their own stack if it justifies itself. Rus

> Amazon is trying to back Rust I don't know. Amazon doesn't really back any languages TBH, teams in Amazon chooses their own stack if it justifies itself. Rust is apparently great language for critical low-level programming, and AWS crazes for safety and security. I won't attribute too much significance to this hiring.

steveklabnik 6y ago
It depends on what specifically you mean by “back.” Amazon has been financially supporting the Rust project for over a year at this point, which is one common interpretation of “back.”
johnisgood 6y ago
NVIDIA picked Ada/SPARK. I wonder why Ada is not considered by large companies when it comes to critical low-level programming. Ada/SPARK got all the constructs for that, it has been designed for very critical stuff, and low-level programming is pretty easy and so much less error-prone than most languages that are considered. It is actually a joy to do low-level programming in Ada. There are no performance penalties either, so that is not an issue.
- pjmlp 6y ago
  Ada is unfortunately tainted by its traditional customer base (military, avionics, high integrity computing) so it tends to have little love from the traditional software houses. Additionally from the 5 existing vendors, only Ada Core bothers to keep a link with the FOSS community and somehow approachable prices for commercial licenses, which doesn't help to move beyond the existing perceptions about Ada.
  - yawaramin 6y ago
    > Ada is unfortunately tainted by its traditional customer base 'Tainted' how? > only Ada Core bothers to keep a link with the FOSS community and somehow approachable prices for commercial licenses There's an Ada compiler as part of the GNU compiler suite.
    - fiddlerwoaroof 6y ago
      Except, if you want to make proprietary software, you have to compile GNAT yourself and be picky about the libraries you use: Adacore’s own FOSS compiler has a GPL runtime library to prevent commercial usage.
      - yawaramin 6y ago
        An implementation detail that would be trivial for any large company to handle. Or even, paying for a license.
      - pjmlp 6y ago
        Which is great, want to earn money? Pay for the work of others. Library authors keep finding out the actual meaning of going with MIT like licenses instead of dual licensing, specially when their libraries get picked up by the likes of Amazon.
        fiddlerwoaroof 6y ago
        I have no issue with this as a business decision, but this particular decision is a barrier to adoption for a lot of people. Hopefully it pays off for AdaCore.
        pjmlp 6y ago
        Apparently it does, given that NVidia preferred to go with them, than bet on Rust for their high security firmware on automated vehicles.

steveklabnik 6y ago

It depends on what specifically you mean by “back.” Amazon has been financially supporting the Rust project for over a year at this point, which is one common interpretation of “back.”

johnisgood 6y ago

NVIDIA picked Ada/SPARK. I wonder why Ada is not considered by large companies when it comes to critical low-level programming. Ada/SPARK got all the constructs for that, it has been designed for very critical stuff, and low-level programming is pretty easy and so much less error-prone than most languages that are considered. It is actually a joy to do low-level programming in Ada. There are no performance penalties either, so that is not an issue.

pjmlp 6y ago
Ada is unfortunately tainted by its traditional customer base (military, avionics, high integrity computing) so it tends to have little love from the traditional software houses. Additionally from the 5 existing vendors, only Ada Core bothers to keep a link with the FOSS community and somehow approachable prices for commercial licenses, which doesn't help to move beyond the existing perceptions about Ada.
- yawaramin 6y ago
  > Ada is unfortunately tainted by its traditional customer base 'Tainted' how? > only Ada Core bothers to keep a link with the FOSS community and somehow approachable prices for commercial licenses There's an Ada compiler as part of the GNU compiler suite.
  - fiddlerwoaroof 6y ago
    Except, if you want to make proprietary software, you have to compile GNAT yourself and be picky about the libraries you use: Adacore’s own FOSS compiler has a GPL runtime library to prevent commercial usage.
    - yawaramin 6y ago
      An implementation detail that would be trivial for any large company to handle. Or even, paying for a license.
    - pjmlp 6y ago
      Which is great, want to earn money? Pay for the work of others. Library authors keep finding out the actual meaning of going with MIT like licenses instead of dual licensing, specially when their libraries get picked up by the likes of Amazon.
      - fiddlerwoaroof 6y ago
        I have no issue with this as a business decision, but this particular decision is a barrier to adoption for a lot of people. Hopefully it pays off for AdaCore.
        pjmlp 6y ago
        Apparently it does, given that NVidia preferred to go with them, than bet on Rust for their high security firmware on automated vehicles.