YorkshireSeason

16 ms·

91.
by YorkshireSeason 7y ago
Soldiers, children and old-age pensioners are not productive, yet not pathologised. Whole swathes of jobs are not truly productive, e.g. marketing and advertising, psychologists, priests, yoga-teachers.
92.
by YorkshireSeason 7y ago
Mark Fisher's entire work can be summarised without much loss by saying "It's all capitalism's fault!" How is this interesting? I met him personally a couple of times, I don't think he would have been able e
93.
by YorkshireSeason 7y ago
Very perceptive! Just today, Nick Clegg, former Deputy Prime Minister of the United Kingdom, and currently Vice-President for Global Affairs and Communications at Facebook, explicitly asks for FB to be regulated [1]: "We need governm
94.
by YorkshireSeason 7y ago
as well as a social construct. I suggest to refine this statement, because as written, it posits the biological and social parts of reproduction as equals. This is slightly misleading since the basic biological facts of reproducti
95.
by YorkshireSeason 7y ago
Paternity is a biological construct. Royal intermarriage has been practiced by ruling dynasties since times immemorial. It had often been observed that this leads to problems and infertility, and indeed this is the root cause for the inces
96.
by YorkshireSeason 7y ago
If infidelity is a valid cause for divorce, the state acknowledges that there's something wrong with it. Moreover, actively tricking somebody into taking on the social obligations of fatherhood, is a dramatic violation of most major mo
97.
by YorkshireSeason 7y ago
Like most "very fascinating" ideas it's also clearly false. Paternity is clearly and demonstrably a biological concept. You can easily see this when pondering the idea of having sex with your parent, and the possibility of am
98.
by YorkshireSeason 7y ago
What you say is true, but I'm not sure it's in contradiction with my point.
99.
by YorkshireSeason 7y ago
That's maybe mostly a semantic quibble about the precise meaning of trust. I don't think it's considered absurd to say "I trust that my plane won't crash" when flying. Maybe it's more usual to say "I
100.
by YorkshireSeason 7y ago
And for good reason. A responsible supervisor will typically give PhD students tasks that he has already "kind-of / sort-of" worked out as feasible. I once read the following recommendation for how to set dissertation subject
101.
by YorkshireSeason 7y ago
Tibetans!
102.
by YorkshireSeason 7y ago
I am not sure even de jure the situation is clear. I think the following is the case (but I'm not a legal scholar, so please correct me if I'm wrong!) When Japan lost the war, Taiwan was governed by the Allied Powers, who appointe
103.
by YorkshireSeason 7y ago
Taiwan only holds on to the historical claim to ruling China because a change in status is feared to trigger the China's anti-secession laws, which in turn would lead to an invasion on Taiwan by China. Better not to "rock the bo
104.
by YorkshireSeason 7y ago
Taiwan is not a province of China, but an independent country. Other than that, I agree with your assessment: Taiwan's thriving democracy undermines and contradicts the Chinese Communist Party claim to power, in particular the CCP&
105.
by YorkshireSeason 7y ago
The generation of globally fresh variables (the Lisp community uses the famous gensym function for this purpose) is notoriously non-functional. Template Haskell uses a variant of the IO monad to hide the global state involved in the
106.
by YorkshireSeason 7y ago
Sure, I'm intimately familiar with the Lisp family of languages. It lacks features that I prefer in a modern meta-programming language, in particular an expressive typing system with type inference, and a platform / eco-system li
107.
by YorkshireSeason 7y ago
Compile-time MP and run-time MP. Support for AST and quasi-quote MP, and support for LMS (= lightweight modular staging).
108.
by YorkshireSeason 7y ago
Template Haskell is nice, but doesn't allow higher meta-programming, eg. meta-meta-programmming.
109.
by YorkshireSeason 7y ago
Scala has the most advanced meta-programming facilities. And Scala's MP is widely used. If you are interested in research-prototype languages, https://convergepl.org/ is interesting. But Converge is no longer under act
110.
by YorkshireSeason 7y ago
How do you ensure that the proof system you are enumerating over is strong enough to prove that the program witnessing P=NP is indeed polynomial? Prima facie polynomialness of this program can be independent from the ambient logic.
111.
by YorkshireSeason 7y ago
That is misleading. Simplifying a great deal, the Curry-Howard correspondence asserts the following identities between intuitionistic logic and pure functional programming: * Types = formulae * Programs = proofs * Beta-reduction = cut-elim
112.
by YorkshireSeason 7y ago
Out of the circa 8760 hours of the year, what fraction is like today? (Moreover, even today, parts of e.g. Hyde Park that are away from the main walkways will not be like Benidorm central beach in the high season.) Why overfit on rare edge
113.
by YorkshireSeason 7y ago
Hong Kong did this (public transport stations located in the sub-basements of selected buildings) really well. Note however that skyscrapers also have scalability limits: as height increases, the amount of interior that gets eaten up by no
114.
by YorkshireSeason 7y ago
real estate is very expensive Can it even be the case that real estate is "very expensive" when almost half of the South Korean population can afford to live around Seoul? Dwelling expenses should be evaluated relat
115.
by YorkshireSeason 7y ago
An interesting question is: do all factors scale at the same speed? The experience of e.g. Hong Kong and Manhattan seems to suggest that it's easier to provide for public transport, schools etc, in ultra-dense environments. One of the
116.
by YorkshireSeason 7y ago
I don't see much / any category theory in the two papers linked. So I'm not sure what to say.
117.
by YorkshireSeason 7y ago
I recommend thinking about this probabilistically: X% of tenants are reasonable and handle the repairs they are contractually required to handle smoothly. (1-X)% of tenants are a massive headache, and call the landlord for every lightbulb t
118.
by YorkshireSeason 7y ago
Category theory studies the composition of (things that look like) functions. So each thing has a domain, and a codomain, and if we compose A --f--> B with B --g--> C then the intermediate B goes away. This doesn't sit nicely wit
119.
by YorkshireSeason 8y ago
This is part of China's multi-pronged strategy for taking over Taiwan. One prong is coopting Taiwanese elites, in parts by allowing them to become very wealthy through China, but only if working in the background for unification. There
120.
by YorkshireSeason 8y ago
How did the students react to session types? They are awkward to use in practise (communication topology is usually data dependent) and Rust is awkward, so both together should be really clunky ...

More ›