Archive 27. December 2009

Bundestagspräsident missfällt Regierungskurs - hey, CDU politicians usually only become loudly and clearly critical when they no longer play a political role (see Geisler)? What has gotten into Lammert?

Moscow ML Home Page - surprisingly, I hadn't come across this before. It's a small SML bytecode compiler that now implements the full language scope and standard library. Much slimmer than the large SML/NJ and also requires fewer resources than SML/NJ or MLton. Very useful for small tools (and installable on the Mac with MacPorts - just like SML/NJ and Poly/ML, the other two major ML compilers).

neatx - NX Server in Open Source by Google. I really like NX, but the commercial server is quite limited with only two parallel sessions in the free version. For future use at work.

openduckbill - automatic directory sync with rsync and a Python daemon (can sync locally, over NFS or SSH). Very interesting if you want to keep multiple directories in sync, but don't necessarily want or need direct NFS mounts (e.g. because it has to go across permission boundaries with different user domains).

Poly/ML Home Page - poorly linked, because Poly/ML is often ignored in favor of SML/NJ and MLton. Potentially also usable as an alternative to MosML, as Poly/ML is quite fast, but delivers native code that is also good for standalone tools. Although MLton still outperforms here, as it takes a long time to compile due to optimization across the entire program, but produces significantly smaller executables.

Standard ML of New Jersey - and no list of ML compilers would be complete without the grandfather of SML, so here's the last link. A bit aged, but certainly still one of the most well-developed systems.