KrokiKroki is a wonderful tool I discovered during the time I worked as DevRel: it’s a small open source containerized application (compatible with OpenShift off-the-box) written in JavaScript, that encapsulates as many textual diagram formats as possible under a single unified API, offering a convenient way for users to generate diagrams, without needing to install separate libraries everywhere.
Plugins for tmuxI’m a big fan of tmux since I started using it back in 2010. I can’t conceive working on a terminal window without it, and I also use it in remote systems I access via SSH.
Automatic Dark Mode via CSSDark mode (or dark theme, depending on whom you ask) is a great thing, and major operating systems have adopted it in the past few years as a native feature: Windows, macOS, and Linux desktop environments such as GNOME, Xfce, and KDE have a dark mode built-in.
EditPlusLast week I was celebrating the 20 years of my Harman Kardon SoundSticks, but last Monday there was another anniversary that some of us celebrated fondly: EditPlus 1.0, released March 20th, 1998, is 25 years old!
GNOME ExtensionsLast week I talked about Firefox extensions, last year I talked about VSCode extensions, now it’s time to talk about GNOME extensions.
Firefox ExtensionsEverybody uses Chrome, but I don’t; Google is too powerful already, no need to feed the beast anymore. At most, I have a copy of Chromium installed, as a last resort. Because I’m a faithful Firefox user, and of course I install many extensions in it. Here are some of those that I systematically add to every computer I use.
Lots of VSCode ExtensionsThe recent release by Microsoft of vscode.dev, the online version of Visual Studio Code, made me think of all the different things I do with VSCode, including this blog.