~/talk

Guix: From transparent and verifiable to long-term reproducible research?

Talkat DebConf 2025 · on Tuesday, 2025-07-15· at 13:00· Petit amphi· [software-architecture]

Guix is presented as a multi-role tool (package manager, build system, OS, and Guile/Scheme library) that supports reproducible software deployment for research by enabling user-specific packages, transactional upgrades/rollbacks, containers and VMs, and coexistence with Debian. The talk explains Guix features for creating customized dependency variants (different versions, compilers, build options) and capturing build provenance via Guix snapshots (guix time-machine), and describes an integration that uses the Software Heritage archive to ensure long-term access to source code for reproducible verification.

AI-written summary · about

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.