Category Archives: Uncategorized

Make Firefox play embedded MP4 videos

Posted on 2015/01/03 by Thomas Strathmann

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

Posted on 2014/03/09 by Thomas Strathmann

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

Posted on 2013/10/10 by Thomas Strathmann

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

Posted on 2011/10/07 by Thomas Strathmann

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

Posted on 2011/07/28 by Thomas Strathmann

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