Category Archives: Tools

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

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

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

WordPress blogging in LaTeX

Posted on 2011/02/11 by Thomas Strathmann

Just found an interesting resource about blogging in LaTeX using WordPress. Eric Finster at Curious Reasoning has put together a Python script that allows you to prepare blog posts in LaTeX and convert them to the proper format. Might come … Continue reading →

Posted in Tools | Tagged , | Leave a comment

How to draw commutative diagrams in LaTeX with TikZ

Posted on 2011/02/02 by Thomas Strathmann

Sooner or later everyone who uses LaTeX to typeset documents containing maths will encounter the problem of how to draw commutative diagrams. There are many packages, some general purpose other specialized for the task. An excellent survey of some of … Continue reading →

Posted in Mathematics, Tools | Tagged , , , | 24 Comments

Another script font for LaTeX

Posted on 2011/01/29 by Thomas Strathmann

Sometimes it’s nice to have an extra script font available to make distinctions between different kinds of objects clearer. One such font is Ralph Smith’s Formal Script (see here for the TeX Catalogue entry) which is provided by the mathrsfs … Continue reading →

Posted in Tools | Tagged , , | Leave a comment

How I use git Part 2: Emacs integration

Posted on 2011/01/25 by Thomas Strathmann

The strangest things happen. Once I was a GNU/Linux user who spent most of the time staring at a framebuffer console and used vim exclusively. Today I use Mac OS X and Aquamacs most of the time (although I still … Continue reading →

Posted in Tools | Tagged , | 1 Comment

Coq Syntax Highlighting Test

Posted on 2011/01/24 by Thomas Strathmann

A test case for Coq syntax highlighting in GeSHi (for the WP-Syntax plugin). Inductive nat : Set := | O : nat | S : nat -> nat.   Inductive fin : nat -> Type := | FO : forall … Continue reading →

Posted in Coq, Tools | Tagged , , | Leave a comment

WordPress + SQLite

Posted on 2011/01/24 by Thomas Strathmann

The one thing that really kept me from just installing WordPress and playing around with it was that it required MySQL to run. I don’t need a full-blown RDBMS on my server and I certainly don’t need MySQL (in the … Continue reading →

Posted in Tools | Tagged , , | 4 Comments

How I use git

Posted on 2011/01/24 by Thomas Strathmann

After many years of using SVN, my current revision control system of choice is git. It makes distributed and offline work a breeze, so I don’t always have to log in in to a remote repository when I want to … Continue reading →

Posted in Tools | Tagged , | Leave a comment