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…
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…
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…
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…
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…
The French do the same. I see nothing wrong with it.
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…
Any 'values' that apply only to a certain nationality aren't worth much anyway.
Only proofs in 'constructive' logic. There's a lot of proofs that aren't executable. Most importantly proofs by contradiction. See: http://en.wikipedia.org/wiki/Intuitionistic_logic In practical terms, however, this…
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. Check for example Lustre/Scade:…
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…
It might be useful in the mediterranean. There's plenty of traffic between Italy and Greece and places further away such as Cyprus.
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).
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…
The more important difference is safety in numbers e.g. drivers will look over their shoulder before turning right, because usually there is a bike. Drivers are conditioned to take into account bikes and their erratic…
It is big for that reason in the US. The rest of the world is shocked by the, now undeniable, extend of the spying. Everybody will think thrice before storing their data in the US. Especially since Obama has made it…
With wheel no more than a few inches wide, it won't be driving in the snow anyway.
First they find support for the hypothesis that the place of women in society can change very quickly because their function in society changes. Then they find support for the opposing hypothesis that such changes in…
Also interesting is their assertion that society first changes very quickly after the introduction of the plow, but then has very long lasting effects. Why did the first change quickly but the second have long lasting…
Of course that only applies to the salary over one million. As people earning that much usually have plenty of options to get their money through different channels, this is purely political posturing. They didn't even…
Good point! Though this one post does seem quite well reasoned its message is an easy one (big pharma is evil) and suspect to confirmation bias. If only my browser gave me something to tag the site with your comment, so…
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…
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…
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…
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…
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…
The French do the same. I see nothing wrong with it.
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…
Any 'values' that apply only to a certain nationality aren't worth much anyway.
Only proofs in 'constructive' logic. There's a lot of proofs that aren't executable. Most importantly proofs by contradiction. See: http://en.wikipedia.org/wiki/Intuitionistic_logic In practical terms, however, this…
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. Check for example Lustre/Scade:…
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…
It might be useful in the mediterranean. There's plenty of traffic between Italy and Greece and places further away such as Cyprus.
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).
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…
The more important difference is safety in numbers e.g. drivers will look over their shoulder before turning right, because usually there is a bike. Drivers are conditioned to take into account bikes and their erratic…
It is big for that reason in the US. The rest of the world is shocked by the, now undeniable, extend of the spying. Everybody will think thrice before storing their data in the US. Especially since Obama has made it…
With wheel no more than a few inches wide, it won't be driving in the snow anyway.
First they find support for the hypothesis that the place of women in society can change very quickly because their function in society changes. Then they find support for the opposing hypothesis that such changes in…
Also interesting is their assertion that society first changes very quickly after the introduction of the plow, but then has very long lasting effects. Why did the first change quickly but the second have long lasting…
Of course that only applies to the salary over one million. As people earning that much usually have plenty of options to get their money through different channels, this is purely political posturing. They didn't even…
Good point! Though this one post does seem quite well reasoned its message is an easy one (big pharma is evil) and suspect to confirmation bias. If only my browser gave me something to tag the site with your comment, so…