Rochus

Oops, my bad.

That's why we do tradeoff studies in systems engineering, to avoid that we take important decisions based on emotions or assumptions. Participants can still get emotional, but at least they have …

You asked for a BC in Ada, but this is SPARK, which we use for formal verification of Ada code, so there is no need to also have it in Ada; besides that you can do much more in SPARK than just BC and …

Just for the record: this is the quotation that the fellow managed to make disappear by flagging: "Don’t you see that the whole aim of Newspeak is to narrow the range of thought? In the end we s…

Then please delete it. I have no delete button. You have already deleted my original answer to which the fellow made an unobjective comment against my integrity. As it stands now, a wrong impression a…

What a self-righteous person you are.

You may assume that I read it thoroughly. The first time was in 1984. The more I read it, the more things I find that are already reality.

When you edit images in Photoshop you are the actor and it is your (hopefully) creative result.

Copyright laws of most European countries specify that only works created by human beings can be afforded copyright protection. The same seems to apply to current US laws (which I'm not familiar …

That's not the point. Copyright law - at least the European versions of it - requires a human creator. So the output of an algorithm is not protected under copyright law in general, even if the o…

If it's your company and your money, then of course you can decide yourself whether you want to take that risk; most likely not immediately in a multi-million dollar project though.

Here another one: https://news.ycombinator.com/item?id=17601789

There are a lot of mechanisms in C++ to avoid the issue Rust want's to solve with the borrow checker altogether. And there are proposals going in the same direction as the borrow checker. But in …

see e.g. https://www.zdnet.com/article/programming-languages-rust-ent... …

see https://insights.stackoverflow.com/survey/2019 Only a small fraction of "Rust fans" are actually using it.…

> that memory safe languages have fewer memory safety issues than languages That's what I would assume ;-) By the end of the day it's also a question of performance. For embedded, realtim…

> In any case, developers don't seem to be too keen on adopting Ada. Yes, unfortunately; the trend seems to go in the opposite direction; but anyway: if I really wanted to switch to something …

Don't worry, I can take a lot ;-)

Here is an example from a leading exponent of the commitee, ironically also from Microsoft: https://github.com/isocpp/CppCoreGuidelines/blob/master/docs... …

Unfortunately not that many; I also don't believe that all the exited folks will really switch to Rust. Maybe this one is interesting for you: https://blogs.nvidia.com/blog/2…

E.g. https://github.com/isocpp/CppCoreGuidelines/blob/master/docs... …

I think the fact that Rust is very popular in the polls, but still hardly ever used, rather indicates that people primarily want to escape from their current dissatisfaction, but then ultimately don&#…

Rust is the new utopia; at the moment there is only the (founded) assumption that you write more secure software with it. Only time will tell whether this is actually the case and whether the same num…

see https://news.ycombinator.com/item?id=15874273

That's my real name, sorry if it's latin sounding. If you follow the developments of the standard commitee, you know what I'm talking about.