بلاگ — Functional programming

Grafts, continued

‏مه ‏ 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

‏نوامبر ‏ 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

‏سپتامبر ‏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

‏سپتامبر ‏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

‏مارس ‏ 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

‏نوامبر ‏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

‏ژانویه ‏18، ‏2006

Eelco Dolstra's seminal PhD thesis about the Nix package manager, which Guix is based on . Download (PDF). …