NotableAlamode

20 ms·

61.
by NotableAlamode 12y ago
What you are in effect saying is that when 'only' 1 in 4 men get robbed in divorce court, have their children stolen, have their human rights trampled upon ... it's OK. Thanks for telling us.
62.
by NotableAlamode 12y ago
Intersting. I did not consider the question from a practical POV. What are the main technical impediments with using SMT solvers are ASP backends?
63.
by NotableAlamode 12y ago
I'm not sure I'd set up an opposition between SAT solvers like Z3 on one hand, and ASP on the other. I recommend to think of ASP (and other approaches like CSP (constraint satisfaction problems)) as high-level languages for solvin
64.
by NotableAlamode 12y ago
I'm not sure I understand what you are saying here. The tree of resolution deductions that SAT provers (modulo theories or otherwise) like Z3 produce is of course a proof in a valid proof system. Typically that is some variant of a pro
65.
by NotableAlamode 12y ago
Is Lean an LCF system or Curry-Howard based? It seems to be the latter, but if so, what's it's main advantage over the many other Curry-Howard based systems?
66.
by NotableAlamode 12y ago
Idris and Coq are based on the Curry-Howard correspondence. That makes it difficult / impossible to integrate Z3, because Z3 in general does not output concrete proofs. More precisely, some Z3 modules can output proof objects, but not
67.
by NotableAlamode 12y ago
How? Kleiner partners and Kleiner ladies probably diverge in their ideas of what's fun. I'm often not invited to my colleagues parties, and I don't invite them -- we are very different.
68.
by NotableAlamode 12y ago
Of course it's a frivolous case, but the US legal system is incredibly misandric/anti-male, as every man who's every been in a divorce case in the US can testify. It's Pao's rational self-interest to exploit the mis
69.
by NotableAlamode 12y ago
Do you have any indication that Bitcoin came out of the world of finance? I would venture that Bitcoin comes from cryptographers.
70.
by NotableAlamode 12y ago
Does this life-lesson hold in an adversarial world, where the counterparties actively try to deceive you, e.g. when making financial investments?
71.
by NotableAlamode 12y ago
My main point was about the claims regarding european car companies.
72.
by NotableAlamode 12y ago
Why the downvotes? What I state above is historically well documented. I'd also like to remind the readers that Germany is still an occupied country and cannot make decisions about the Euro according to its own needs and wants.
73.
by NotableAlamode 12y ago
This is nonsense. Of course the plan is to save Greece by turning it into a productive, normal European state, so it can eventually pay back the money that was lent to it. However, this is unlikely, and it is also important to avoid a conta
74.
by NotableAlamode 12y ago
Of course, but how does this address my point that Greece has been the recipient of extremely generous aid? The problem is that Greece doesn't export much of interest to the rest of the world. They should (and could) change that.
75.
by NotableAlamode 12y ago
You didn't answer to any of my points. Let me briefly address some of your rambling. (a) "gradual de-industrialization of Greece and the changes to agriculture imposed by EU directives" That's wishful thinking. Can you p
76.
by NotableAlamode 12y ago
OK, that is a more cogent explanation. However, it does not take into account (1) the exchange rates that the Euro countries used when they entered the Euro. I'd argue that Germany's DM <-> Euro exchange rate was quite uncom
77.
by NotableAlamode 12y ago
- Greece and Germany hardly compete with each other. - EU Agricultural subsidies are premarily a gift to France which benefits most from them. WHen in power Germany's chancellor Schroeder tried to remove the current EU agricultural,
78.
by NotableAlamode 12y ago
I do business in both countries and visit Germany and Greece regularly.
79.
by NotableAlamode 12y ago
This is inconceivable. However, UKIP has an important influence on UK politics even if they only win a few seats in the sense that both major parties are mortally afraid of loosing voters to UKIP. To avoid that, the big parties take some of
80.
by NotableAlamode 12y ago
Are you kidding? PSA, Fiat Group, and Renault also had the Euro and hence should be benefiting from exactly the same enlarged market that you claim is the reason for Volkswagen's success. As to "lay[ing] blame 100% at the door of
81.
by NotableAlamode 12y ago
Victim blaming. The Euro, and it's easy credit was forced upon Germany by France as a price for reunification. Several German members of the Executive Board and the Governing Council of the European Central Bank (ECB), and one German
82.
by NotableAlamode 12y ago
Are you kidding? Credit can be used productively, for example by investing in new transport infrastructure, new factoris, better education and the like. Greece did none of those and subsidised the lifestyle of its public servants.
83.
by NotableAlamode 12y ago
Are you kidding? You make it sound like Greece is doing everybody a favour by wasting EU money. Germany used to have its own currency and did very well exporting its goods. So does Japan, so does Singapore, so does Switzerland, so do Denmar
84.
by NotableAlamode 12y ago
Are you kidding? Greece has already received billions and billions of subsidies / gifts from the norther EU countries. Is that fair? Greece has not used that money to improve its economy.
85.
by NotableAlamode 12y ago
What you say about Greek youth is true, but northern Europeans are also not going to put up with subsidising Greece forever. At some point the current setup will crack in some way or other. You need to look at the rise of Eurosceptic partie
86.
by NotableAlamode 12y ago
Nonsense and victim blaming. Please look at who got what votes in the ECB board, and look who voted how. Also please check who had lent Greece the most. As far as I'm aware that was French banks. Next please take into account that the
87.
by NotableAlamode 12y ago
I don't know about rent for such luxirious flats. There are so few of them that they cannot account for the 40% empty rate that has been claimed. Almost all new housing in London are small 1 and 2 bedroom flats that cost under £1,000,0
88.
by NotableAlamode 12y ago
It's interesting that I'm being downvoted for the message above. What's wrong with it? Incidentally, I just had lunch with an architect and a guy who runs a building company, both London-based. I asked them about this. They
89.
by NotableAlamode 12y ago
True, but rent and property value are strongly positively correlated, so there would also not be a very liquid market for buying and selling such flats. That would make it even worse as a speculative investment. ` I'm not saying such
90.
by NotableAlamode 12y ago
It is within reach, but it would be financially wildly imprudent to forgo the £1000 - £3000 monthly rental income that such properties would fetch. Bear in mind that you will have to pay council tax and other fixed costs anyway. It would be

More ›