Blog --- Functional programming
Grafts, continued
maio 6, 2020
Guix includes a mechanism called grafts that allows us to provide users with security updates in a timely fashion, even for core packages deep down in the…
Back from GPCE
novembro 1, 2017
Last week, I was at GPCE 2017 , an academic conference focused on generative programming techniques. I presented Code Staging in GNU Guix , a paper that discusses the…
Back from CUFP 2016
setembro 24, 2016
The Commercial Users of Functional Programming 2016 Workshop concluded. There is no video recording this time, but you can download the slides from…
Back from the Scheme Workshop 2016
setembro 18, 2016
The 17th Annual Scheme and Functional Programming Workshop 2016 concluded. There is no video recording this time, but you can download the slides …
Timely delivery of security updates
março 2, 2016
Yesterday, a new version of OpenSSL was released , addressing several serious vulnerabilities, some of which are nicknamed "DROWN" . Like all free software distributions,…
Service composition in GuixSD
novembro 19, 2015
GuixSD provides a declarative, stateless approach to operating system configuration management. In this context, the mechanism offered to select and compose system services is a crucial one.…
The Purely Functional Software Deployment Model
janeiro 18, 2006
Eelco Dolstra's seminal PhD thesis about the Nix package manager, which Guix is based on . Download (PDF). …