Learning Rust — General resources Why Rust? See Considering Rust by Jon Gjengset Rust Book (introductory book) Programming Rust: Fast, Safe Systems Development (book) Effective Rust (book) Lifetimes As a Rust beginner, I understood lifetimes backwards, thinking <'a> means I’m declaring a lifetime which I then use. What that actually declares is a placeholder for a lifetime the compiler will attempt to …
Search and replace in multiple files using vim — I’m using Neovim with AstroNvim, and the key maps below will be different depending on your setup. You can find my configuration here.
Cleaning up storage on macOS — Using macOS storage manager Go to System Settings, Storage Click on the info circle to further investigate each category and remove applications or files that you no longer need Clearing cache from developer tools docker system prune --all remove unused conda environments conda info --envs, conda remove -n <name> --all cargo cache …
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.
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:
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.
Playing The Settlers 2 on macOS with DOSBox — DOSBox emulates an old Intel x86 PC for running old MS-DOS games on modern computers – 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.
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. This blog post was very useful.
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.g. France Inter, France Info or France Culture); for French-only music, see Fip - Sacré Français Radio France Internationale, e.g. Journal en français facile ByteFM programs France, en confidance and What the France about …
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.