The log

December 2025

Just bought TAOCP. I think I’d need a whole lifetime to read the entire set, let alone understand it.

August 2025

• First time I work with Vercel. Pretty easy to build and deploy.

July 2025

• A new style for the site; probably the 6th redesign so far.

March 2025

• Northern Spain is really nice.

December 2024

• Moved to Spain after almost a decade living in Germany.

July 2022

• In recent versions of Jetbrain’s IDEs, the action “Annotate with Git Blame” does not open a single floating window anymore. Instead it displays a window with Git branches, commits and what not. Can be disabled via the IDE registry (Shift + ⌘ + A, on Mac): vcs.blame.show.affected.files.in.log .

March 2022

• GitLab’s Dependency Proxy doesn’t seem to support multi-architecture upstream image repositories.

February 2022

• GitLab’s Dependency Proxy. It’s like a private cache for Docker images, and available in the free tier.

January 2022

• Bought a new domain name. Swapped the silly prefix for a more decent suffix (or at least I think so).

December 2021

• I changed the design of the website one more time. I actually kinda like it now.

June 2021

• Once again I have changed the style of the website.