Today is the hundredth anniversary of the World War I Christmas Truce, where a hundred thousand German and Allied soldiers left trenches, ventured into no-man's-land, played football, and sang carols.

This year, one of the speakers at the university Carols Services mentioned this fact, and attendees were provided with both English and German lyrics, to sing their choice. The resulting mess didn't have much in the way of distinct words, but the tune was unmistakeable and powerful, and there was something profoundly humbling about singing it in the Memorial Church, erected in honor of the men who gave their lives in that war and the next.

(Crimson photo gallery of the service -- you can spot the back of my head in the first photo if you look hard.)

There's something otherworldly about the idea, isn't there? -- that there was a day of the year where (literally) mortal enemies could treat each other as humans. Do you think that the warriors of the right and the left could keep

For reasons which are pretty opaque to me, apparently today has been designated Ada Lovelace Day? Which is kinda weird, since "October 14" appears nowhere on her Wikipedia page, but well, okay. At least it makes a convenient excuse to write a blog post, since she was a pretty damn cool person.

If you've never heard of Ada Byron, Countess of Lovelace before, there are much better places to read about her life than on my blog. (Like what, Ross? Well, uh, this piece on The Mary Sue? Is kinda over-excited, or maybe just adequately excited. In any case, probably go read it and come back.)

So yesterday, when a friend asked me the other day what exactly "theoretical computer science" was, if not programming, I thought a little bit and said something like:

Well, imagine that, instead of actually sitting down and telling a computer to do something, you wanted to think about what sort of things a computer could do, if you instructed it