Author Archives: Thomas Strathmann

Snippets for LaTeX + Emacs users

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.

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

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

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

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

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

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

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

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

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