Tools

To avoid being surprised by a deadline the day before it arrives, I like to keep upcoming deadlines visible. My solution is to display them in the upper right corner of my computer screen at all times. I use GNOME, but the same idea also works on macOS. It is possible to develop an extension for GNOME Shell directly, but this requires working with some complex and poorly documented APIs. Writing an extension just to display a countdown in the top bar seems like overkill. Luckily, Argos has me covered and simplifies this task enormously. On macOS, xbar provides similar functionality, though the paths and setup differ. Argos is a GNOME Shell extension for creating simple text displays and shortcuts in the top bar. To display text, all I have to do is create an executable that writes to stdout. I opted for a Python script, but shell scripts, C programs, and other executables work just as well. The script should calculate the number of days remaining until each deadline. 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, das die Software noteshrink benutzt, um aus Handyfotos 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.