Projekte
... an denen ich beruflich oder in der Freizeit arbeite
Mallob
Malleable Load Balancing – Multitasking Agile Logic Blackbox. Diese Plattform ermöglicht die Verarbeitung vieler paralleler Aufgaben in großem Stil, wobei die Menge der Rechenknoten, die an einer Aufgabe arbeiten, während der Berechnung schwanken kann. Die primäre Applikation der Plattform ermöglicht skalierbares On-Demand "SAT-Solving in der Cloud" mit einem ausgezeichneten SAT-Solving-Programm, das auf HordeSat, Lingeling und YalSAT basiert.
Lilotane
Lifted Logic for Task Networks. Dieser automatisierte Planer löst Totally Ordered Hierarchical Task Network (TOHTN)-Planungsprobleme, indem er sie mithilfe eines völlig neuen Instantiierungs- und Kodierungsverfahrens in Aussagenlogik überführt, mit dem vermieden werden kann, das Problem vollständig zu grunden. Erzielte den zweiten Platz im Total Order Track der International Planning Competition 2020.
krunner-symbols
Ein Plugin für den KDE Plasma Schnellstarter krunner, das schnellen Zugriff auf Unicode-Symbole ebenso wie beliebige eigene Definitionen erlaubt, indem ein kurzes Schlüsselwort eingegeben wird. So können etwa fremdsprachige Zeichen wie λ, Symbole wie ✔ oder ganze Textblöcke wie lorem ipsum in die Zwischenablage kopiert werden. Das Tool unterstützt auch Abkürzungen, die zur Ausführung selbst definierter Kommandos führen.
Sounds out of Bounds
Als Student der Universität Stuttgart war ich maßgeblich an der Erstellung eines Liederbuchs zu Themen der Informatik und IT beteiligt. Das Buch war als ein würdiger Nachfolger zu früheren Liederbüchern mit ähnlicher Thematik gedacht, die von der damaligen Fachschaft gedichtet wurden. Einige Exemplare wurden gedruckt; zudem ist der Inhalt auf Github frei verfügbar (und unter der CC-BY-NC-SA lizensiert). Das Buch enthält über 20 Neu-Interpretationen von Musik-Hits, darunter Branching Tree, Another Day in Tech Support, Commit the Code Jack oder Another Byte in the Code.
theresa
Eine Abkürzung für Theremin Sensor Application; dieses Framework ermöglicht es, sich ein eigenes Theremin-artiges Instrument mithilfe von Tinkerforge-Sensoren und einem gewöhnlichen Computer (oder einem Raspberry Pi) zu bauen. Die vollständig digitale Audiosynthese erlaubt interessante und spaßige Variationen wie verschiedene Klangwellen, Oktavierung, Autotuning oder mehrstimmiges Spiel.
Grenoblog
Der Blog zu meinem Doppelmaster-Auslandsjahr in Grenoble. Gedacht ist dieses relativ ungefilterte "Tagebuch" als Erinnerung für mich selbst sowie als Orientierung für alle, die sich selbst überlegen, an einem Doppelabschlussprogramm teilzunehmen.