News for hackers. Stuff that matters.

A comment on AWS hires Rust compiler team co-lead Felix Klock. Parent comment

Re:AWS hires Rust compiler team co-lead Felix Klock by johnisgood on Saturday November 28, 2020 @12:42PM (#25239004)
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.
[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by pjmlp on Saturday November 28, 2020 @01:42PM (#25239501)
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.

[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by yawaramin on Saturday November 28, 2020 @08:42PM (#25242232)
> 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.

[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by fiddlerwoaroof on Saturday November 28, 2020 @09:03PM (#25242355)
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.
[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by pjmlp on Sunday November 29, 2020 @05:39AM (#25244283)
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.

[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by fiddlerwoaroof on Sunday November 29, 2020 @06:06AM (#25244417)
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.
[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by pjmlp on Sunday November 29, 2020 @08:40AM (#25245049)
Apparently it does, given that NVidia preferred to go with them, than bet on Rust for their high security firmware on automated vehicles.
[ Parent | on HN ]
Re:AWS hires Rust compiler team co-lead Felix Klock by yawaramin on Sunday November 29, 2020 @12:40AM (#25243179)
An implementation detail that would be trivial for any large company to handle. Or even, paying for a license.
[ Parent | on HN ]