mafribe

78 ms·

481.
by mafribe 10y ago
It's important that there are two very different approaches to control flow manipulation. They differ in when the target of a jump is bound. - Static binding of location to jump to. This is what goto, callcc, while, for etc. do. - Dyna
482.
by mafribe 10y ago
You are right of course, I was drastically simplifying my points for the sake of the discussion. It is quite normal to stage a partial rebellion against one's upbringing, it's part of the normal process of maturing into an adult.
483.
by mafribe 10y ago
Sorry, that should be: ... are not exactly helping ...
484.
by mafribe 10y ago
There are so many, I don't have the energy to type millions of words, so here is but one link: http://www.lawlink.com/research/caselevel3/74059
485.
by mafribe 10y ago
Thank you for your thoughful response, in particular reflection on the strong tendency to encourage men to "whiteknight". There is an interesting convergence between feminists and conservatives, in that both seek to demonise and c
486.
by mafribe 10y ago
my understanding is that sexual harassment and rape are grossly underreported. My understanding is quite the opposite. Recent media scares from the mattress girl to the UVA rape hoax to "Joey" [1], not to mention
487.
by mafribe 10y ago
are you willing to step up your game? I'm going to step up: what are you doing concretely to stop dead false accusations? What are you doing to counter the blatant misandry in current harassment laws? To wit, you wrote "
488.
by mafribe 10y ago
baseless accusations are much rarer. And where is the credible evidence for this claim? NB citing Wikipedia or a newspaper is not credible evidence.
489.
by mafribe 10y ago
I'm not sure I can agree. Every language that is being heavily used eventually acquires meta-programming extensions of some sort of other.
490.
by mafribe 10y ago
Artificial Intelligence is because metaprogramming is easier in homoiconic languages. Homoiconicity is something you can add to any language, dynamically or statically typed, simple or complex, it doesn't matter. It
491.
by mafribe 10y ago
Yes, that's definitely one of the great things about Scala. If you come from an OO background, I recommend to avoid using Scala's functional features at the start. Just treat Scala as a nice, conventional OO language until you ar
492.
by mafribe 10y ago
I'm afraid I disagree. I went from Ocaml to Scala. While full type inference is nice, it's a minor issue in practise, but the vastly bigger library ecosystem that Scala has (due to being a JVM language) isn't. Object orientat
493.
by mafribe 10y ago
I agree, it's a bit of a crazy question, but, as "articfox" also points out, "mahmud" may have some interesting insights to share.
494.
by mafribe 10y ago
Interesting. Could you say something about why the jihadi ideology was introduced in Somalia, by whom, and why it was able to take hold?
495.
by mafribe 10y ago
The quote is about heartbeats.
496.
by mafribe 10y ago
I find it hard to reconcile the general message of the text with this statement about heartbeats: The simpler the signal, the higher the likelihood of abnormal rhythms, Clearly, abnormal rhythms, almost by definition, mean a mor
497.
by mafribe 10y ago
DeepMind's main intellectual property, the reason why it was acquired, was DeepMind's reinforcement algorithm. The present paper, like the work on AlphaGo, is about improving this reinforcement algorithm.
498.
by mafribe 10y ago
A human would instantly notice many ... But isn't that exactly what Schmidthuberian intrinsic motivation is about? In Schmidthuber's account, which inspired the paper under discussion, intrinsic motivation is measured by
499.
by mafribe 10y ago
He gave advice to organizers in his day, Yes, and terrible advice it was: in the Communist Manifesto [1] Marx & Engels gave concrete recommendations what is to be done to bring about a transition from capitalism to communism v
500.
by mafribe 10y ago
You are reducing a social problem to the question of individual intentions. Why is this an interesting option? Presumably nobody "want[s] to cause mass death". Arguing at the level of subjective intentions trivialises the complica
501.
by mafribe 10y ago
I've been using Scala as my main development language since 2011. I came from a strong functional programming and C++ background, consequently learning Scala wasn't hard for me, and I find all claims about Scala's complexity
502.
by mafribe 10y ago
Concurrency (understood as message-passing concurrency) is much more expressive than either OO or FP. Milner invented pi-calculus because its predecessor (CCS) was not expressive enough. One example of the lack of expressivity is that the e
503.
by mafribe 10y ago
Parametric polymorphism is a concept that is orthogonal from the FP/OO distinction. You can define parametric polymorphism for parallel computation for example.
504.
by mafribe 10y ago
counter-example in mind? I note that GADTs are types, so this might not scale to an untyped setting. Anyway, I'm not following research on GADTs closely, but you show me a sound and complete, compositional encoding of (idealis
505.
by mafribe 10y ago
I agree that implicits and type-classes can provide ad-hoc polymorphism, but I'm not aware that they have been reduced completely to FP without them, I'm also not aware of implicits and type-classes working in an untyped setting.
506.
by mafribe 10y ago
That's correct, but in which other ones is the integration so smooth as in Scala?
507.
by mafribe 10y ago
I'm afraid this is wrong. Yes, all programming languages are equivalent in the sense of the Church-Turing thesis. From the point of view of PL research that means equivalency with TMs is an uninteresting criterion for comparing PLs. C
508.
by mafribe 10y ago
This is a really interesting question and much work has been done. For a long time, lambda-calculus has been seen by a lot of programming language researchers as the foundation of programming to which every other paradigm has to be reduced.
509.
by mafribe 10y ago
There is an increasing appreciation that large proofs need "proof engineering" that is similar to software engineering. See e.g. - D. Aspinall, C. Kaliszyk, Towards Formal Proof Metrics. - G. Klein, Proof Engineering Considered Es
510.
by mafribe 10y ago
Most parents have a deep emotional bond with the children, especially when they they are vulnerable babies. It's probably the strongest emotional bond humans can form. Due to this bond, the relationship between children and their paren

More ›