Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Dn_Ab
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
53 ms
·
391.
▲
by
Dn_Ab
15y ago
I guess it depends on what type of person you are, what type of rules you use to distinguish things. So I am always looking for isomorphisms and equivalence relations. So to me if you are Turing complete then I can define an equivalence bet
392.
▲
by
Dn_Ab
15y ago
This is very true. And any language to language transfomation is going to have some impedance mismatch. Nonetheless, it does not follow that since JVM was built specifically for Java, the impedance mismatch of Lisp -> JVM would result i
393.
▲
by
Dn_Ab
15y ago
I am saying that the church turing thesis is not a fact or theorem. It is an unprovable hypothesis, a belief whose inclusion in a deduction does not add any more to it unless the receiving party also agrees with it. The other part is that t
394.
▲
by
Dn_Ab
15y ago
I fail to pick up the relation. The Church Turing thesis is an unproveable statement arguing that a turing machine can compute every computable function. It also notes the equivalent ability in mu recursive functions and the lambda calculus
395.
▲
by
Dn_Ab
15y ago
Arguably only Lisp Machines hold that distinction. The other common targets are C, LLVM,Arm and x86. I don't see how they can be said to be designed any more specifically for lisp. At least the LLVM and CLR have TCO.
396.
▲
by
Dn_Ab
15y ago
The only slightly redeemable aspect of spam is that the first bot to write poetry may well be an evolutionary descendant of the spam-anti spam war.
397.
▲
Natural Language Generation for Spam
(lingpipe-blog.com)
7 points
by
Dn_Ab
15y ago
|
2 comments
398.
▲
by
Dn_Ab
15y ago
The way I read this it looks like you are placing the data part as more difficult? Although the system you speak about sounds like it is AI Complete. Figuring out how the human mind manages to maneuver combinatorial explosions in interesti
399.
▲
by
Dn_Ab
15y ago
Excellent point and I suspected someone would call me out on this. Notice that I also said at least a Turing Machine . As I respond to another comment in this thread, implicit in my statement is the belief that the universe is calculable o
400.
▲
by
Dn_Ab
15y ago
I actually do take that position.
401.
▲
by
Dn_Ab
15y ago
I agree with your sentiment. Gödel's work applies only to formal axiomatic systems of a specific strength. There are formal systems that are so weak they can prove their own truth and every statement is decidable (every true statement can b
402.
▲
by
Dn_Ab
15y ago
Wow that was very interesting to read and shows you guys are pushing boundaries even when the goal is a pragmatic language. One last big thing that Shapiro mentioned was criticizing purity alone as a useful way of attacking concurrency and
403.
▲
by
Dn_Ab
15y ago
I do not think Scala is an ML. The use of the word acceptable and indeed restricting it to an ML derivative loses the point of what Scala is supposed to be. Scala is supposed to be something different: a successful melding of OOP and functi
404.
▲
by
Dn_Ab
15y ago
I agree and I think the inverse can be said about intelligence. There the target keeps moving down instead of up. At least for me, the more I learn the more I appreciate the intelligence of the nematode. I appreciate intelligence as not som
405.
▲
by
Dn_Ab
15y ago
Looks like apaprocki clocked it. http://news.ycombinator.com/item?id=3682531
406.
▲
by
Dn_Ab
15y ago
I agree and as a kid I always wanted to visit both the Moon and Mars. But for any of this to happen we need a breakthrough that applies Moore's law to $/kg for space travel to become economical. We need cost effective nuclear fusion to incr
407.
▲
by
Dn_Ab
15y ago
While you are correct of HMMs as an example of a Bayesian network, the essence of Pearl's foundational contributions lie in: http://en.wikipedia.org/wiki/Belief_propagation and http://en.wikipedia.org/wiki/Markov_blanket . Bayesian Netwo
408.
▲
by
Dn_Ab
15y ago
Basically he brought Bayesian Networks to machine learning. He did a lot in their structure and in particular efficient/approximate inference on Bayesian Networks. He has been contributing brilliant ideas since the early 80s I think. Searc
409.
▲
by
Dn_Ab
15y ago
I agree with you but only while limiting the scope to the best that can be done for a biological agent which must pass through a birth canal and evolved under strong resource limits. Can you apply intelligence to more than one person? Can
410.
▲
by
Dn_Ab
15y ago
People tend to overestimate the change that can happen in 50 years and underestimate the change that can happen in 10 years. The overestimation is an interesting one, it is an overestimation of how consistent future trends will be with curr
411.
▲
by
Dn_Ab
15y ago
Do you consume sugar, vitamins or oxygen? Have you ever inhaled Nitrogen Oxide or maybe stood near a car while its engine was on? Nevermind. This concern of long term health is reducible to: what effect does taking this action have on my pr
412.
▲
by
Dn_Ab
15y ago
I came here to write just that. The only predictions I am sceptical about (more hoping against hope) are nanoscale atomically precise manufacturing and an interplanetary backbone. I've heard Vint Cerf talk about that interplanetary network
413.
▲
by
Dn_Ab
15y ago
It remains to be seen if consciousness is even useful if your goal is to maximize intelligence. I could go on in more depth but only if someone cares to hear my thoughts on the topic. But I will leave this: What do Expertise, http://en.wi
414.
▲
by
Dn_Ab
15y ago
" Developing fully automated methods to hide traces of one’s writing style remains a challenge ". How would the following 3 methods fare? Method1: Run the text through a markov chain constructed maybe from a mixture of 0.5 your text, 0.25
415.
▲
by
Dn_Ab
15y ago
Can you be a bit less general about your algorithm? Without giving any specifics that you may wish to keep to yourself of course. What distinguishes it from statistical methods for example?
416.
▲
by
Dn_Ab
15y ago
Most languages have most of the listed features. The most interesting uncommon idea on that list to me is model of time. But only when it allows reversible computing. I don't know how practical that is though. Anyways I've separated out the
417.
▲
by
Dn_Ab
15y ago
Oh, no I did not think much of the article. I had already encountered these concepts earlier. My examples are not based on the article but on research I have consumed. I pasted some links in my first post. Yes, this has been long studied fo
418.
▲
by
Dn_Ab
15y ago
Ah, is that a reference to Feynman? You criticism is valid but the work being done in the area is certainly not of the phlogiston type. In fact, your criticism applies to much of modern medicine where the systems are so complicated and litt
419.
▲
by
Dn_Ab
15y ago
This is a terrible title to an ok article. Basically it is about spaced repetition and the contextual interference effect. The argument for the latter being if you focus on one thing your brain will rely more on short term memory in working
420.
▲
by
Dn_Ab
15y ago
As I noted in another post this device looks like more of a memory and learning aid rather than targeting IQ. My lay hypothesis is that this device works by increasing the baseline of current flow at target synapses - kind of like waking th
More ›