mafribe

71 ms·

691.
by mafribe 11y ago
Interisting juxtaposition that you do: accused and convicted of a crime you didn't commit and 1 in 3 suffer sexual assault Does this number include false accusations? If not, what scientifically credible methodology did
692.
by mafribe 11y ago
Manipulate symbols in this arcane syntax People have been experimenting with alternatives to formal languages for decades. Some of the results might have been helpful for beginners, but as tool for expert programmers, formal synta
693.
by mafribe 11y ago
Most modern compilers do provide hooks into the compiler. But this does limit flexibility to evolve the compiler. You can turn the argument around. As writing a parser is near trivial with parser generator tools, parser APIs are not what is
694.
by mafribe 11y ago
You need to have an understanding of other programming experiences. Part of the problem of designing programming languages is that there is little agreement and extreme heterogeneity in the opinions of what is and what isn't
695.
by mafribe 11y ago
What makes you think language designers have no experience of programming? Rest assured that the Simon Peyton Joneses and Martin Odersky's of this world have been doing a lot of programming in their time. To be sure, they do program ap
696.
by mafribe 11y ago
The use of logic as a representation language for representing interactive games was pioneered by Richard Evans (AI lead on The Sims 3) over the years, and used in various of his games. The latest installment is [1], and the logic used is a
697.
by mafribe 11y ago
Fascinating, but not surprising that the study concludes that the "effect becomes weaker with an increase in programming exper
698.
by mafribe 11y ago
There is no reason to believe that Khayyam discovered Pascal's triangle, it's much older. Heliocentrism was discussed by the ancient Greeks and predates Khayyam by over 1000 years [2]. Number theory predates Qurra by almost 3000 y
699.
by mafribe 11y ago
I agree, FB Infer is not a certifying compiler, but it's based on program logic.
700.
by mafribe 11y ago
CompCert There's now a lot of work in this space, e.g. http://sf.snu.ac.kr/sepcompcert and it's going to stay that way! Whoever said this has been proven wrong. This stuff works, it's just ex
701.
by mafribe 11y ago
You seem to be implying ... Yes. A significant portion of discrimination is invented, on the basis that women have a motive to do so. Do you agree or disagree? By that same logic ... First, that's an orthogonal issue
702.
by mafribe 11y ago
we're not discussing the motives of gender studies researchers. Have you considered the possibility that those researchers have the same motivation as the "friends"? You brought up gender studies researchers by ref
703.
by mafribe 11y ago
Would you care to elaborate A lot of 'studies' in the humanities are based on plain and methodologically naive questionaires, with low n and questionable statistical methods. One of the great social thinkers of the 20th c
704.
by mafribe 11y ago
I'm not sure you understand me correctly. My aim was to inspire thinking. I agree that a methodologically sound experiment in the social sciences would be an unusual thing to do. But should we let the perfect be the enemy of the good?
705.
by mafribe 11y ago
In what metholodically sound way are you taking into account the financial (and other) incentives (if any) at play that may have played a role in narrating tales of distress?
706.
by mafribe 11y ago
You can only build up trust credit over extended periods of time. In modern, globalised science, you often have to deal with people you've never met before, and may never meet again. This requires a different approach critique. What co
707.
by mafribe 11y ago
Line is superbig in Taiwan too.
708.
by mafribe 11y ago
Have you seen the paper "Editing Functional Programs Without Breaking Them" by Amsden et al. [1]? It does something similar. It allows you to transform any program (in an idealised typed programming languages) into any other using
709.
by mafribe 11y ago
For many unbanked, getting loans might not always be the highest priority. Just a safe place to park one's money is valuable. Imagine you are sleeping rough on the streets, where do you store your few monetary possessions? If you keep
710.
by mafribe 11y ago
The problem is that in the US you get trapped in fees One solution to this problem would be a legal requirement to have cost-free basic bank accounts. This could be a necessary requirement to getting a banking license.
711.
by mafribe 11y ago
No, why do you think it would?
712.
by mafribe 11y ago
Research on partial evaluation (PE) was fashionable in the 1990s, but largely fizzled out. I was told that was because they could never really get the results to run fast. I'm trying to understand why. Clearly meta-tracing and PE have
713.
by mafribe 11y ago
An interesting question is: can one build a meta-AOT compiler framework that converts an interpreter into a reasonably good AOT compiler? If not, why not?
714.
by mafribe 11y ago
I agree with you. I have updated my original post appropriately.
715.
by mafribe 11y ago
There is another use case for JIT compilers that has not been considered: speeding up programming language development. PyPy's meta-tracing JIT-compiler framework [1] allows you to generate reasonably fast tracing JIT compilers for lan
716.
by mafribe 11y ago
Full text here http://odube.net/papers/White_man.pdf TL;DR: Sierra Leoneans' behaviour is influenced by how they want to be seen by others, with an aim towards maximising their own benefits.
717.
by mafribe 11y ago
Doesn't exponential back-off mean that you select the time until retry uniformly at random from the interval [0, ..., 2^n-1] in the n-th round of failure, or something along those lines?
718.
by mafribe 11y ago
This is precisely what an effect system is, and what the languages that I mentioned do. So it seems that you agree with the the church of lambda on this point? No, Eff starts with a pure lambda calculus and adds effects on to
719.
by mafribe 11y ago
There is general consensus that the best way to handle effects is a pure base language with an effect system on top. No, there is absolutely no consensus on this. This approach is only popular with researchers who pray at t
720.
by mafribe 11y ago
I don't understand what you mean by encoding tax. Can you give an example? Certainly lots and lots of work to make an actual practical and usable system still needs to happen, but I don't see any fundamental lim

More ›