Blogo — Functional programming
Grafts, continued
6-a de Majo 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
1-a de Novembro 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
24-a de Septembro 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
18-a de Septembro 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
2-a de Marto 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
19-a de Novembro 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
18-a de Januaro 2006
Eelco Dolstra's seminal PhD thesis about the Nix package manager, which Guix is based on . Download (PDF). …