-
Recent Posts
Archives
Categories
March 2021 M T W T F S S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Meta
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