Pietro Abate homepage

Lately I've been concerned about the performances of dose3. Soon we will have a package in the official debian archive (containing the new distcheck) and we also plan to use dose3 as foundation of an upcoming apt-get future (external solvers !). This week I tackled a couple of problems.

First I wanted to understand the poor performances of my parser for the debian Packages format. The parser itself (written by J. Voullion for dose2) is a home brewed parser, it uses a Str based tokenizer and it is pretty efficient.

After the latest Xorg upgrade I started experiencing multiple problems concerning the suspend/resume cycle on my laptop. Today I took sometimes off to debug the situation. It seems that the culprit is the activation of the KMS on the XOrg package that landed in unstable in December.

RedMine is a hosting solution for Open projects conceptually similar to Trac. At first sight, the main difference with trac is that redmine is multi-project, while trac has a narrower vision where each trac instance is a project. To be fair there are extensions in trac to administer multiple projects at once, built this is not shipped with the system.

After few attempt with cduce, in the end I resorted to xslt to convert the cduce manual to a more drupal-friendly format.

Drupal uses the geshi filter to do syntax highlighting. The problem with this filter is that it does not understand CDATA sections and its input is not well-formed xml.

The cduce manual is written in a well-formed xml and uses CDATA sections for cduce code. For example:

I've done a bit of work to use mod-caml with apache 2.2 . I've uploaded everything on the debian gforge website alioth.

to recompile the package you can get it via svn

Then you can compile the package with svn-buildpackage.

I've also wrote a small patch to recursively load dependent modules. I attached a simple loader module that is partially a rip-off of some GPL code I found on the net.

Let's open this new work blog with a small mod I've done to the vim ocaml syntax highlight module.

To use this vim extension just copy it in your .vim directory and add something similar to your .vimrc