2026/04/08 → Get Rid of Bartender and Other Menu Bar Apps

2025/12/18 → On Agentic AI and reusing passwords

2025/11/10 → Most Popular LinkedIn Post

2024/06/30 → Trust local caddy certificates on macOS

2024/01/09 → Mark Apple Music song as favorite in the background

2018/06/21 → Git patch workflow

2017/02/25 → No system holding your private information is failing

2012/05/30 → Export to BibTeX from Papers (2)

2011/07/12 → Marked

2011/04/08 → Growl.log and Perl

2010/11/22 → Illustrator and psfrag

2010/02/25 → Speaking of emails

2009/07/30 → Web of Science, Papers and Leiden University

2009/07/28 → X11 and System Fonts in Mac Os X