You are here

Video: Reproducible Software Deployment with GNU Guix

Ludovic Courtès presented his vision for future secure operating system distributions using GNU Guix today, including a surprising number of GNUnet references.


“It used to work perfectly, then I upgraded something, and somehow...”. Sounds like a déjà vu? Sometimes feel like software deployment is unpredictable? You think reproducible research demands reproducible software deployment? Ever wondered if you can trust your compiler or the integrity of those binary packages you have downloaded?

This talk introduces GNU Guix, a package manager that implements the functional package management paradigm pioneered by Nix to address these issues. Guix supports transactional upgrades and rollbacks, as well as support for multiple software profiles. In this talk, I will introduce functional package management and demonstrate Guix on practical use cases. I will discuss the implications on (bit-)reproducible packages and environments, and how this can lead to verifiable binaries. Lastly, we will see how this extends to whole-system deployments with GuixSD, the Guix System Distribution.

About the Speaker

Ludovic is a research engineer in the Development and experimentation department at Inria Bordeaux Sud-Ouest. Aside from his duties at Inria, he is co-maintainer of GNU Guile, an implementation of the Scheme functional programming language, and the maintainer of GNU Guix.


Creative Commons License
"Reproducible Software Deployment with GNU Guix" by Ludovic Courtès, produced by Inria is licensed under a Creative Commons Attribution-NoDerivs 3.0 Unported License.

The talk was organized by Equipe Décentralisé and recorded by Alain Crenn at Inria Rennes. Thanks to everyone who helped!