Skip to content

Tech

Improve your daily workflow with jumpapp

Most "advanced" users will always recommend using keyboard shortcuts whenever possible, no matter which system or application you are using. In this post I'm going to touch the process of launching and switching applications.

Disabling GRUB graphical theme

I've been using Antergos/Arch Linux for a couple of years after switching from Ubuntu GNOME, and although I don't dislike the shipped graphical GRUB theme (depicted below), I always found it unnecessary and in some resolutions the background image is stretched.

Custom domains and HTTPS with Github Pages

One of the main reasons people point out to use a custom domain is that people will take your website more seriously. I personally just did it because it's relatively cheap and because I wanted to learn on the process.

On this post I will try to explain shortly my (mis)adventures on setting up my own custom domain.

Using Jekyll, Lightbox, and GitHub pages

Lightbox is a script used to overlay images on the current page. Its implementation in a pure HTML is fairly easy if you follow the documentation (I used it long ago for a secondary school project a friend and I did back in 2010).

My idea was to see how this could be implemented in Jekyll using plug-ins or whatever.

I'm writing my own LaTeX book!

There are many good books to learn LaTeX, like LaTeX and Friends by Marc R. C. van Dongen (my favourite) or the LaTeX Guide from Wikibooks. But sometimes you find that they go either too deep into technical details, or they don't really scratch the surface of what LaTeX can offer.

That's why I decided a couple of weeks ago to write my own book about LaTeX.