Posts
Creating website and blogging in Org mode
I discovered the power of Org mode when I started to work on my Ph.D. thesis which is being entirely written in Org mode too. Indeed, one can easily export an Org mode document to an HTML page or a PDF document typeset in LaTeX. Recently, I committed myself to overhaul my personal website and decided to produce it using Org. So, in this post, I detail the whole process step by step.
Using AddressSanitizer (ASan) in a CMake project
AddressSanitizer (ASan) is a memory error detector for the C and C++ languages. It has been included in compilers such as GCC and Clang for quite some time now. Although the official Wiki page provides a very straightforward guide on how to use ASan in a general case, I could not find a good example of ASan being used in a CMake project. This is what this post is about.
Installing Python modules on Guix
On GNU Guix, software binaries are stored under /gnu/store/ which
is a read-only file system. Therefore, when installing a Python module, such as
gcvb, simply invoking pip install does not work as it can not
access the Python directories in /gnu/store/ for writing. In this post, I
tackle all the issues faced during the installation of the gcvb benchmarking
module but, it may help you install other Python modules as well.
Installing proprietary firmware on Guix
GNU Guix is an open-source Linux distribution and the Linux kernel version it uses does not allow to load proprietary firmware by default. Although, it is possible. In this post, I explain how to get work proprietary firmware on Guix.
Facing issues while installing Guix
I have recently performed a clean installation of the GNU Guix Linux distribution on a new laptop computer. During the setup process, I have experienced some serious issues. In this post, I investigate their causes and propose methods for fixing them.
Configuring cups printing service on Guix
Service configuration on GNU Guix is quiet different compared to mainstream Linux distribution. In this post, I address the process of configuring the cups printing service on Guix.
Café Guix, commandes guix time-machine et guix describe
À l'occasion de ce Café
Guix, nous découvrirons les commandes guix time-machine et guix describe à
travers d'un cas d'utilisation pratique – la reproduction d'un environnement
logiciel créé avec la commande guix shell. Après une brève mise en situation,
nous rappelerons quelques autres commandes et notions associées à Guix puis nous
expliquerons comment nous pouvons nous servir de guix time-machine et guix
describe dans le cadre du cas pratique abordé. Nous poursuivrons avec d'autres
exemples d'application de ces commandes et présenterons une utilisation plus
avancée de celles-ci. Enfin, nous verrons quelques suggestions de bonnes
pratiques d'utilisation au moyen d'une petite démonstration.
