Author Archives: Thomas Strathmann

Snippets for LaTeX + Emacs users

Posted on 2012/02/10 by Thomas Strathmann

I’ve been using Emacs to edit LaTeX for some time now, mostly resorting to AUCTeX’s keyboard commands to insert fonts, environments and some other stuff that I need in some documents. But I’m also a big fan of yasnippet, the … Continue reading →

Posted in Tools | Tagged , , | Leave a comment

Some resources on functional programming, types, logic, etc.

Posted on 2012/01/22 by Thomas Strathmann

If you’ve got some time to kill I’d suggest heading over to Edsko de Vries’ presentations page where he’s collected a few slides and some notes on topics ranging from linear and separation logic to proof theoretical basics and category … Continue reading →

Posted in Haskell, Mathematics, TCS | 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

MacBook Pro graphics card switching tool

Posted on 2011/10/06 by Thomas Strathmann

After a good two months of being annoyed by a burning hot MacBook Pro with short battery life, I discovered gfxCardStatus, a menu bar application that lets you choose between the integrated and discrete graphics card manually or based on … Continue reading →

Posted in Tools | Leave a comment

Alfred program launcher for Mac OS X

Posted on 2011/08/21 by Thomas Strathmann

Just discovered Alfred, a free program launcher for Mac OS X (including 10.7 aka Lion), that works really well as a replacement for Quicksilver. Cool feature: Includes a calculator mode (but of course it’s not nearly as nice and feature … Continue reading →

Posted in Tools | Leave a comment

Time Machine Backup on GNU/Linux

Posted on 2011/08/07 by Thomas Strathmann

Time Machine for Mac OS is actually a nice backup tool that I use religiously (and that saved my data at least once from total annihilation) since it came out. But what I did not know is that you could … Continue reading →

Posted in Tools | Tagged , | Leave a 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

Two useful URLs for LaTeX users

Posted on 2011/04/25 by Thomas Strathmann

If you’re looking for the name of a specific (La)TeX symbol, you can draw it on the canvas of the Detexify site and maybe one of the suggestions is the desired symbol. And if you want to look at some … Continue reading →

Posted in Tools | Tagged | Leave a comment

Several ways to prove a simple proposition

Posted on 2011/02/17 by Thomas Strathmann

Coq provides many tactics. In this post we show a number of proofs that use different tactics to prove a simple proposition of first order logic, namely which in Coq translates to forall P Q : Prop, P /\ Q … Continue reading →

Posted in Coq | Tagged | Leave a comment

Using Qucs for filter design

Posted on 2011/02/15 by Thomas Strathmann

Qucs, short for Quite Universal Circuit Simulator, is as the name suggests a simulation package for electronic circuits. It’s free and sports a nice graphical schematic capture interface. One of its many nice and useful features is the ability to … Continue reading →

Posted in Electronics, Tools | Tagged , | 3 Comments