I just finished the adventure game Loom. And I played it on my phone! A lot of games don't work well on the P800 because the jog dial is too clumsy to act as the cursor keys. But the old point and click adventure games work perfect with a touch screen. The EGA and VGA screens actually look really good on the P800's screen. Even the sound is as good as I remember it. EScummVM made this possible. I'm off, I have to become a mighty pirate!

Dan Grigsby: "I've put together a service to send out alerts via AIM whenever someone reads a blog entry." [Scripting News]

I have this running on my site. It's fun and very easy to set up.

Sam Ruby made an XSLT tranformation from Atom to RDF. He said it was hard to do. On the #echo IRC channel I said that XR would probably make it a lot easier. Then Sam asked me to make an XR transformation that would do the same thing. I did, and here it is.

I've been reading A Tutorial on (Co)Algebras and (Co)Induction. What I'm wondering when reading it, is the use of tuples. Everything is converted to and from tuples. An example:

data List = Nil | Cons Integer List

head Cons x xs = x
tail Cons x xs = xs

The Cons constructor creates a tuple. The head and tail destructor extract it again. Now look at a hypothetical "object oriented" system:

List = Nil | Cons

Nil = Class[]

Cons = Class[
  head = Integer
  tail = List
]

Now the constructors and destructors are defined together. The storage spaces Cons provides are in effect named. This is for me the most important reason why Object Oriented style works. Most if not all functional languages encourage the use of tuples and lists, which makes the purpose of the data anonymous.

I like almost everything else I read in the tutorial. It's only the product of types that I'd like to change from the positional A x B x C to the named p:A x q:B x r:C (where the order is not important). Maybe the interesting, but hard to understand, theories that are built on top of (co)algebras and (co)induction will actually become readable.

I went to see Terminator 3 with the Xopus team. Afterwards we had some discussion about machine intelligence, not about the movie itself. That's usually a sign of a good movie.

On a related subject, Gregor linked to The Second Renaissance, a history of the world before the Matrix was created. Like the Terminator movies, this gave me the feeling that machines will always win, they simply have a evolutionary advantage. Lon told me that Bill Joy has the same ideas. He even recommended that scientists halt potentially dangerous research. In a certain way, Terminator 3 shows that the Semantic Web is the biggest danger. We should stop developing it!

I'm not even sure if I should say that I'm only kidding.