Posts on Just another blog...

General Updates

Sun, 15 Mar 2026 00:00:10 +0100

Today, the re-implementation of my APIs in Rust and the “rewrite” of my blog in hugo were both deployed.

Also, I decided to discontinue https://gitlab.com/lippertsjan/MensaUPB because I don’t have the time to maintain it anymore and there are better maintained alternatives.

Migration to Hugo

Mon, 16 Jun 2025 00:20:57 +0200

Nearly ten years ago, I migrated this blog from Wordpress to Jekyll. Today I started the migration to hugo because I was unable to get working build for my page locally. since hugo is a single binary I can download and execute, getting a working local build is less of a problem.

App API Rewrite in Rust 1

Fri, 15 Sep 2023 00:15:00 +0000

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.

Switching to English

Sun, 07 May 2023 16:00:00 +0000

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

Oral Examination Notes for Type Systems for Correctness and Security

Wed, 01 Jul 2020 16:00:00 +0000

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

Switching to English

Fri, 01 May 2020 16:00:00 +0000

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

Trouble mit dem Play Store

Tue, 13 Jun 2017 18:00:00 +0000

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

Trip Home

Mon, 12 Jun 2017 10:00:00 +0000

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

Kruunuvuoren nuotiopaikka

Thu, 01 Jun 2017 10:00:00 +0000

{% 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 :(

Letzter Tag in Lappland

Sat, 22 Apr 2017 12:00:00 +0000

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/)

Lappland - Ankunft in Ivalo

Fri, 21 Apr 2017 12:00:00 +0000

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

Lappland - Anreise & Rovaniemi

Thu, 20 Apr 2017 12:00:00 +0000

{% 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 ;)

Wanderung in Nuuksio

Wed, 15 Feb 2017 22:00:00 +0000

{% include image name=“Nuuksio_20170204_155448.jpg” alt=“Eiswand” %}

Am 02.02. war eine Wanderung von Hydepakki in Nuuksio angesagt. Hydepakki ist eine Studierendenorganisation, die Wnaderungen und andere Events – beispielsweise Sauna am Strand mit Baden im Eismeer ;) – organisiert.

Metal-Only App

Mon, 06 Feb 2017 22:00:00 +0000

Diese App wurde ursprünglich von den Codingspezis entwickelt und später von mir übernommen. In dieser Kategorie gibt es gelegentlich Neuigkeiten über die Entwicklung, geplante Features und weiteres.

Tagesausflug nach Tallinn

Thu, 02 Feb 2017 22:00:00 +0000

{% include image name=“Tallinn_20170122_130227.jpg” alt=“Blick über die Stadt " %}

Eckeröline hat zur Zeit ein sehr gutes Winterangebot: extrem günstige Tagesausflüge nach Tallinn. Diese Gelegenheit haben einige andere Studenten und ich vor ca. zwei Wochen genutzt, um Tallinn zu besuchen.

Lux Helsinki

Mon, 23 Jan 2017 14:00:00 +0000

Durch Zufall bin ich gerade noch rechtzeitig für Lux Helsinki hier angekommen. Diese Gelegenheit hab ich genutzt, um einmal durch die Stadt zu streifen und ein paar Fotos zu machen.

Umzug zu Github Pages

Fri, 23 Dec 2016 01:00:00 +0000

Heute habe ich meinen Blog von Wordpress zu Jekyll umgezogen, damit ich leichter Beiträge verfassen kann. Der größte Vorteil durch die Umstellung ist die Möglichtkeit, offline zu schreiben und später via git push die Veröffentlichung anzustoßen. Gehostet wird über Github Pages. Das verwendete Theme nennt sich hagura und wurde von mir leicht angepasst.

Mon, 23 May 2016 21:04:58 +0000

Nach einem Umzug mit Unitymedia dauerte es länger als einen Monat, bis wieder Internet zur Verfügung stand. Grund war eine Störung, über deren Existenz Unitymedia widersprüchliche Angaben machte. Die volle Geschichte:

Endlich gibt es auf diesem Blog auch mal etwas anderes als nur MensaUPB-Updates und ähnliches: ein Bericht über einen Unitymedia-Umzug aus erster Hand. Seit nun 3 Wochen bin ich ohne Internet in meiner neuen Wohnung und Unitymedia kann mir nicht sagen, wann sich dies ändert.

MensaUPB 2.18.7

Mon, 29 Feb 2016 17:42:50 +0000

Download MensaUPB-2.18.7

Metal Only 0.4.16

Sun, 06 Dec 2015 14:22:03 +0000

Nachdem rbrtslmn keine Zeit mehr hatte, die Entwicklung fortzuführen, habe ich die offzielle Android-App von Metal Only e.V. übernommen. Die neueste Änderung ist der Fix eines Absturzes, der über Google Play gemeldet wurde.

metal-only-release-0.4.16

MensaUPB 2.18.6

Sun, 22 Nov 2015 23:27:58 +0000

Seit 2.15.4 gab es einige Bug-Fixes und ein paar Funktionserweiterungen. Hier eine kurze Aufführung:

Bugs behoben:
- Ladebildschirm wurde nicht richtig gezeigt.
- Wenn man von einem Gericht zurück ging, kam man zur falschen Gerichte-Liste
- Design-Problem behoben: das Bild eines Gerichts verdeckt nicht mehr den ganzen Bildschirm wenn man das Handy quer hält (Detailansicht)
- Bildhintergrund in Menü-Ansicht wurde auf Tablets plötzlich größer
- Fehler behoben: Gerichte, die vom STW aufgetauscht wurden, werden nun auch in der App korrekt aktualisiert
App merkt sich nun das letzte Restaurant
Erste Schritte gemacht, um Öffnungszeiten anzuzeigen. Zudem wird nun angezeigt, wenn eine Einrichtung geschlossen ist (betrifft nur Termine, die auf studentenwerk-pb.de veröffentlicht wurden)
Anonyme Nutzungsstatistiken, um Anwendung zu optimieren

Download: MensaUPB-2.18.6

MensaUPB 2.15.4

Thu, 23 Apr 2015 21:38:02 +0000

Primär Verbesserungen im Design: MensaUPPB-2.15.4

MensaUPB 2.15.0

Sun, 29 Mar 2015 18:55:21 +0000

Verbesserungen in der Oberfläche und folgende Fehler wurden behoben:

Auswahl-Kreise in Navigation entfernt
Von einem Gericht kommt man zur richtigen Kombo von “Tag & Restaurant” zurück

MensaUPB-2.15.0

Mockup Node Detailscreen

Fri, 06 Mar 2015 20:54:22 +0000

Some mockups for a node detail screen – Looking for a designer nonetheless 😉

MensaUPB 2.11.2

Tue, 10 Feb 2015 19:26:47 +0000

Kleine Fixes ggü. 2.11.1 (Feature regression)

MensaUpb-2.11.2

MensaUPB 2.11.1

Sun, 08 Feb 2015 09:00:30 +0000

Neu:

Infos werden nun auch auf englisch gezeigt
Es wird nun eine Notiz statt einem Ladebildschirm gezeigt, wenn es an einem Tag kein Essen gibt
Fehler behoben: Wechsel des Restaurants wechselt unter bestimmten Umständen den Tag

Download: MensaUPB-2.11.1

MensaUPB 2.9.0

Sun, 18 Jan 2015 01:16:57 +0000

Neu: Campus Mensae in einer Liste!

MensaUPB-2.9.0

Verworfen aufgrund von größerem Bug: Pull to refresh; Download: MensaUPB-2.8.5

Cleaning some data with Clojure 3

Tue, 30 Dec 2014 14:05:53 +0000

The first post in this series was about the original problem: there is a data-set of strings with potential duplicates and many typos. The second was about computing the similarity of two strings. In this post we will focus on the question

Can we group multiple strings of a set by similarity?

**Matching the names: **The first step is to match the names. I hope, that the following code is documented good enough.

Cleaning some data with Clojure 2

Sat, 27 Dec 2014 19:00:27 +0000

Cleaning some data with Clojure 1 provides some context on this project. This post here focusses on the question

“Can we tell, if two strings are similar?”.

Levenshtein Distance: My first idea was to use the Levenshtein Distance. This metric counts the minimum number of operations needed to transform one string into the other when allowing insertion, deletion or substition of characters. Its definition is as follows:

Cleaning some data with Clojure 1

Thu, 25 Dec 2014 20:11:19 +0000

Context: The students’ council mathematics and computer science in Paderborn (FSMI) provides a service called “Klausurausleihe”. Students may come to the FSMI and lend exams and protocols to prepare themselves for exams.

To manage the dataset behind this services, the so-called klausurtool is used. The FSMI an manage the set of exams available and their status. Exams are represented as tuples (examiner, date, content, lendingStatus, lecture) [0].

The problem: For every single exam, the examiner (and other data has to be entered). There were no rules on how to enter the examiner. Also, the klausurtool did not use UTF-8.

Krombels Dash 0.1.1

Sun, 14 Dec 2014 20:41:49 +0000

Kleinere fixes, und Anpassungen an das Krombel Design.

Deinstallation vor update notwendig:krombel-0.1.1

Krombels Dashboard auf Android

Sun, 14 Dec 2014 02:01:04 +0000

Ein kleiner Prototyp, der Krombels Dashboard auf Android Geräte bringt: krombel-0.1.0.

Features:

Automatische Updates
Benachrichtigung bei neuen Highscores

Die App ist nicht über den Play Store verfügbar; dies wird später der Fall sein. Quellcode gibt es auf github.

MensaUPB 2.7.5

Fri, 12 Dec 2014 14:42:06 +0000

MensaUPB-v2.7.5

Neu:

Schnellere Synchronisation
Erster Einblick ins “Material Design”
Übersichtlicherer Speiseplan durch optische Trennung der Menüs
Bilder werden in der Detailansicht geladen und angezeigt
Erste Teile wieder in English
“Badges” (vegan, laktosefrei, …) werden angezeigt
Neue Kategorien im Grill|Cafe

MensaUPB 2.7.0

Sat, 29 Nov 2014 15:11:42 +0000

MensaUPB-2.7.0 als Beta veröffentlicht. Neu sind hier vor allem die Badges (laktosefrei, glutenfrei, vegan, …).

Hier noch die Unterschiede zur Zum Play Store:

Schnellere Synchronisation
Einblick ins Material Design
Übersichtlicherer Speiseplan durch optische Trennung der Menüs
Bilder werden in der Detailansicht geladen und angezeigt
Erste Teile wieder in English

MensaUpb 2.4.0

Mon, 17 Nov 2014 22:22:18 +0000

MensaUpb-2.4.0 … mit einem ersten Blick auf das Material Design. Bisher nur die support library version angepasst.

MensaUPB 2.3.0

Fri, 14 Nov 2014 20:19:25 +0000

MensaUPB-2.3.0

Schnellere Synchronisation bei erstem Start
Interne Verbesserungen

MensaUPB 2.1.9

Sat, 08 Nov 2014 10:21:28 +0000

MensaUPB-2.1.9

Behoben: Manche Gerichte wurden in der Übersichtsliste fehlerhaft mit “Preis/100g” ausgezeichnet.

MensaUPB 2.1.7

Sat, 01 Nov 2014 12:49:26 +0000

Kleinere Fixes: MensaUPB-2.1.7

MensaUPB 2.1.5

Thu, 16 Oct 2014 20:33:02 +0000

Bei einigen Benutzern kam es zu einem Absturz nach dem Upgrade. Dieser wurde nun behoben: MensaUPB-2.1.5

MensaUPB 2.1.3

Tue, 14 Oct 2014 12:23:31 +0000

Ein neues Release. Seit einiger Zeit im PlayStore, jetzt auch hier: MensaUPB 2.1.3

Wechsel auf neue API des Studentenwerks
Einige Fehler behoben

MensaUPB Beta

Fri, 26 Sep 2014 11:29:35 +0000

Ab heute gibt es ein Beta-Release von MensaUPB mit der neuen API des Studentenwerks. Um diese zu testen, müsst ihr folgendes tun:

Tretet der Google+ Community oder der Beta Mailinglist bei.
Anschließend besucht ihr diese Seite und werdet Tester.
Sollte die App noch nicht installiert sein, könnt ihr diese aus dem Play Store herunterladen.

Falls die App bereits installiert ist, entfällt der letzte Schritt: es gibt ein automatisches Update auf die Beta-Version.

Ihr könnt jederzeit unter dieser Seite entscheiden, ob ihr Tester sein wollt oder nicht. Die App wechselt dann automatisch.

OpenVPN der UPB unter Linux

Sat, 31 May 2014 16:16:30 +0000

Auf den Seiten des IMT findet sich eine Anleitung zum Einrichten des VPN-Zugriffs. Dort wird auch eine .conf-Datei bereitgestellt, welche vom Benutzer importiert werden soll. Da diese bei mir einige Probleme verursachte (VPN Zugriff nicht möglich, Freeze im Einstellungsbildschirm), habe ich folgende Ergänzungen zur IMT-Anleitung:

Beide Pfade (upb-network-ca.pem und Network_Certificate.p12) müssen in der Datei enthalten sein und absolut angegeben werden
“resolv-retry infinite” wurde entfernt (der oben genannte Freeze wurde durch eine Endlosschleife verursacht)

Hier eine von mir minimal korrigierte openvpn-upb. Die Pfade (s.o.) müssen noch korrigiert werden.

MensaUPB 1.8.0

Sat, 24 May 2014 14:24:34 +0000

Auf expliziten Wunsch wurden in dieser Version die Preise hinzugefügt. Diese sind noch etwas buggy (Preise pro 100g werden ohne “pro 100g” dargestellt), jedoch sind die wichtigsten Gerichte aka Vorschlagsmenüs korrekt angezeigt.

MensaUPB-1.8.0

MensaUPB 1.6.0

Fri, 25 Apr 2014 23:45:27 +0000

Neue Funktionen:

Automatischer Wechsel zur Abendmensa zwischen 14:00 und 19:30
Abendmensa hat Freitags nicht geöffnet – statt Ladebildschirm wird nun eine Notiz gezeigt

Apk: MensaUPB-1.6.0

Fachschaftsdroid 0.0.9

Fri, 18 Apr 2014 07:50:50 +0000

Ein kleiner Bugfix, der einen reproduzierbaren Absturz behebt: fsdroid-v0.0.9

MensaUPB veröffentlicht

Thu, 17 Apr 2014 14:21:53 +0000

Vor einigen Tagen war es endlich so weit und MensaUPB konnte wieder im Play Store veröffentlicht werden. Auf expliziten Wunsch wird es auch hier Updates zur App geben – jedoch ohne Support.

Der Quellcode des Projekts ist auf github zu finden. Dieser ist zwar kompilierbar, kann jedoch kaum getestet werden, da die “geheime URL” (siehe unten) nicht weitergegeben werden darf.

Das Wiederveröffentlichen der App wurde hauptsächlich dadurch möglich, dass das Studentenwerk der Universität Paderborn nun auch eine Nutzung der Speisepläne erlaubt. Zudem wurde eine explizite Schnittstelle eingerichtet, damit Entwickler die Daten nutzen können. Vor Einrichtung dieser Schnittstelle wurden “halb-öffentliche” xml-Dateien (0) heruntergeladen, die Daten wurden extrahiert und lokal gespeichert bis sie nicht mehr aktuell waren.

Fachschaftsdroide Beta im Play Store

Thu, 13 Feb 2014 08:29:53 +0000

Da die Versionsverwaltung über den Play Store deutlich einfacher als über diesen Blog ist, gibt es den Fachschaftsdroiden nun im Play Store als Beta. Testen könnt ihr wie folgt, die Reihenfolge der Schritte ist zu beachten:

Fachschaftsdroide: zum Beta testen https://plus.google.com/communities/112299389493406857610 oder https://groups.google.com/d/forum/fachschaftsdroide-beta beitreten
Danach als Tester im Play Store anmelden https://play.google.com/apps/testing/de.upb.fsmi

Probleme, Wünsche per Email an lippertsjan@gmail.com.

Fachschaftsdroide 0.0.2

Wed, 20 Nov 2013 09:10:24 +0000

Vor der Installation müssen unbekannte Quellen aktiviert werden, eine Anleitung gibts auf https://github.com/ironjan/MensaUPB.

Download: fsdroid-0.0.2

Fehlermeldungen/Feature-Wünsche bitte per Mail an mich.

Features:

Zeigt Öffnungststatus und Termin der nächsten Sitzung
Zeigt die Neuigkeiten von https://fsmi.uni-paderborn.de/
Zeigt die Kontaktdaten der Fachschaft mit Kontaktmöglichkeit

Bekannte Bugs/Ziele für die Beta:

Es gibt keine aussagekräftigen Fehlermeldungen
Die Kontakt-Seite sieht nicht so aus, als würde man von dort direkt kontaktieren können; wird überarbeitet
Die App ist relativ groß im Verhältnis zu den bisher implementierten Funktionen
Die Status-Karte und die “Sitzungskarte” im Bereich sind noch nicht optimal und werden überarbeitet.

Der Fachschaftsdroide

Thu, 14 Nov 2013 22:41:37 +0000

Da der Fachschaftsdroide sich nun im Alpha-Stadium befindet, musste eine Seite zum Download her – das wäre dann mein “Blog under construction.

Vor der Installation müssen unbekannte Quellen aktiviert werden, eine Anleitung gibts auf https://github.com/ironjan/MensaUPB [0]

Download: fsdroid-alpha-0.0

Features:

Zeigt Öffnungststatus und Termin der nächsten Sitzung
Zeigt die Neuigkeiten von https://fsmi.uni-paderborn.de/
Zeigt die Kontaktdaten der Fachschaft mit Kontaktmöglichkeit

Bekannte Bugs:

Links in Neuigkeiten sind nicht klickbar
Es gibt keine aussagekräftigen Fehlermeldungen
Die Kontakt-Seite sieht nicht so aus, als würde man von dort direkt kontaktieren können

[0] Schamlose Eigenwerbung – der Downloadlink von MensaUPB is nicht mehr aktuell. Neues von MensaUPB gibts dann auch hier.