devinj

18 ms·

181.
by devinj 16y ago
Heh, last line: "Our investigation leaves unresolved questions that raise serious questions [...]"
182.
by devinj 16y ago
I didn't say otherwise, and did explain why reducing 3-SAT to this proved NP-completeness.
183.
by devinj 16y ago
The submitter != the author.
184.
by devinj 16y ago
I thought it said plenty. Admittedly I only read the first paragraph and went "oh, I get it". They're just things that are subjective, even if we nominally agree on an objective definition. Like, we can all agree that a ketchup bottle is re
185.
by devinj 16y ago
No, NP Completeness states that you can go either way. Specifically: A problem X is NP Complete if: 1: X is in NP. 2: Every problem in P can be reduced to X in polynomial time. We have established the first condition by intuition-- pathfind
186.
by devinj 16y ago
Aha! This had been troubling me for some time, but I didn't have a name for it. Now I do. Thank you.
187.
by devinj 16y ago
+1. Yeah, I was only thinking of his work on computation (not even AI!). I should have been more clear.
188.
by devinj 16y ago
Other people did do it, and even at nearly the exact same time. Turing just did it more convincingly. (See: Alonzo Church and the Lambda calculus).
189.
by devinj 16y ago
What's new about this technology, or swift about this decline? The web has been around since I was a kid. I still don't even know what's changed.
190.
by devinj 16y ago
Magical quality? Well, 2 genders instead of one. I don't find the idea that children take their cues depending on the gender of the parent at all unreasonable. It's certainly entered the common mind as an idea of what happens. Is it true? N
191.
Ask HN: Where are the WebGL JS game engines?
4 points by devinj 16y ago|1 comments
192.
by devinj 16y ago
There is no "human logic". Logic is logic. It encompasses thoughts both natural and foreign. Who, for example, really finds the Banach-Tarski paradox intuitive? And yet it's logical. In fact, it follows from somewhat intuitive logical rules
193.
by devinj 16y ago
Given the highly logical minds required to develop technology that could let them traverse the stars, assuming them to make a decent cost-benefit analysis is not unreasonable. If they raided Earth for resources, it would either be because w
194.
by devinj 16y ago
Eh? It only has to move relative to the image behind it. Parallax should do the work here.
195.
by devinj 16y ago
And what if I don't agree with your definition of "stupid"? Or, "hopeless"? Or "definition", for that matter! All words are ambiguous. What we interpret them to mean is not some hard concept, but the sum of a range of lifetime experiences w
196.
by devinj 16y ago
No artist has a free hand. Just as the architect cannot create something unsound, the sculptor cannot create something that moves or speaks. The musician cannot include visuals, and cannot use sounds that are outside the range of human hear
197.
by devinj 16y ago
That's nice and all, but Firefox is still one of the biggest browsers out there. It's not obsolete, and you can't ignore it if you value users. In fairness, not everyone values users.
198.
by devinj 16y ago
See, I don't know. I sort of understand the appeal of having a one-sentence license you can just give people, but at the same time I like attribution, and the WTFPL doesn't offer that. In fact, it explicitly gives it away. Are people allowe
199.
by devinj 16y ago
Consumed and processed by you, perhaps. The film was released (somewhat shortly) before I was even born. I watched Die Hard for the first time last year. Before then, the only thing I knew about it was that it had Bruce Willis in it. I don'
200.
by devinj 16y ago
Also, it conveniently avoids spoilers.
201.
by devinj 16y ago
There's no reason the sections can't be given constant names-- instead of #toc29 you could have #visas. This would avoid the explanation of how links can break, as well as avoid breaking links (and, as a bonus, you can stay backwards-compat
202.
by devinj 16y ago
I see plenty of posts with 10 points on the front page. This was one of them.
203.
by devinj 16y ago
Yeah, I agree, it's just about as easy to compute Lisp arithmetic as infix arithmetic. The problem, for me, is that it's not as easy to understand, read, or write. By this, I mean that most of the time that I'm reading an arithmetical expre
204.
by devinj 16y ago
Actually, no, that's not how economics has always worked. Mercantilism was very popular before free market capitalism came along.
205.
by devinj 16y ago
Is it cause for concern, or just a statistically insignificant blip? It seems obvious to me that it is neither. Even among java programmers, a miniscule fall that brought it a tiny bit below another language that isn't generally used for
206.
by devinj 16y ago
No, no, the correct company to choose for that joke is Nokia! Argh you've ruined everything !
207.
by devinj 16y ago
You're missing a word (my guess from context: "stop").
208.
by devinj 16y ago
I think what is most apparent is that different people drink different ways. There is nothing unreasonable about the "hypothetical" case.
209.
by devinj 17y ago
Everybody should program computers. Everybody can program them. I was with you up until this point. I don't know that everyone can program computers, and it's quite possible that many people cannot. Observe: some people cannot, as program
210.
by devinj 17y ago
Oops, I misremembered. I was thinking of Ein-Stein, not Molly's.

More ›