Skip to main content


Showing posts from May, 2007 dies dies in 3 days. I can't justify spending 25 EURs on extending the domain subscription, as nobody of my co-developers showed any partical interested in fueling this social attractor.If anyone is interested in reviving a Common Lisp developer group in Austria, feel free to contact me (preferably before the 21th of May).

Liskell at the International Lisp Conference 2007, Cambridge, UK

It's been over a month since I returned from Cambridge and still I have not found time to blog an epilogue for this trip.First, here is the material: Liskell presentation-ILC This is a screencast of my talk at the International Lisp Conference 2007; one of the two presentations I have given in Cambridge. Notice that this talk was prepared for a Lisp audience, so my job was to highlight the features of Haskell. The other talk in Cambridge was at Microsoft Research and I plan to make this talk available in a similar style (but with the objective to sell Lisp ideas to a Haskell audience).A few remarks:
The implementation of cond as defmacro is a pedagogical code mock-up. It operates on the wrong data structure. The Liskell paper has a correct implementation of cond as defmacro.There are a few errors in the codec stream for qtrle. For some reasons, my recent sync with ffmpeg subversion HEAD caused this trouble. There are only 3-4 errors, and they are usually correcte…

Happy Birthday LUKS!

Two years ago on the 25th of March 2005, I bumped the version of cryptsetup-luks to 1.0. With the release of cryptsetup-luks 1.0.5, the LUKS reference implementation -- and arguably LUKS itself -- is more than 2 years old! With this release, the LUKS branch of cryptsetup is relabelled (in accordance with Christophe Saout) and cryptsetup-luks becomes the original cryptsetup.Number one hit on Google for "LUKS" was once the American painter George Luks. I'm sorry George, but we have taken over. The term "LUKS" is now a synonym for "Linux Unified Key Setup". LUKS is now part of any major distribution, Debian includes it with their installation suite, Gnome can talk to it via a HAL module. I am quite satisfied with my first free software project, although my recent addiction to Lisp/Haskell/Liskell makes it a bit harder for me to code C.It's interesting, how live changes in just two years. It's interesting how your personal interests change in just…