Hydra talk at Inria
Ludovic Courtès gave a talk on Hydra at Inria (which has
its own Hydra instance for building Inria software) entitled “Hydra:\
 continuous integration for demanding people”. ⌘ Read more

Moving to GitHub
The NixOS project is (slowly) migrating from Subversion to Git!
The master repositories will be hosted in the NixOS organization on GitHub. For the moment, just a
few subprojects have been migrated, such as Hydra and Charon. Thanks to
Tianyi Cui for donating the NixOS GitHub organization. ⌘ Read more

ISSRE paper on NixOS-based system testing
The paper “Automating System\
 Tests Using Declarative Virtual Machines” (by Sander van der
Burg and Eelco Dolstra) has been accepted for presentation at
the 21st IEEE International\
 Symposium on Software Reliability Engineering (ISSRE 2010).
It describes how system tests with complex requirements on the
en … ⌘ Read more

Hydra
Nix
and NixOS
releases are now built in Hydra, the new Nix-based
continuous build system. Hydra replaces our old Nix-based\
 build farm, which will be phased out soon. There are
several advantages over the old build farm: the build tasks for
a project are scheduled and published separat … ⌘ Read more

DisNix paper accepted at HotSWUp
The paper “Atomic Upgrading of Distributed Systems” (by Sander
van der Burg, Eelco Dolstra and Merijn de Jonge) has been
accepted for presentation at the First ACM Workshop on Hot\
Topics in Software Upgrades (HotSWUp). A draft\
of the paper is available. It describes Sander’s master’s
thesis research on DisNix, an extension … ⌘ Read more

LDTA 2008 paper
Eelco Dolstra presented the paper “Maximal\
Laziness — An Efficient Interpretation Technique for Purely\
Functional DSLs” at 8th\
Workshop on Language\
Description, Tools and Applications (LDTA 2008). It’s about
caching of evaluation results in the Nix expression evaluator as
a technique to make a simple term-rewriting evaluator efficient.
Slides are [here](h … ⌘ Read more

HotOS paper on NixOS
Eelco Dolstra presented the paper Purely\
Functional System\
Configuration Management at the 11th Workshop on\
Hot Topics in Operating Systems (HotOS XI). It gives an
overview of the ideas behind NixOS. The
slides
are also available. ⌘ Read more

PhD thesis defended
Eelco Dolstra
defended his PhD\
 thesis on the purely functional deployment model. ⌘ Read more