Category Archives: Uncategorized

Make Firefox play embedded MP4 videos

For some reason (at least on Mac OS X and according to a quick search also on other platforms) Firefox does not play MP4 videos embedded into websites using the <video> tag. Seems that enabling the two config options media.fragmented-mp4.enabled … Continue reading

Posted in Uncategorized | Leave a comment

A course on Homotopy Type Theory

Here’s a link to a course on Homotopy Type Theory taught by Robert Harper at Carnegie Mellon. The first few lectures introduce different views of logic and compution and their relationships. Highly recommended.

Posted in Mathematics, TCS, Uncategorized | Leave a comment

SLIME contribs quick tip

I really like to use SLIME to interact with a Lisp system like SBCL because it makes life so much more pleasent. But for some time I had the problem that my SLIME installation (done using a recent version of … Continue reading

Posted in Uncategorized | 1 Comment

VST plugins on Mac OS X

There’s actually a free (as in beer) software for Mac OS X that hosts VST plugins compiled for Windows (it uses WINE under the hood). It is the editor software for the V-Machine, a rack unit that can host VST … Continue reading

Posted in Uncategorized | 1 Comment

Machinedrum

So, I got my diploma, got a job, and I got a Machinedrum UW mk2. That’s right, I had been lusting after one of these babies for quite some time now after having a non userwave mk1 model for a … Continue reading

Posted in Uncategorized | Leave a comment