and sometimes even more! A theoretical point of view of computer science and related fields. Monday, June 11, 2012. A simple proof that the rationals are countable. Does this remind you of anything? With that analogy in mind and since usually we can prove that a problem belongs in a complexity class by a reduction to a problem of that c.

Monday, January 11, 2010. Halsey and I have been hard at work on Roundware. A new version of the server was rolled out, clients for the iPhone and Android are in the works, and a new web-based client was written for our newest project with The California Academy of Sciences. An ocean environmental awareness website. Ocean Voices is a collaboration between sound artist Halsey Burgund. And marine biologist Wallace J.

Here you can watch some crazy squirrel guy make chatbots fight. Wednesday, February 16, 2011. Turingdome is on hold, pending commentary from readers.

Some pictures from the winter. Click to see animation! December 14, 2009. New member in the family. No problems with the dogs, cant understand how they can lay next to the bed sleeping like logs when he screams so much so the cat runs away. Stil cant bend my pinky properly.