How to convert audio format in a video file:

ffmpeg -i input.mkv -vcodec copy -acodec ac3 -ab 448k output.mkv

I want to see a 100% open source android distro. The first pass could be AOSP or CyanogenMod without the closed source GApps. F-Droid would be pre-installed, along with a selection of basic apps like K9 Mail and aCal.

I found this post: talking about the same thing, but I don’t see anyone who is actually doing it.

Postgres Upgrade

I just upgraded from PostgreSQL 8.3 to 9.2.  In doing so, I also went from a Sun optimized build (since I installed their supplied version before) to a self built version where I didn’t fiddle with optimization at all (the documentation suggests -O5, but I let it go with the default of -O3).  Despite the lazy build, it seems a lot faster in terms of the queries some of my python code executes.