Motivation

My two Android apps Metal Only and MensaUPB require some kind of online service to get their data from and - since I cannot force users to update apps easily - I wrote my own API as a wrapper to the upstream APIs provided by https://www.metal-only.de/ and https://studierendenwerk-pb.de/. That way, whenever one of these pages changes their API, I can just adapt the wrapper and keep my own API backwards-compatible so the apps themselves don’t require any updates.

Previous posts on this blog are primarily in German. Future posts will be written in English.

After sharing the minutes of my examination in Type Systems for Correctness and Security multiple times via email, I decided to provide a direct download on this blog.

Click here to download my Oral Examination Notes for Type Systems for Correctness and Security.

Click here to download the corresponding .tex source file

Previous posts on this blog are primarily in German and will not be translated. Future posts will be written in English.

{% include image name=“google_play_notification_impersonation.png” caption=“Metal Only wurde aus Play Store entfernt” %}

Eines meiner Projekte - die App für den Metal Only e. V. - wurde vor kurzem aus dem Play Store entfernt. In diesem Post möchte ich kurz beschreiben, welche Schritte notwendig waren, die App wieder in den Store zu bekommen.

{% include image name=“Stockholm_Ferry_Turku_Stockholm.jpg” caption=“On the Ferry: Turku -> Stockholm” alt=“On the Ferry: Turku -> Stockholm” %}

Um den Abschluss des Auslandssemesters gebührend zu feiern, ging es für mich nicht direkt nach Hause. Mit einem mehr oder weniger kleinen Umweg ging es für mich nach Stockholm, København und München.

{% include image name=“kruunuvuoren-nuotiopaikka-house_through_trees.jpg” alt=“Abandoned House” %}

Wieder ein lange aufgeschobener Eintrag. Am 25. März war ich mit ein paar Leuten in einem “Abandoned Place”: Kruunuvuoren nuotiopakkia. Leider hats auch einen traurigen Grund, warum ich das jetzt poste: irgendwer hat die Häuschen abgefackelt :(

Am letzten Tag war morgens Langlauf angesagt. Abends gingen wir in die Sauna und du wirst nicht glauben, was dann passiert ist! (Clickbait, yeah \o/)

{% include image name=“Ivalo_1_2017-02-19_13-39-15-20170219_133915.jpg” alt=“Sonnenuntergang in der Nähe des Naverniemi Holiday Centers” %}

Der zweite Tag bestand aus der Fahrt nach Ivalo, der Ankunft im Naverniemi Holiday Center und zwei Wanderungen auf dem Ivalo-River.

{% include image name=“Rovaniemi_2017-02-18_13-09-22-0187.jpg” alt=“Gruppenfoto vor Riesen-Schneemann im Santa Claus Village” %}

Letzten Monat war eine Reise nach Lappland angesagt. Bisher kam ich aber noch nicht dazu, irgendwas darüber zu schreiben, da ich anderweitig beschäftigt war. In den nächsten Tagen kommt daher nach und nach alles, was es dort so interessantes gab ;)