Personal on ~miguelbernadi

Rabbit-chasing bugs back in 2016

Wed, 26 Nov 2025 21:51:00 +0000

A recent hiring process required me to write down a debugging story that included application code and infrastructure. This prompt reminded me of an old happening back in 2016 and how amazingly baffling it was. I didn’t use this event in my job application, but I found it was worth writing down and share, showing the interesting failure modes that big distributed systems can bring.

Git configuration and signing commits with SSH keys

Fri, 18 Nov 2022 13:52:00 +0000

I was reading the other day a nice blogpost by Matthew Garret (mjg59) about being able to use SSH keys to sign Git commits. While trying to make that set up in my machine I realized there are some tricks I use to configure the Git repository identities I had not spoken about before, so I’m going to merge both topics.

If you are only interested in the SSH signing, you can check mjg59’s post above and Caleb Hearth’s. If you want my usual ramblings, keep reading.

My project maintenance helpers

Sat, 05 Nov 2022 15:30:00 +0000

As perks of the job, I tend to find myself having to maintain old code bases with many outdated dependencies. That is quite usual, but turns to be specially painful when you need to update a core dependency and every other thing starts breaking due to API changes. This has happened to me in 2 workplaces, first in Ruby on Rails, and latest in the infrastructure scripts written in Python 2.

Using transient for project menu

Mon, 31 Oct 2022 14:00:00 +0000

Project management is a basic necessity of developing software (and things that are not software). As I use Emacs throughout the development cycle I also need to control projects from there. I’m sharing here a transient I wrote to help me learn to write transients and to use these better.

This blog is now running in srht.site!

Fri, 31 Dec 2021 18:31:00 +0000

This blog is now hosted in srht.site. This is the static site hosting provided by sourcehut, a very opinionated software forge with many integrated services.

Emacs helper for Pull Request descriptions

Fri, 02 Apr 2021 17:45:00 +0000

Using Emacs, you eventually need to learn Emacs Lisp (elisp) as everything is written in that language. Configuration is also in elisp, but usually requirements are minor enough not to need much learning. I’ve tried to learn it several times with low success, but recently I got to write a helper for myself that I think is worth sharing. This is just beginner stuff, and hopefully will help me remember how the bloody thing works :)

Four years in Emacs

Fri, 25 Sep 2020 20:38:00 +0000

Last June it made the fourth year I’ve been using Emacs, so I felt it worth going a bit down memory lane. This post is basically my account of how I found and started to use Emacs, exposing the good and bad of it all. I still use Emacs everyday and I’m likely to continue further with all the warts I know it has.