May 18, 2025
Exploring Paris —
Festivals & events Fête de la musique Ganesha festival (Temple of Sri Manicka Vinayakar Alayam) Fête National (Bastille Day) Bal des Pompiers Fête de la Lune Les nuits de la lecture Paris sous les étoiles Festival de cinema Peruivien Restaurants Le Petit Pudlo (bistro guide) Les Pieds dans le Plat (gastronomic blog) Cinemas Louxor cinema (excellent selection of original-language films, well …
May 14, 2025
Learning C++ —
Build process For an introduction to the build process, see The C++ Build Process Explained and the related HackerNews thread. For a deeper explanation, see The Bits Between the Bits: How We Get to main(). For a real-time visualisation of the build process, see this post.
Jan 16, 2025
How to name things —
In software engineering (and machine learning), we often need to name things to refer to them more easily in our discussions – be it projects, products or servers.
Jan 14, 2025
Signing git commits —
https://withblue.ink/2020/05/17/how-and-why-to-sign-git-commits.html
If a key expires, you can update the expiration date as follows:
gpg --list-secret-keys to list the secret keys and look up the key ID, alternatively gpg --list-keys gpg --edit-key <key-id> to open the gpg console run expire in the gpg console and follow the prompts to update the expiration date finally save and quit You …
Jan 12, 2025
Writing well —
Here are some resources for writing well.
General writing “Style: The Basics of Clarity and Grace” (3rd Edition) 3rd Edition, by Joseph M. Williams “The Chicago Manual of Style”, 16th Edition Sixteenth Edition, by University of Chicago Press Staff https://matt.might.net/articles/shell-scripts-for-passive-voice-weasel-words-duplicates/ Technical docs A Manual for Writers of …
Jan 11, 2025
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 …
Dec 24, 2024
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.
Dec 20, 2024
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 …
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: