部落格 - Functional programming
Grafts, continued
2020-05-06
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
2017-11-01
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
2016-09-24
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
2016-09-18
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
2016-03-02
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
2015-11-19
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
2006-01-18
Eelco Dolstra's seminal PhD thesis about the Nix package manager, which Guix is based on . Download (PDF). …