Category Archives: Tools

Haskell Platform on Mac OS X (with clang 5)

Posted on 2013/10/12 by Thomas Strathmann

The workaround presented in this blog post is somewhat cleaner and I would recommend usind it instead of the hack I describe below.

Posted in Haskell, Tools | Leave a comment

vim-like ctrl+v enter in Emacs

Posted on 2012/12/17 by Thomas Strathmann

Suppose you have a list like this foo, bar, baz, quux in your Emacs buffer, but you’d rather have one element per line like this foo bar baz quux What to do? In vim this is easy: :%s/,/^M/g where ^M … Continue reading →

Posted in Tools | Tagged , | Leave a comment

Speeding up the startup time of Mac OS’s Terminal.app

Posted on 2012/07/27 by Thomas Strathmann

Terminal.app is very important to me as I use a lot of console based programs, so it’s very annoying if I have to wait a few seconds for it to start up. Recently, I stumbled across a helpful blog post … Continue reading →

Posted in Tools | Leave a comment

Development environment for the STM32F4DISCOVERY board on Mac OS

Posted on 2012/06/16 by Thomas Strathmann

This is just a quick post with information on how to get up and running with a development environment for the STM32F4DISCOVERY evaluation board which is a cheap and fun way to get started with developing software for ARM microcontrollers. … Continue reading →

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

Thunderbird line breaking behaviour

Posted on 2012/04/13 by Thomas Strathmann

Because I keep forgetting which options to set to force Thunderbird to send and display line breaks instead of flowed plain text emails that may or may not come out right at the other end (usually those emails exhibit unsightly … Continue reading →

Posted in Tools | Leave a comment

IMAP Push with Dovecot and K-9 Mail on Android

Posted on 2012/03/04 by Thomas Strathmann

Having had the unfortunate experience that K-9 Mail on Android set to polling mail every 10 minutes almost caused my telephone to burn a hole in my jeans pocket I investigated the IMAP push functionality. Luckily there’s already an informative … Continue reading →

Posted in Tools | Tagged , , | Leave a comment

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

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