Archive for April, 2011

delta debugging for latex

Wednesday, April 27th, 2011

From the delta debugging homepage: “With Delta Debugging, we can find failure-inducing circumstances automatically—circumstances such as the program input, changes to the program code, or program executions.” I tried to apply this technique to LaTeX, and surprisingly it worked. The code and samples of the experiment are uploaded on github.

The tools are:

* Finding which diff chunk causes an error.
* Finding a minimal failing example
* sty-bug hunting

using a local copy of a file instead of downloading it in macports

Wednesday, April 20th, 2011

In some cases, macports can’t or should not download a file from internet. Instead, it should use an already downloaded local copy. Unfortunately, this use case is not supported, and a workaround is required.


solved: vmware does not work anymore

Monday, April 4th, 2011

After some system update, vmware stopped working. It wrote some information which modules are loaded, and then silently exited. In a log file “ui-NNNN.log”, I found: “vmui| Caught signal 11”. The stacktrace said only that the crash was likely due to some signal.