Tools

To not get surprised by an upcoming deadline the day before, I like having them in sight regularly. The solution for me is to have them in the upper right corner of my computer screen at all times. I am using Gnome, but this approach works for macOS. It is possible to develop for the Gnome shell directly, but this requires interaction with some complex and poorly documented APIs. For simply counting down numbers in the top bar this seems overkill. Luckily argos got me covered, and simplifies this task enormously. For macOS there is xbar, which is compatible with argos. Argos itself is a Gnome shell extension, for developing simple text display and shortcut applications, that live in the top bar. All I have to do for displaying text, is to create any type of executable, that prints to stdout. I opted for a python script, but shell scripts, C programs, or anything else works just as well. The script should calculate the remaining time until the upcoming deadlines, easy right, right!

In Numerik (Sommersemester 2020) sind digitale Abgaben erlaubt. Um nicht viel Zeit mit scannen, komprimieren, Deckblatt etc. zu verbringen, habe ich dieses kleine Skript geschrieben, dass die Software noteshrink benutzt, um aus Handyphotos eine fertige Abgabe zu erstellen. Aus dem gleichen Grund ist dieses Skript nicht sehr durchdacht, hat aber für mich sehr gut funktioniert.

I created a flask server to create podcast feeds for KIT Opencast on demand.

This blog post is a collection of useful (linux) tools for PDFs, like slides or problem sheets at university. For every use case I give one example that should make the usage clear. Make sure to have the tools installed.

A list of anki plugins I like. This list is in no particular order. I use anki primarily for my studies of computer science. For more detail, check the official pages of the plugins @ AnkiWeb.

The online learning platform Ilias is used at a number of universities including the KIT.

Die Abteilung Technische Infrastruktur (ATIS) gehört zur Fakultät für Informatik am KIT und ist unter Informatikstudenten hauptsächlich für das kostenlose Drucken beliebt. Anders als im SCC (da muss man lange warten und zahlen) hat man in der ATIS 200 Freidrucke pro Semester auf den direkt zugänglichen Druckern. Außerdem gibt es dort Rechner mit Linux und Windows mit denen man bei Bedarf arbeiten kann.