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 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.

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. #!/bin/bash # format: $1=number of assignment $2=files to be included # warning this script is not save by any means and will potentially overwrite existing # pdfs and remove pngs based on filename pattern set -e # fail on error echo $2 python3 .

I created a flask server to create podcast feeds for KIT Opencast on demand. Even though the opencast software has a feature for RSS-Feeds the KIT has not activated this feature. Therefor you can run the flask server to provide a podcast feeds for you. Feel free to host this. I don’t want to commit to hosting it permanently. I provide this software for free use under MIT license. Note that this license of course does not apply to the obtained content.

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. Concatenate two or more PDFs: gs -dNOPAUSE -sDEVICE=pdfwrite -sOUTPUTFILE=combine.pdf -dBATCH 1.pdf 2.pdf 3.pdf n.pdf Concatenate all PDFs in one folder. gs -dNOPAUSE -sDEVICE=pdfwrite -sOUTPUTFILE=combine.pdf -dBATCH *.pdf > /dev/null JPEGs to pdf.

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. DrawingPad: Simple drawing tool made by a good friend of mine. Useful for highlighting stuff in pictures, e.g. screenshot of lecture slides. Note that you have to select an image before editing it. (Code: 370778248) Syntax Highlighting for Code: Pretty code snippets in anki.

The online learning platform ilias is used at a number of universities including the KIT. Oftentimes assignments for lectures are distributed to the students by uploading them into a specific folder in the illias course. At least I think it is quite annoying to regularly check for new assignments: Logging in, navigating to the course and check if something has changed. I solved this problem by discovering the rss feed of ilias.

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. Sobald man sich einen ATIS Account beantragt hat, bekommt man einen Zugang mit denen man sich an den Rechnern des ATIS-Rechnerpools einloggen kann – von dort aus kann man dann auch drucken.