Benedikt Meurer JavaScript Engine Hacker and Programming Language Enthusiast.

OCamlJIT 2.0

OCamlJit 2.0 is a new Just-In-Time engine for Objective Caml 3.12.0 on desktop processors (x86/x86-64). It translates the OCaml byte-code used by the interpreter (ocamlrun and ocaml) to x86/x86-64 native code on-demand and runs the generated native code instead of interpreting the byte-code. It is designed to run with minimal compilation overhead (translating only what is being executed, avoiding costly code generation and optimization techniques), while being 100% compatible with the byte-code runtime (including serialization and hashing of closures, etc.).

Continue reading

git-hooks - Generic Git hooks

Git Hooks provides a simple mechanism to manage hooks for several Git repositories in a unified and simple way. It allows you to install hook scripts in a central location and use them for your Git repositories.

Continue reading

Gitweb and HTTP transport for public repositories

It took me some time to figure out how to get gitweb and (readonly) HTTP transport working for public Git repositories using the same URL. So here's my Apache 2 configuration, it may save you some time. The configuration assumes that your Git repositories are located under /srv/git and the gitweb files are installed in /usr/share/gitweb with the configuration file in /etc/gitweb.conf.

Continue reading

Thunar 0.9.0, exo 0.3.4 and thunar-volman 0.2.0 releases

I just released new versions of Thunar, exo and thunar-volman with several bugfixes and new translations. They are part of Xfce 4.4.2, which will be released tomorrow.

Continue reading

Seminar Paper on Model Checking

Just uploaded my seminar paper on PLTL Model Checking toghether with the slides. The paper and the slides are in german, and cover the basics of Model Checking using Propositional Linear Temporal Logic (PLTL).

Continue reading

Thunar 0.8.0 and libexo 0.3.2 releases

I just released Thunar 0.8.0 and exo 0.3.2 as part of the long awaited Xfce 4.4.0, which will be released in a few hours. The separate tarballs are provided for users of Xfce 4.2.x refusing to upgrade to Xfce 4.4.x, and users of other desktop environments. This is the final release of Thunar, but since not all items from the roadmap were completed, it is not yet the 1.0.0 version.

Continue reading

A visual tour of Xfce 4.4.0

As of today, the long awaited version 4.4.0 of the Xfce Desktop Environment is finally available. I will try to highlight some of the new features which have been added since the last stable release.

Continue reading

thunar-volman 0.1.0

I just released the first version of the Thunar Volume Manager. It adds automatic management of removable drives and media to Thunar, without adding another daemon to your desktop sessions. It requires Thunar 0.5.1svn or above, HAL 0.5.0 or above and D-BUS 0.32 or above.

Continue reading

Just another Xfce 4.4 review

Another interesting review of Xfce 4.4.

Continue reading

Xfce 4.4 release candidate 2

Hopefully the last release candidate for 4.4.0...

Continue reading