Z with LyX

Z (pronounced as zed) is a formal specification language used to describe and model complex computing system. I’ve been reading about it for some time and I am much fascinated by its abstraction and elegance. I’m really keen to practice Z but before I can adopt the notation in my work, I need to make sure…

DocBook XML on OSX

I have written some technical documentations using DocBook XML and then published them as HTML. You can find my previous post about DocBook Publishing and the technical documentations here. My site was hacked one or two years ago. The worst thing was that I did not have a backup copy of the HTML. The DocBook…

HOWTO – SCIM and Ubuntu Gutsy Gibbon

Ubuntu 7.10, code named “Gutsy Gibbon”, has been released. I just finished upgrading from Feisty Fawn (7.04) to Gutsy Gibbon. The upgrade (downloading, unpacking, removing, installing, configuring and cleaning) took about 6 hours to complete. The upgrade was smooth and without any problems except it broke my scim. I have exhausted the search on Internet…

Why I like Ubuntu?

Since I switched to Ubuntu Feisty Fawn 7.04 on Spetember 26, I have been working on Ubuntu with a multitude of tasks including test compiling some Ada source codes of previous project, working on my latest Ada project, blogging, surfing, downloading torrents and many more. I personally find Ubuntu is really an OS for the…