Skip to main content
  1. Tags/

Tools

2021


Always Visible Deadlines

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 in the upper right corner of my computer screen at all time. 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 to 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 time to the next deadlines, easy right, right!

2020


Übungsblattabgabeskript

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.

useful command line tools for uni

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.

My favorite Anki addons

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.

2019


Die ATIS am KIT, drucken vom Laptop

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.