Dec 2, 2024
Logging in a multiprocessing context in Python —
Configuring loggers in a Python application with multiprocessing isn’t straightforward.
If you’re new to logging in Python, there’s a basic tutorial.…Nov 24, 2024
Using a VPN —
I started using NordVPN, a few alternatives also looked interesting, including ExpressVPN.
There are some websites that let you easily check if the VPN connection works:…Nov 10, 2024
Reading PDFs on the Kindle —
While sending a PDF file to your Kindle is easy, depending on the PDF format, being able to read it well in the Kindle format can be a challenge.…Oct 6, 2024
Playing The Settlers 2 on macOS with DOSBox —
DOSBox emulates an old Intel x86 PC for running many old MS-DOS games – including the original The Settlers 2, the first computer game I’ve ever played, but which unfortunately no longer runs on modern computers and operating systems.…Sep 27, 2024
Setting up a new macOS laptop —
I recently had to set up a new macOS laptop and wanted to take some notes so that I can do it more quickly the next time.…Apr 30, 2024
Learning French —
I’ve started learning French. Here are some resources I found useful.
Also see my post on exploring Paris.
Listen Radio France, different radio stations and podcasts (e.…Apr 27, 2024
Setting up Pi-hole on Raspberry Pi —
I’ve finally had some time to set up Pi-hole on my Raspberry Pi. For most parts, I followed the excellent tutorial on the Raspberry Pi website – more details below.…Apr 13, 2024
Configuring Vim and dotfiles —
I switched to Neovim some years ago and have really enjoyed working with it ever since.
Flow is one of the main reasons why.…Mar 9, 2024
Implementing the Uno card game in Rust —
After having implemented the Uno card game in Python, I decided to rewrite it in Rust.
Rewriting Uno in Rust has taught me a lot, as Rust forces you define objects and their interactions more clearly, and encourages you to keep them as simple as possible.…Dec 28, 2023
Configuring a custom domain with Github Pages and Squarespace —
To show my website on my custom domain, I had to configure GitHub Pages, my static site hosting service, and Squarespace, my domain hosting service.…