Having used Elm a little, the aim certainly is completely opposite to that. Moreover, Elm is mostly pure even in its handling of the reactive paradigm. That alone should make it more composable than most other languages. Should, because as far as I know it hasn't been proven just yet.
It's an inhouse shader language that is compiled to different targets, one of which is llvm another is glsl. In our case you are probably right, but it would have been nice to see a simple example. Of course there's many implementations in other open source languages, but it's much more work to analyse such large code bases.
Original author here. Thanks for the spacial data structures link, I'll look into it.
The correlations are done in the frequency domain. And, although I didn't look into it, I suspect they have pretty good algorithms to compute the correlations themselves. At least they have very smart people working on that.
Original author here. They do this already, the pseudo function 'correlate' operates in the frequency domain. It doesn't negate the fact that you still correlate the signals of different stations pairwise.
It was especially funny when Andre Geim won the Nobel prize and the Brits, Dutch and Russians all claimed him. Science and those who practice it know no borders.
Scientific funding, however, does. This is one reason why it is crucial that taxpayers can connect with scientific success. For ESA this is problematic because their success gets distributed, consequently most Europeans might not even know it exists.
It may seem hard to believe, but countries like Germany did operate by the assumption that the Americans at least have good intentions. Everybody knows that the US can and will push their agenda when they think it is important, but often nobody sees real harm in cooperating either.
That is also why the spying on Merkel is extremely harmful to American-German relations. It changes the view of the public at large on the US.
You're right that formal methods do not guarantee absence of 'errors' in the sense of unforseen unwanted behavior.
But formal methods, which typically are based on computer-checked proofs, can help you to eliminate certain possibilities. They are severely underestimated and underused because of our dependence on C.
The formal methods do not 'fail' as such. They just fail to prove anything boyond the proven property. Such properties can very well (and often do) include failure (of whatever kind) of parts in the system.
Apart from AI, which as an approach to embedded systems is almost by definition the opposite, I only see one way forward from the mess we're in now: formal methods.
Synchronous data-flow programming is a functional style language made for programming embedded systems.
It follows the paradigm of clocked circuits, where variables are wires.
The latter has explicit recursion which can be disabled when designing embedded systems.
Haskell libraries closely follow this paradigm with their functional reactive DSLs.
Recursion is actually useful to recursively define circuits with repeated patterns, e.g., the butterfly FFT.
This is not hypocrisy and has nothing to do with the cold war. Quite to the contrary: we hold Russians to a higher standard than Saudi Arabia.
Like we hold the USA to a higher standard than either country in regards to privacy.
The more immediate problem is 16 year olds going at such speeds. Driving fast on the German highway requires a good driver and a good car. I am not a good driver and have a tiny car, so I go slow (130-160 km/h).
The ability to remember music is more like chessmasters being able to remember configurations of the chess board who can remember any chess board configuration but suddenly become like any of us when trying to memorize an impossible configuration.
It is, for example, unlikely that Mozard would have had instant recall for Indian music that has many rhythms, 22 tones in an octave and some very different harmonic constructions.
Essentially a well trained ear can remember the music, but not the sound.
A counterpoint: "Like most of my generation, I was brought up on the saying: 'Satan finds some mischief for idle hands to do.' Being a highly virtuous child, I believed all that I was told, and acquired a conscience which has kept me working hard down to the present moment."
-Bertran Russel in 1932