ブログ — 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). …