News for hackers. Stuff that matters.
Re:Ada Outperforms Assembly: A Case Study by thesuperbigfrog on Saturday July 15, 2023 @10:04PM (#36742807)
>> Does anyone use Ada in 2023?

https://www.adacore.com/industries

Ada is used for situations where the code has to work or people die.

That makes it niche compared to other programming languages where it is okay to "panic" or "fail fast".

Different tools for different needs.

Re:Ada Outperforms Assembly: A Case Study by musicale on Sunday July 16, 2023 @02:05AM (#36744127)
> Ada is used for situations where the code has to work or people die.

C/C++/Java/JavaScript/Python/etc. are used in situations where code doesn't have to be reliable, secure, or correct.

If customers actually cared about any of those things then our favorite tech companies wouldn't be worth zillions of dollars.

Re:Ada Outperforms Assembly: A Case Study by pjmlp on Sunday July 16, 2023 @04:07AM (#36744670)
I am a big proponent of having proper liabilities across the industry, just like any other industry.

As a software enginneer professor of mine would joke, general computing quality is akin to buying a pair of shoes that randomly blow up if tied incorrectly, and people have been educated to put up with it.

With any other industry, if one buys something that doesn't properly work, usually the first reaction is to return to the shop and ask for the money back.

Thankfully digital stores, warranty contracts in project delivery, and ongoing cybersecurity laws, are already some steps into the right direction, yet there is still too much to be done.

Re:Ada Outperforms Assembly: A Case Study by musicale on Monday July 17, 2023 @11:47PM (#36767577)

    EULA: By using this product, you (user) agree that:
    1. It might kill your dog, and it will be your fault.
    2. Any other harm or defects will be your fault as well.
    3. You abandon all rights to sue us, ever, for anything.
    4. Any dispute will be handled by our arbitration department.
    5. We are free to spy on you and share all information with 
       our marketing partners or anyone else who asks.
Re:Ada Outperforms Assembly: A Case Study by hsjqllzlfkf on Sunday July 16, 2023 @09:50AM (#36746982)
C is used in situations where choose doesn't have to be reliable - wanna expand?

In my superficial understanding of computers, Linux is the paragon of reliability, so naively I would say that shows that C is good enough. However, in also aware that some instructions don't have such a great view of Linux, but I don't know much.

Re:Ada Outperforms Assembly: A Case Study by musicale on Sunday July 16, 2023 @07:04PM (#36752308)
Linux: written in C, hundreds of buffer overflow errors

Multics: written in PL/I, approximately zero buffer overflow errors

see also: https://www.cvedetails.com/product/47/Linux-Linux-Kernel.htm...

Re:Ada Outperforms Assembly: A Case Study by hsjqllzlfkf on Monday July 17, 2023 @10:57AM (#36759044)
That doesn't tell me much. Linux is much bigger and more used than whatever multics is. So the fact that more bugs are documented is no surprise.
Re:Ada Outperforms Assembly: A Case Study by Jtsummers on Monday July 17, 2023 @02:28PM (#36762073)
It should tell you that Linux is not a "paragon of reliability" unless you have a non-standard definition of paragon and/or reliability.
Re:Ada Outperforms Assembly: A Case Study by musicale on Monday July 17, 2023 @11:37PM (#36767517)
And that many serious Linux vulnerabilities were facilitated by the C/gcc language and runtime:

"The net result is that a PL/I programmer would have to work very hard to program a buffer overflow error, while a C programmer has to work very hard to avoid programming a buffer overflow error."

https://www.acsac.org/2002/papers/classic-multics.pdf