Last week I failed to do any work on my website program, as I was taking a look at agda2. Dependent types are awesome!

Haskell + Eiffel = 2 * (contempt for Java)

My image gallery replacement software for Drupal is gradually taking shape.

The requirements are:

• It must be Haskell (because that's what I want to program in).
• I need at least the full functionality of the Drupal V5 Image Gallery module, without the bugs, and we the possibility of an image being in multiple galleries.

What I'm experimenting with at the moment is:

It was windy, cool, and the sun didn't come out until late today, at Mere Sands Wood. As this was the annual walk lead by Dr. Phil Smith, it was particularly disappointing. By 13:00 I had only seen 5 individuals. Still, most people got to 6 species in the end.

Today in the Park it was sunny, but very windy. I only saw Large Red Damselflies, but there were 24 in all, spread over all four dragonfly pools.

The majority were teneral, but there were quite a few males in mature colouration, some of them braving the wind to maintain station, and occasionally make short flights, over the water.

This website is now running on DragonFly BSD 2.2.0. For purely sentimental reasons.

I've been programming full-time in Eiffel now for about 6 1/2 years, so I'm well-used to dynamic monitoring of assertions used to write contracts.

Now that Chu Shogi 3 is apparently bug free (who knows - I found another one last night, but it was an easy fix), I have added timings for the computer player. I then compared the time taken by the four search algorithms I have implemented in the game-tree library: