stygianguest

One possibility is that your global git config files are on a network drive. I had that problem on a corporporate laptop.

Did you accidentally reverse the arrow? Or is there a smart joke sailing over my head?

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.

Nice but damn, I'm about to implement closures in llvm, but there's only a TODO at that point ;)

France also has democratically elected woker councils. It's no guarantee for succes.

France on the other hand has had a minimum wage for a long time and a 35 hour work week. To me it isn't so clear who is doing a better job.

But clearly French unions are not afraid of confrontation.

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.

The French do the same. I see nothing wrong with it.

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.

Any 'values' that apply only to a certain nationality aren't worth much anyway.