Older blog entries for isenguard (starting at number 2)

Optimal Golomb Rulers

bram: you might be interested in this paper and those referenced by it on using CSP models and search algorithms to solve OGR problems.

Model Checking

raph: I was interested in your reference to model checking. I work on SAT algorithms, and at least for some hardware model checking the state of the art is to encode the BMC problem as a SAT problem and solve that. Have a look at NuSMV for a free model checker that does all sorts of clever stuff.

pcburns: Despite God being able, if he wished, to do anything we can do (and do it better), he chose to first create us and then send his Son to redeem us.

This is how God showed his love among us: He sent his one and only Son into the world that we might live through him. - 1 John 4:9

It is his love for me that motivates me to act in service to him. God chose to give me a purpose in life, even though he was under no obligation to (and from a human perspective, he has no reason to).

> Which brings me to a point. Are there any *good* scriptable
> OpenSource plotting programs. Gnuplot doesn't count.
> Compared to any of the "worthwhile" graphing programs on
> Win32 (Origin, IgorPro, and Kaliedagraph), it blows
> massive chunks. I need something good enough to do
> neutron scattering curve fits, and able to print out
> professional quality graphs for publication.

macricht: Try R (see http://www.r-project.org/. It is mostly a statistics package, but it includes an excellent plot engine and is an implementation of the S language (so it is completely scriptable). I don't know if it can do the curve fits you need, but its output is certainly good enough for professional publication. There is also a great community of R users and developers if you have questions about R or its use.

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!