I've had on my "to blog about" list for months the Wolfram Prize to prove that a certain 2,3 Turning Machine is universal.
Well, in the mean time, Alex Smith has gone and won the prize. I'll still blog about the theory behind the prize, though, and maybe eventually say some things about the proof (pdf).
The original post was in the categories: mathematics wolfram_prize but I'm still in the process of migrating categories over.
The original post had 2 comments I'm in the process of migrating over.