Imagine a std::string object, which is accidentally shared between two threads. Both can alter the object, potentially at the same time.

BOOM - heap corruption likely.

C++ lacks the notion of thread-local and thread-global data in order to properly detect such bugs.

SPARK ADA is much more than array index checking. Educate yourself.

It is a system of assertions, which covers much more than array indices. But yes, you can still have bugs on higher levels.

They claim SPARK Ada has much better safety features than C, which I believe. Educate yourself.

For safety-critical control systems, not just HALT, but WCET(see other comment) must be proven. Otherwise your nice PID controller will just break down.

Just because there are crazily complex programs out there, does not mean ALL programs are crazy-complex-and-halting-is-unprovable.

Is a rock solid language and successfully used in flight control and similar life-critical projects. Of course they will look at the generated assembly code before they risk a pilot. Just because you do not know much more than C, means little. One of the most successful(read: zero crashes) high performance flight control computers is programmed in ADA.

See my comment on WCET here. For some applications, determining the absolute upper bound of execution time is literally a life-and-death thing. Think of ABS brakes or flight control computers.

I know first hand that there exist flight control computers where the halting question is regularly answered. They do even more - they determine Worst Case Execution Time (WCET) of the flight control algorithm. Which is very important, because the entire flight control algorithm will break, if it takes longer than the allotted task execution time.

These folks also use SPARK Ada to very good effect.

600 high performance aircraft in service and no crash due to software until now.

European Genius at work.

https://ancillary-proxy.atarimworker.io?url=https%3A%2F%2Fwww.projectveritas.com...

+private Xcmp server +Linux instead of keylogger OS 10 +Yami Messenger +lots of GNU software.see gnu.org

+Openstreetmap +qwant.com +Vkontakte +YaCy +Private Server with dyndns address +Private WWW server instead of blogger +bittorrent video distribution +ssh file server, secure sharing

The internet existed well before WallSt decided to monetize it. Well before they decided to use it to push their political agenda of elite rule and globalism.

All you need is an RPI, a dyndns adress( lots of free services still out there), a DSL modem and some HTML Hard Skills. Ask the local Linux User Group for help. Your WWW server nginx will nicely work without ANY Google or FB Bullshit included. As the internet always did.

So this "journalist" basically scares the crap out of everyone who considers leaving the SorosNet - a mainframe-style system controlled by a few financiers with a political agenda. "All te intertubbies are now intertwined with google!!!".

Which is of course exaclty the Bullshit the megalomanics of said mainframe want everybody to believe.

Stockholm Syndrome?

They will receive the Crypto AG treatment.

MSFT behaved almost like a mafia org in order to destroy any competition. Any dirty trick short of killing people possible. Then they bribed politicos into submission, so that they would not be hit with Antitrust laws and breakup. Only due to FOSS we have OSX, GNU Linux, iOS and Android. Real competition to the Windows monopoly.