Promoting Chu Shogi, the Haskell and Eiffel programming languages, and above all, dragonflies (warriorflies and damselflies).

First day in Hong Kong

We arrived at Hong Kong airport at 08:00 local time, and spent some of the afternoon visiting Hong Kong Park on the main island.

We saw five species of dragonflies - Trithemis aurora and T. festiva. Orthetrum glaucum and O. pruinosum neglectum, and Pantala flavescens (also spotted earlier in Kowloon Park).

AGDA is awesome!

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

Pink Skimmer at Chong Mek

Pink Skimmer at Chong Mek

Orthetrum pruinosum neglectum (male)

Lake Windermere

This is lake windermere
Lake Windermere

Lake Windermere

Lake Windermere

今天是个好天气,老公也很高兴,于是我们决定去湖区一天,因为老公经常去,我就省事啦,就等着他安排啦,呵呵!

Equation

Haskell + Eiffel = 2 * (contempt for Java)

Autumn in Hurst Grange Park

On Monday I went along to do a count, without taking my camera. Along with the expected Common Darters on the three main ponds, there was a male Migrant Hawker searching for females on Long Bob. So yesterday I went again, this time armed with the camera. Needless to say, no Migrant Hawker.

Common Darters ovipoisiting in Long Bob

Common Darters ovipoisiting in Long Bob

Sympetrum striolatum

Common Darters ovipoisiting in Long Bob

Common Darters ovipoisiting in Long Bob

Sympetrum striolatum (female)

Common Darters ovipoisiting in Long Bob

Common Darters ovipoisiting in Long Bob

Sympetrum striolatum (male)

Syndicate content