Viewing profile — 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 mo…

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 …

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 …

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 susp…

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 dif…

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…

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 pus…

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…

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_logi…

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. Chec…

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 stan…

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 ca…

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 …

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 …

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…

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.…

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 oppo…

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 qui…