-
Recent Posts
Archives
Categories
April 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 Meta
Author Archives: Thomas Strathmann
IMAP Push with Dovecot and K-9 Mail on Android
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
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
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
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
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