Pascal Wittmann

Software Engineer · Computer Scientist

Pascal Wittmann Hi! This is my personal website. I am a software engineer and computer scientist, and here I occasionally write about software and the things that keep me busy. You can learn more about me or subscribe to the newsfeed.

Posts

monitoring nixops nixos systemd Systemd Service Failure Notification System
A very simple notification system for systemd service failures that levereges the power of NixOS

dmn red6 dmn-check: A tool to validate DMN files
A Maven plugin which performs various static analyses on Decision Model Notation (DMN) files to detect bugs

ACM Prüdes Amerika
Verdeckte Titelseite der Communications of the ACM

nixops nixos Auto-upgrade with NixOS and NixOps
How to make auto-upgrade play with NixOps

studium tu-darmstadt A Language for the Specification and Efficient Implementation of Type Systems
Master Thesis

tu-darmstadt Confidentiality for Multithreaded Dalvik Programs by SIFUM Security
Bachelor Thesis

git nixos Alias to checkout the current nixos version
Extracts the hash from the output of `nixos-version`

linux llpp "auto-reload on file change"-wrapper for the llpp pdfviewer
Using a wrapper script and inotify to provide automatic document reloading for llpp

linux Arch Linux Installation
Notizen zur Installation von Arch Linux mit UEFI, GPT, LVM und dm-crypt

css externe Links markieren ohne Icon
Mit der content Property einfach und ohne Icons externe Links markieren

yesod Yesod 0.10
Erfolgreiche Migration auf Yesod 0.10

mais tu-darmstadt Seminar "Formal Specification"
Folien zu meinen Vortrag über "Security of Multithreaded Programs by Compilation"

backup linux kleine Backup-Erinnerung
Einfache Methode für eine Backup-Erinnerung

linux zsh suffix aliases im Hintergrund starten
So kann man auch X11-Programme angenehm per suffix alias starten

powi Die Rolle des Liberalismus in der europäischen Geschichte
Die Rolle des Liberalismus aus Perspektive des Marxismus und der Modernisierungstheorie

linux (Noch) Mehr Spaß in der Shell mit moreutils
Moreutils sind eine Toolsammlung

linux zsh Schneller mit der Tilde (~) arbeiten
Slash an Tilde anhängen um sofort die Tab-Completion zu nutzen

irc linux weechat: lag_min_show ist nun in Millisekunden
Seit Version 0.3.3 ist lag_min_show in Millisekunden

ethik Debatte um adulte und embryonale Stammzellen in der europäischen Union
Schriftliche Ausarbeitung und Folien der mündlichen Prüfung meiner "besonderen Lernleistung"

mathe lineare Regression
Folien und Handout eines Vortrages über lineare Regression

powi Friedliche neue Weltordnung
Der Begriff "Neue Weltordnung" unter Wilson und Bush

ethik Zionismus und israelisches Staatsbürgerschaftsrecht
Die Entstehung Israels und dessen Bürgerrechte

ethik Zeitleiste des Zionismus
Zeitleiste des Zionismus von 63 v.Chr. bis 2002 n.Chr.

deutsch Marthens Garten
Interpreation der Szene 'Marthens Garten' aus Goethes Faust

deutsch Mondnacht
Interpretation von Eichendorfs Gedicht Mondnacht

ethik Paul Krugman
Positionen von Paul Krugman zum Thema Gerechtigkeit

ethik Mythen, Philosophie und Ethik
Aufsatz

ethik Ethik in der Bibel und im frühen Christentum
Aufsatz

ethik Wie frei ist der Mensch?
Essay

deutsch Leitfaden zur Sachtextanalyse
Lernhilfe/Übersicht zur Sachtextanalyse

deutsch Die Vielzahl der Helden
Analyse der 13. Szene von Brechts Galileo Galilei

ethik Historisch-kritische Methode der Exegese
Einführung in die historisch-kritische Methode der Exegese

englisch Stars
Interpretation von Frosts Gedicht Stars

deutsch Innerer Monolog des Fulganzio
Innerer Monolog des Mönches Fulganzio aus Galileo Galilei

deutsch Das Dicke Kind
Interpretation von Kaschnitzs Kurzgeschichte

deutsch Die unwürdige Greisin
Interpretation von Brechts Kurzgeschichte

deutsch Heimkehr
Interpretation von Kafkas Kurzgeschichte