About
Projects
Blog
Contact
Blog
Notes on web development
Dead code elimination for PHP using the Tombs extension
October 2021
Linux – Fix broken DNS when using WIFI in German ICE trains
January 2020
How to reduce space after headings in KOMA-Script (LaTeX)
August 2019
TypeScript – When a data type is not assignable to itself (TS2345)
July 2019
Changing Dolphin’s directory icons in KDE5 on the command line
December 2018
How to speed up the animations of a hidden macOS Dock
November 2017
Back to top