Hi there!
I'm currently a Postdoctoral Researcher at IBM Research Zurich. You can read more about my ongoing research here!
HowTo build Signal Desktop on OpenSuse/Fedora/CentOS
I use, among others, the Signal App as messenger. Of course, I also want to use the advantages of running a client also on my OpenSuse-based Laptop. Sadly, Open Whisper Systems does only provide packages for Ubuntu-based systems…so I need to build it by myself. Following the build instructions for developers, the build will fail due to some incompatibilities in the dependencies (see e.g. here). Due to permanent updates of the app, I’ve to rebuild it once in a while…and here is how:
Posted
#How To #Linux
Get H.264/MP4 codecs to work in Vivaldi Browser
I’m a happy user of the Vivaldi Browser. But every time after an upgrade, H.264 videos stop working and every time I search and try quite a while to get it working again…maybe because the solution is always to obvious. So, now I write it down in the hope of remembering it next time ;). 1) The easy (to obvious) option Execute vivaldi in a comand line! The output is something like:
Posted
#CaffeeLog #Linux
Add headers recursive on top of each code file
In various situations during the work on a project, it could happen that one is required to add a header to a lot of source code files. Since programmers are usually lazy — eh, interested to work efficiently — they won’t open every file and copy it manually. Once again, the Bash can help us. For example, a copyright notice in all C/C++ files: find . -name \*.{c,cpp,h,hpp} | xargs sed -i "1i/*Copyright .
Posted
#CaffeeLog #Linux
FFMPEG: convert flac to mp3 and copy id3tags
And again something to ffmpeg: this very sophisticated tool can not only convert video or audio files. It also can handle the associated metadata. So, when you have a big music-library in the lossless format .flac (or .wav) and want to have it also on mobile devices you probably convert the files to mp3 or similar. Also, I do so, because when I’m travelling around I’ve mostly not the silence and equipment to hear music in best quality, so a little loss of quality through the use of mp3 would not be noticed.
Posted
#CaffeeLog #Linux
FFMPEG using the H264 codec
I’ve often the “problem”, that I want to show a movie while traveling, but the mpg-file on my PC is a few GB big and the disk-space on my mobile Devices are limited. So, I want to convert my mpg-files to mp4 files, with less or no loss of quality, but a huge reduce of bytes. And every time I’m searching around the web to find the correct ffmpeg-options. In order not to search the next time I need it, I write it down:
Posted
#CaffeeLog #Linux
Recursive search in files on Linux
Sometimes I’m searching for a specific function in the many files and directories of a project. Of course, I could use heavy, often crashing and expensive IDEs to do this but there is one simple and fast method using the “boring” command line and the “ugly” tool grep: (Maybe I should note, that the “” in this case may mean some irony) grep -E -lir --include=*.{c,cpp,h,hpp} "void test()" The options:
Posted
#CaffeeLog #Linux