All articles
- How to name things Jan 16, 2025
- Writing well Jan 12, 2025
- Search and replace in multiple files using vim Dec 24, 2024
- Logging in a multiprocessing context in Python Dec 2, 2024
- Using a VPN Nov 24, 2024
- Reading PDFs on the Kindle Nov 10, 2024
- Playing The Settlers 2 on macOS with DOSBox Oct 6, 2024
- Setting up a new macOS laptop Sep 27, 2024
- Learning French Apr 30, 2024
- Setting up Pi-hole on Raspberry Pi Apr 27, 2024
- Configuring Vim and dotfiles Apr 13, 2024
- Implementing the Uno card game in Rust Mar 9, 2024
- Configuring a custom domain with Github Pages and Squarespace Dec 28, 2023
- Implementing the Uno card game in Python Dec 20, 2023
- Run pre-commit retrospectively on all changed files in a PR Oct 2, 2020