mafribe

71 ms·

631.
by mafribe 11y ago
I'm sorry to say this, but your second post also doesn't really address the issue and continues to misunderstand the purpose and definitions of Kolgomorov complexity. The fact that for any specific string S you can find a language
632.
by mafribe 11y ago
emphasis on group work, It's very questionable that this is a positiv change. While it is important (and difficult) to acquire teamwork skills, in practise, most groups gravitate towards one might call "Pareto Groups&
633.
by mafribe 11y ago
In my experience as a CS teacher at a university, probably 20% with no experience, and another 30% with a little experience. About 5% are already mature programmers when they come to university.
634.
by mafribe 11y ago
Have you considered the fact that minorities like Indians and Chinese have no problem with being good at math and succeeding in Silicon Valley?
635.
by mafribe 11y ago
What exactly does the first sentence mean? It's a well-known euphemism for: making it easier, diluting standards, making grades easier to manipulate. Indeed just yesterday, my head of department suggested that I move from pro
636.
by mafribe 11y ago
I teach CS at a well-known university, and am involved with hiring faculty and recruiting students. There is extreme political pressure to hire females at all levels, from undergraduate students to professor, heads of department, head of
637.
by mafribe 11y ago
Japan and Taiwan are on friendly terms, more so than Taiwan and mainland China. Japan colonised Taiwan and is considered to have modernised the island. The Japanese period is generally considered to have been better than what came afterward
638.
by mafribe 11y ago
Good recommendation, but probably needs to be updated to "don't read Twitter". 140 characters don't lend themselves to sustained and depolarising argument -- quite the opposite.
639.
by mafribe 11y ago
That depends primarily on the programmer's experience, if you are used to loops but not recursion, then obviously the former is simpler than the latter, and vice versa. If you are equally familiar with both, they then thinking about it
640.
by mafribe 11y ago
Continuations are easy: functions are hard. That's a deep truth. Thinking about of computation message-passing actors is Hewitt's and Milner's dream. It's a hard sell to the programming mainstream though. In par
641.
by mafribe 11y ago
compare computations in brainfuck to computations in C. I'd suggest that this is an orthogonal issue. It's better to compare two otherwise identical languages, one where Turing-completeness is achieved by loops, another
642.
by mafribe 11y ago
You cannot use formal equivalence to prove I'm afraid I have to disagree here. There is a mechanical translation from loops to recursion and back. Likewise, there is an associated mechanical translation from Hoare-triples an
643.
by mafribe 11y ago
iterative loops are believed to be easier to reason about. This cannot be the case, because you can translate loops into recursion and vice versa, so every reasoning problem that one finds with loops is also a problem in reasoning
644.
by mafribe 11y ago
If you saw what In a nutshell, what are networking devices doing that mixes network and transport services (other than NATing)?
645.
by mafribe 11y ago
data and transport layers are almost always intermingled In what sense other than NATing, which has been a stop-gap measure to deal with IPv4 address shortage? TCP/UDP sit on top of the network layer, not the data (link) laye
646.
by mafribe 11y ago
I agree, that simple loops that you describe are easier to analyse than full recursion. But simple loops are not as expressive as full loops (where you can modify the loop variable). As a simple example, try to phrase the Euclid's algo
647.
by mafribe 11y ago
Why is this being down-voted? Could somebody please explain why they think what I wrote is wrong? I'd be happy to learn something new about loops and recursion.
648.
by mafribe 11y ago
Iterative loops are much easier to analyze and reason about, This is not the case. Loops and recursion can be translated into each other, hence are of equal complexity in terms of reasoning. And you see that when you write down th
649.
by mafribe 11y ago
the conflict between the "machine model" ... I'm not sure I can agree. The original post makes the point that you can see recursion in multiple ways, including machine-oriented (e.g. using a stack and stack pointe
650.
by mafribe 11y ago
Why are you sure that for you, $800 worth of food is less than 2 x utility of eating $400 worth of food? How would you convince somebody who thinks you are wrong (e.g. deluding yourself, or not telling the truth)?
651.
by mafribe 11y ago
Compilers are sexy, but they're very much a solved problem. This may be true for sequential languages, but is very much false for the compilation of concurrency and parallelism. It's basically not known how to do this we
652.
by mafribe 11y ago
Practical type inference for Hindley-Milner-style languages with higher kinds is not a problem, see e.g. [1]. The problem is adding sub-typing. I'm also not 100% sure it's correct to say that ML-style languages have no problem wit
653.
by mafribe 11y ago
How do you know when warmup is finished? Warmup's a tricky issue, see this brand new paper: http://arxiv.org/abs/1602.00602
654.
by mafribe 11y ago
fast moving news source. There is a hard trade-off in news between speed and accuracy. Twitter helped moved news away from accuracy. This is a negative development as truth is more important than speed in most cases for most people
655.
by mafribe 11y ago
assist them with their elite knowledge about things no one else has considered Did economists consider how computationally hard it was to find Nash equilibria before CS folk?
656.
by mafribe 11y ago
The article is mostly about game theory, which has been a staple of economics for quite a while. I suggest to read the article more carefully. It's about applying the study of computational complexity to game theory. W
657.
by mafribe 11y ago
harder as a minority. Not if you are Chinese or Indian.
658.
by mafribe 11y ago
Thank you. It might be interesting to reflect on the social conditions that must have prevailed for judges to believe that this is a defensible judgement. Legal decisions usually reflect the prevailing mores in the social milieu of judges (
659.
by mafribe 11y ago
it is illegal to kiss your sleeping wife a man who lies about using birth control Aren't you a Canadian citizen? What are you doing to fight such insane laws?
660.
by mafribe 11y ago
we are very far away from understanding how brain biology affects That is very true and can't be repeated often enough. But it cuts both ways. There is nothing in our current state of understanding of neuroscience that cat

More ›