Kathryn Cramer tells Boing Boing:

The Wolfram 2,3 Turing Prize winner was announced this morning: a
20-year old engineering student named Alex Smith who learned about the
contest from a chat room. Link.
The write-up in Nature is here.

Alex Smith, a undergraduate
electrical engineering student at the University of Birmingham in the
United Kingdom, has proven that a primitive type of computer known as
a 2,3 Turing machine can solve every computational problem there is.

And Stephen Wolfram's blog entry on it is here.

Smith's 40-something page proof is here, proving that the Turing
machine is "universal": PDF Link.
There's also a piece in New Scientist which has some nice bio
material on Alex Smith here.

You’d be forgiven for thinking the videocassette format long-dead, but it turns out that Betamax is still around. Sony is finally going to withdraw tapes from sale, bringing a 40-year story to an end. The last recorders were sold in 2002. ベータビデオカセットおよびマイクロMVカセットテープ出荷終了のお知らせ [Sony; via The Verge]

A leaked Comcast memo discloses that the company’s consumer data caps have nothing to do with network congestion, contrary to its public claims. The internet service provider has often complained (such as when lobbying against net neutrality) that it must impose limits on service to prevent network congestion. The argument suggests that these measures are […]

LA Makerspace co-founder Tara Tiger Brown shares a project that her kid-friendly maker workshop is trying to make a reality.

These knitted gloves are here to save the day (and your hands) with an ultra-comfy, double-layer that will allow you to stay warm and use your phone. Now you can take photos on the fly, text, Tinder, and more without letting freezing temperatures get in your way. Plus they work with all touchscreens, so no […]

Store more on your Mac with this microSD memory card adapter.

Carrying this EDC card is like slinging around a handheld toolbox wherever you go. Its minimal design is small enough to fit in your wallet’s billfold, and it’s TSA-compliant so you’ll never leave it behind. It’s got hex wrenches, metric and imperial rulers, flathead and Phillip’s screwdrivers, and a bottle opener so that you’re ready […]

“Wolfram, founder and chief executive of Wolfram Research in Champaign, Illinois, issued the challenge this May to satisfy his own curiosity about how complexity emerges from simple systems. The idea is that a properly applied set of basic rules can create an enormously intricate result. “It’s actually a lot easier to make complexity than one might have thought,” he says. “I find it particularly tantalizing.””

Soooo, given enough time and energy, it might be possible to evolve an enormously complex eco-system from just a few particles? That can’t be right, surely?

Wow, as a college freshman in computer science it’s nice to see something this large being accomplished by someone so young. Congrats Smith!

Perhaps one day there’ll even be practical molecular computers built from this very 2,3 Turing machine. With tapes a bit like RNA strands, and heads moving up and down like ribosomes.This kind of stuff blows my mind. That something so simple can exhibit behavior so complex.

Wolfram’s Blog (once you get through the typical Wolfram evangilism in the first half) has some really interesting points about possible applications of this find.

“When we think of nanoscale computers, we usually imagine carefully engineering them to mimic the architecture of the computers we know today.” … however,

“We don’t have to carefully build things up with engineering. We can just go out and search in the computational universe, and find things like universal computers–that are simple enough that we can imagine making them out of molecules.”

Here’s the link to Wolfram’s whole post:

http://blog.wolfram.com/2007/10/the_prize_is_won_the_simplest.html

What really blows my mind about the Wolfram post (and everything he writes) is the sheer arrogance of the man. Yes, it’s a big accomplishment. But he spends only a fraction of the article acknowledging Smith’s contribution. Mr Wolfram clearly seems more satisfied with himself for “discovering” the machine (via a heuristic search, it seems?) than with the proof, which merely confirms his awesomeness. Even Alan Turing gets little credit for his lame-o, messy version of the universal machine — it’s a shame they put

hisname on it.Maybe I’m just too bitter at other stuff I’ve read from Wolfram, but his style makes my skin crawl. And every time Mathematica ticks me of I curse him under my breath.

Congratulations for a great contribution. I have always hoped that what Alex proved was true. Pythagoras’s Monad lives again!

Hmmmm, regarding life as an example of complexity from simple beginnings – Alex Smith like – would it be (theoretically) possible to build a human brain that was in fact based on a clock work mechaninsm? Or, say, a paralled up Alex-Smith Turing Machine?

Our pride at regarding ourselves as simple machines, could be saved by claiming that stacked up epistemology could in fact be an entity itself. Consider David Deutsch’s visualization of a research institute being built in deep space from the atoms in free space + knowledge. An area the size of our solar system could provide enough atoms. Atoms alone do nothing much except sit in deep space, but with epistemology thrown in – wow, that’s somehow different. Yummy food for thought.