Dn_Ab

69 ms·

541.
by Dn_Ab 15y ago
This language looks excellent, looks just right in goldilocks terminology. Also I like a lot of their justifications, especially their answer to functional programming. While I mostly agree with what they say, even where you don't agree, wh
542.
by Dn_Ab 15y ago
This path followed to its logical conclusion leads to turing's tarpit.
543.
by Dn_Ab 15y ago
This is actually not surprising since word Frequencies more or less follow a power law probability distribution. With a vocabulary of even 1,000 words you are very well covered. Anyone who engages in a discussion with words that are not ver
544.
by Dn_Ab 15y ago
You could use a while loop or recursion instead of a for loop. A couple of simple things I noticed is that the complexity of your functional code is higher than the imperative - it shows the speed of ocaml that it was able to get you so muc
545.
by Dn_Ab 15y ago
Balance. In seeking to lift one group you cast aside another hard working group of people. Certainly PrimeSense contributed much, but to discount the hard work of those in MS Research as something less by wrapping them in quotes only serves
546.
by Dn_Ab 15y ago
I was giving a simple metric by which to check turing completeness. If the language allows you to do infinite loops e.g. "while loops" then it is turing complete.
547.
by Dn_Ab 15y ago
Well actually unbounded recursion and infinite memory is what is required for turing equivalence. Conditioning can be present in a non turing complete language. I added the practically because all computers on which language models are buil
548.
by Dn_Ab 15y ago
CoffeeScript allows loops no? Therefore it is turing complete (practically).
549.
by Dn_Ab 15y ago
If i understand correctly collect is more like map from functional programing languages and inject is a fold. One maps a collection of one type to a collection of another type, and the other reduces a collection of one type into something o
550.
by Dn_Ab 15y ago
And this silo, where even extensively trained mathematicians of other fields can barely understand each other is a large part of the problem. This is not aimed at you but a general problem. It is a real bottleneck. An inefficient use of res
551.
by Dn_Ab 15y ago
The axiom of choice also allows you to prove the existence of a strategy that allows near perfect predictive accuracy given a function and a set of all past points. The reals themselves admit many far out properties such as virtually all re
552.
by Dn_Ab 15y ago
When I was in high school failing calculus for whatever reason - bad teacher, or Im too slow, whatever - but refusing to accept I could not grasp the subject I stumbled upon Keisler's work on Infinitesimal Calculus. While I did not fully gr
553.
by Dn_Ab 15y ago
Ardent monopoly fans? heh. I not particularly skilled in javascript but surely multiplying by 7 would return a number between 0 and 6 inclusive? Which is much more like rolling two 7 sided dice numbered from 0 which yields a different value
554.
by Dn_Ab 15y ago
Curious why you think LastPass is too hard for the average user. It integrates with the browser and autofills stuff. Where is the point of difficulty and how can it get easier than that?
555.
by Dn_Ab 15y ago
Is there anything observed in the real world that is actually of exponential growth and not in fact logistic - affected by negative feedback effects? In an effectively finite universe continued exponential growth is impossible.
556.
by Dn_Ab 15y ago
Data can be manipulated to confirm biases - hence the flaw of averages and jokes about 3 types of lies. And human intuition has also led to discoveries. Consider that Poincare felt logic was inferior to intuition. Point being just because s
557.
by Dn_Ab 15y ago
Could you go more into developing automation tools for biologists?
558.
by Dn_Ab 15y ago
I'm not sure I understand your use of the term dynamic dispatch. Single dispatch is pretty run of the mill, basically everyone does it if they do OOP. Multiple dispatch used to be a lot less common but these days most interesting languages
559.
by Dn_Ab 15y ago
In the wider world most people are still using C, C++, Java and C#. And then in the more interesting statically typed languages the most used are Haskell, Scala, F# and Ocaml. So no I don't think static languages are in the wane.
560.
by Dn_Ab 15y ago
I don't disagree with your sentiment - any future theory must hold to current theories at its limit. But I disagree that we know what anything really. To know what gravity is really we must answer. What is mass, space, time, spacetime, iner
561.
by Dn_Ab 15y ago
I do. I like to think and walk. Being able to whip up my phone and say something like plot d/dxdydz of [some equation in 3 terms] or maximize f(x) or solve some differential equation in a mix of english and symbols is very convenient. On ch
562.
by Dn_Ab 15y ago
Im not an anything (maybe hacker) but my understand is that its centred on power and current materials. I understand it as follows: Increasing clock speed means increasing power usage, smaller designs means that quantum tunnelling effects i
563.
by Dn_Ab 15y ago
I wouldn't because not all parallel algorithms result in a constant linear speed up with respect to cores. http://en.wikipedia.org/wiki/Parallelization#Amdahl.27s_law_...
564.
by Dn_Ab 15y ago
No. Although Scala does introduce many more temporary objects so you might want to be careful with allocations and the types e.g. undiscriminated use of tuples. This may not be an issue depending on your performance needs.
565.
by Dn_Ab 15y ago
>But, language rant aside, even if Scala were the cat's meow, >you still have to include the Scala base libraries with every >app. Proguard may help, but it seems wasteful. As someone who is using scala for 2 android apps one sm
566.
by Dn_Ab 15y ago
Is this it? http://www.uvm.edu/~cmplxsys/newsevents/pdfs/2010/nowak2010a...
567.
by Dn_Ab 15y ago
Wow. That is nothing short of amazing. Thank you, your comment motivates me to learn more about biology. For one, I have been labouring under the illusion that the brain holds a monopoly in terms of organizing intelligent behaviour. The imm
568.
by Dn_Ab 15y ago
Wikipedia agrees with your implicit warning. http://en.wikipedia.org/wiki/Carbon_nanotubes#Toxicity . What can those more knowledgeable say? It would be irresponsible and foolish to push on ahead, ignoring history, if the health concerns
569.
by Dn_Ab 15y ago
As someone who just got a chinese brand android derivative for experimentation, curiosity and comparison I can assure you that if Amazon decides to differentiate heavily across brand they will efficiently partition the android universe. The
570.
by Dn_Ab 15y ago
Based on his single example I suspect any market which requires intimate familiarity with and the ability to minimize what bureaucratic ritual dances must be taken before, after and in-between any action.

More ›