Pascal Wittmann

Software Engineer · Computer Scientist

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

October 5, 2026 monitoring nixos systemd phare-nix: Declarative Uptime Monitoring for NixOS
A NixOS module that keeps the monitors on phare.io in sync with the services on your server

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

April 20, 2018 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

November 17, 2016 ACM Prüdes Amerika
Verdeckte Titelseite der Communications of the ACM

November 2, 2016 nixops nixos Auto-upgrade with NixOS and NixOps
How to make auto-upgrade play with NixOps

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

October 8, 2015 tu-darmstadt Confidentiality for Multithreaded Dalvik Programs by SIFUM Security
Bachelor Thesis

May 23, 2014 git nixos Alias to checkout the current nixos version
Extracts the hash from the output of `nixos-version`

December 2, 2012 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

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

March 12, 2012 css externe Links markieren ohne Icon
Mit der content Property einfach und ohne Icons externe Links markieren

March 11, 2012 yesod Yesod 0.10
Erfolgreiche Migration auf Yesod 0.10

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

May 1, 2011 backup linux kleine Backup-Erinnerung
Einfache Methode für eine Backup-Erinnerung

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

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

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

August 7, 2010 irc linux weechat: lag_min_show ist nun in Millisekunden
Seit Version 0.3.3 ist lag_min_show in Millisekunden

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