A review of A New Kind of Science in New Scientist makes the excellent point that one of the huge problems with it is that it doesn't make disprovable claims. One thing that's been interesting is that the reviews of ANKoS have been quite mild, while its flaws are obvious …

Wolfram's A New Kind of Science is execrable. It's 1100 pages based on a point that everyone interested in the subject already knew: simple cellular automata can have arbitrarily complex behavior. Given that CAs and Turing Machines are the particle accelerators of computer science, and given the heavy buzz related …

ad.doubleclick.net crashes my Internet Explorer. I think I may have once done some manipulation so that doubleclick.net resolves to the localhost, so what may be happening is that ad.doubleclick.net is trying to resolve to a more specific machine that localhost, timeout, etc.

A Turing machine moving across a tape can also be seen as a triangle of possible cells being occupied / set into a definite state on a plane, a la the evolution of a cellular automata. Hmmm...

I've been thinking about P != NP lately. I think the recent advances in thermodynamics of computation give the insight to solve it. Basically, my thought is that if you can characterizes P and NP problems in terms of area (or more specifically, growth), you can apply physical constraints (notably C …