mafribe

15 ms·

91.
by mafribe 7y ago
I'd be interested to learn which part of the german constitution was "essentially written by the americans". Can you give an example? Just one? Please don't forget that (1) the allies had really diametrically opposed g
92.
by mafribe 7y ago
Calling Murray a "nutjob" is not conducive to a well-informed discussion about touchy subjects. His last summary of the Skripal case is [1], and while certainly controversial, hardly a "nutjob". He was removed from his a
93.
by mafribe 7y ago
Aside, not relevant to the article discussed here. constitution that was essentially written by Americans I cannot speak about Japan, but that's historically false for Germany. If you look at the list of participants in the
94.
by mafribe 8y ago
Clickbait article. It is noteworthy that Friston has, as of November 2018, neither (1) formalised free energy minimisation (FIM) with sufficient precision that it goes beyond a vague research heuristic, that can (and is) adapted in ad-hoc
95.
by mafribe 9y ago
I agree that the actual, legal and historical situations ROC/PRC vs UK/Scotland are quite different. I was pointing towards the similarity of a (potential) positive, peaceful resolution, -- indeed one where secession was
96.
by mafribe 9y ago
The ROC is doing itself no favours by sticking to its interpretation of the One China Policy which entails that the ROC leadership is the solve legitimate ruler of the mainland, too! When the PRC was weak, there was probably an opening wh
97.
by mafribe 9y ago
Why is a comparison with Scotland/UK ignorant, or deliberately muddying the waters? I'd say it would demonstrate great political maturity, if the PRC were to allow Taiwan to conduct a binding vote about independence, and acce
98.
by mafribe 9y ago
That referendum is an interesting edge case, as I wrote in my post above. Spain could have handled the Catalan issue much better, that is certainly true. One crucial difference is that neither the EU nor the Spanish government threaten vio
99.
by mafribe 9y ago
I'm quite aware of HK's status under British rule. I'm also aware that it was dramatically better than Mao's rule. What I was referring to was the erosion of rights since the takeover of HK by the PRC. Looking at your
100.
by mafribe 9y ago
Anecdata: I have spent a great deal of time in Taiwan, and have not met a Taiwanese person who wanted to unify with the mainland, especially as long as the mainland was governed by the communist party. Let's not forget that a great
101.
by mafribe 9y ago
If it was true that "most people, including the Tawainese themselves, agree is a part of China", then mainland China would/should have no problem whatsoever with a binding Taiwanese independence referendum. It is precisely be
102.
by mafribe 9y ago
Taiwan did not seceed (or has been trying to seceed) from the mainland in any meaningful sense. It is questionable if Taiwan was ever legitimately governed by the mainland. Moreover, there are plenty of examples of a peaceful handling of
103.
by mafribe 9y ago
Which regularisation techniques have you got in mind?
104.
by mafribe 9y ago
How do you establish Han-ness today, an ever shifting concept?
105.
by mafribe 9y ago
I'm not a historian. It's certainly true that monads or monad-like things where discovered independently in many context. This isn't even surprising, given how natural, and trivial in a sense monads are. But the systematics
106.
by mafribe 9y ago
I'm surprised that you think FP requires mastering category theory. Au contraire. It's perfectly possible (and indeed easier for programmers) to understand the abstractions that Haskell and Scala pioneer (higher-kinded types, and
107.
by mafribe 9y ago
> 'Most successful' here meaning it ended in ethnic cleansing, frequent atrocity ( True It's worth pointing out that apart from 'minor issues' such as genociding whites and mixed-race Haitians [2], after the slav
108.
by mafribe 9y ago
Childcare / alimony is not an expense like any other because in many legislations you cannot really decided to stop paying that expense, see e.g. [1]. In the US you typically go to prison pretty swiftly if you refuse to pay. [1] http:
109.
by mafribe 9y ago
> there's plenty of kinds of jobs men don't apply for at nearly the rate women do. There's plenty of kinds of jobs Women don't apply for at nearly the rate men do.
110.
by mafribe 9y ago
Sounds like a rationalisation. Plenty of places have no problem hiring (almost) only women, e.g. kindergarden, waitresses, art galleries, medical sociologists, stewardesses. In any case I doubt this would be illegal in every legislation. In
111.
by mafribe 9y ago
It's more than a little Orwellian! For example Pol Pot and his henchmen justified their mass murder by accusing their victims as enemies of the "equalitarian state" [1]. It's interesting that this is being downvoted. Do
112.
by mafribe 9y ago
* What Developers ...: http://ieeexplore.ieee.org/document/7582770 (Sorry, no open version seems to be available) * Weird ...: http://ieeexplore.ieee.org/document/8226852 * What You ...: http:&#x
113.
by mafribe 9y ago
Not that I'm aware of. It would be nice to have one. The number of people who understand nominal, HOL, CoC and implementations of provers is vanishingly small.
114.
by mafribe 9y ago
I'm probably the wrong person to discuss this question with. I don't know more than I've written above. All I know about this is from conversations with Christian Urban, who implemented Nominal Isabelle. It was a while back,
115.
by mafribe 9y ago
> Can you give an example of this? It's pretty clear that a fully formal specification of a program must be (roughly) as complex as the program itself, for otherwise you could construct an infinitely descending chain of ever simpl
116.
by mafribe 9y ago
You are not the only one. If all the bugs you find in the part of a program that was not verified, that demonstrates the power of formal verification.
117.
by mafribe 9y ago
One example are nominal techniques [1]. While they are constructive, they have so far only found substantial implementation in Isabelle/HOL [2]. The reason is that the natural implementation is non-constructive, and leads to only a sma
118.
by mafribe 9y ago
The issue is not the edge of logical independence, but rather how easily can you express certain theorems. Most verification is about the verification of programming languages (e.g. the POPLmark Challenge [1]), and in this setting sometime
119.
by mafribe 9y ago
Coq has/is much stronger a logic (albeit constructive) than HOL. That is sometimes convenient. Most users of proof assistants don't get far enough that powerful automation is unavoidable. In addition, Coq benefits for a network
120.
by mafribe 9y ago
new objective rules for the 21st century Which one have you got in mind? The Taliban and ISIS have rules; many radical feminists think that all PiV is rape. Are all rules equally good?

More ›