airesQ

9 ms·

31.
by airesQ 10y ago
The favicon gets updated.
32.
by airesQ 10y ago
I've used expect to automate distro upgrades at some point, as we needed to upgrade a couple hundred machines. During testing I kept finding edge cases. Then I eventually accounted for most of the edge cases, and gave a default answer
33.
by airesQ 10y ago
There is an interactive tutorial at [1]. I find this quite amazing. With refinement types one can say/prove things like: - This function only returns even numbers. - The input for this function is not just any vector, it must be an ord
34.
by airesQ 10y ago
There was an article at Ars [1] that explained how Microsoft uses FPGA powered network cards at Azure. The idea is to move "network decision making" (load balancing; maybe firewalls and other assorted stuff) from the CPU to the FP
35.
by airesQ 10y ago
Baidu also attracts lots of people.
36.
by airesQ 10y ago
Not sure if anything can be considered successful when compared with Bell Labs. It is a very high bar to meet (given they mostly invented transistors, information theory, unix and c). The modern world is to great extent a byproduct of t
37.
by airesQ 10y ago
People with high-profile jobs are severely constrained in what they can say (even though this guy is not the CEO, contrary to what the title claims ATM). And we already saw that google doesn't want to touch the "uglier" aspec
38.
by airesQ 10y ago
From the 10mins I spend looking at it: - It seems some kind of language/computation-model. Loosely based on a "everything is an actor" model. - It did look goodish. I tried following the Fibonacci example, which sort of made
39.
by airesQ 10y ago
Not sure if Norton has the incentives to produce an unbiased estimate. And calling this a study might be overkill, it looks more like a brochure.
40.
by airesQ 10y ago
I really don't see how that strategy would work with open source projects. Wouldn't most contributions for the "extend" phase be open source? Once open source, it's much harder to extinguish.
41.
by airesQ 10y ago
FiveThirtyEight did not dismiss Trump, in fact it kept saying that Trump had a very real chance of winning. The last prediction was a 29%, and a 29% chance is quite a lot. If you interpret a 29% chance as 'dismissing' then you are
42.
by airesQ 10y ago
If that is assassination-insurance should those bytestrings be keys to decrypt files that are already in the wild? Anyhow, I find the tweets very interesting. But I lack the context to know what they mean. Were those tweeted before the blac
43.
by airesQ 10y ago
The EU budget is relatively small, at €185 billion. UK's net contribution amounts to £8 billion, a bit, but not earth shattering. This Tax won't apply to all members, just to the ones that opt-in (Austria, Belgium, France, Germany
44.
by airesQ 10y ago
> It is often thought that humanity will leave no trace of its existence for the next civilization that will come, say, 20 million years We have pretty good Trilobite fossils from 400+ million years ago. Why would they leave a trace and
45.
by airesQ 10y ago
Geography still matters a lot. Japan [1] trades mostly with Asia, and the UK [2] with nearby countries (it trades more with Sweden than Canada; more with the Netherlands than China). When it comes to trade deals, the UK does not have all th
46.
by airesQ 10y ago
Why would the UK do badly outside the EU? Well because 45%+ of its exports go to the EU. And the EU is not just a trade deal. It is a single market, like the US is a single market, with a great degree of regulatory uniformity. Which means a
47.
by airesQ 10y ago
It doesn't matter. This is not basic utilitarianism, there is game theory involved. You have to be willing to take a loss on some deals to achieve the equilibrium you want.
48.
by airesQ 10y ago
Leave says that the EU in undemocratic. But the EU is a democracy. It is certainly much more democratic than the British first-past-the-post and the house of Lords. Saying that the EU in undemocratic is just a meme. Then there is the questi
49.
by airesQ 10y ago
The UK currently has a great spot in the EU. It keeps it's own currency (a wise choice), it is not part of Schengen, it's fees are small for it's economy (e.g. Italy pays more), and all sorts of other exceptions. The next dea
50.
by airesQ 10y ago
If the UK leaves, Scotland is probably out. The economy prospects are not looking good. Capital is flowing out of the UK, and plans for new investment's are being cancelled all over the place. Why invest in country that might be behind
51.
by airesQ 10y ago
But the EU can simply refuse to negotiate. I think the EU does want to give the voters what they asked for. And that is Brexit. Out is out. Not EEA.
52.
by airesQ 10y ago
Yes, for the UK case it would be an exit in name only. But some in the leave side are for this (e.g. Hannan), with free movement and fees. They are openly conceding that having a tight control over EU migration is not feasible, and that it
53.
by airesQ 10y ago
Too many compliments? Anyway. If the worker cannot move to the factory, the factory moves to the worker. That is the way of the world, and it causes many problems. Those problems need solutions. But I'm not convinced that getting rid o
54.
by airesQ 10y ago
The EU Parliament only has the powers that have been given to it by the House of Common. The House of Commons is the sovereign. [1] [1] - https://www.youtube.com/watch?v=USTypBKEd8Y
55.
by airesQ 10y ago
It is very hard for a country to leave the EU. Britain is yet to leave the EU, and we will probably end up with a leave in name only. Why is it difficult? Think about a US state secession. What if North Carolina decided to leave the US, imp
56.
by airesQ 10y ago
I've been hearing this type of complaints recently. And it is funny how it sounds like a call for political correctness. From a point of the political spectrum that usually despises it.
57.
by airesQ 10y ago
Regarding Switzerland, something like ~25% of the population is foreign born. While in the UK is ~13%. Regarding the pound thing. Money does not work like that. For example 1 ¥ (Japanese Yen) is worth £ 0.0071. Is the Yen worthless?
58.
by airesQ 10y ago
Britain was a basket case before joining the EU. The 40 years of EU membership have, for the most part, been good [1]. The austerity stuff is a post 2008 thing. [1] - http://www.economicshelp.org/wp-content/uploads&#x2F
59.
by airesQ 10y ago
Did you even read my post? The UK does not have all that many migrants. Switzerland has almost the double (in %). And what matters what currency you are paid in? If you want to compare salaries you use exchange rates.
60.
by airesQ 10y ago
You don't need to share a currency in order to devalue it. Germany could have done it with the deutschmark. But I do agree with the overall point that the monetary policy is made for the whole, without fitting anyone particularly well.

More ›