https://guix.gnu.org/feeds/blog/papers.atomGNU Guix — Blog — Papersfeed author nameGNU Guixhttps://guix.gnu.org/themes/initial/img/icon.png2024-03-15T23:01:41Zhttps://guix.gnu.org/blog/2017/back-from-gpce//Back from GPCELudovic Courtès2017-11-01T12:00:00Z2017-11-01T12:00:00Z 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 motivation for and genesis of
G-expressions
as well as recent improvements. The slides are available
here . …<p>Last week, I was at <a href="https://conf.researchr.org/track/gpce-2017/gpce-2017-GPCE-2017">GPCE
2017</a>,
an academic conference focused on generative programming techniques. I
presented <a href="https://hal.inria.fr/hal-01580582/en"><em>Code Staging in
GNU Guix</em></a>, a paper that discusses
the motivation for and genesis of
<a href="https://www.gnu.org/software/guix/manual/en/html_node/G_002dExpressions.html">G-expressions</a>
as well as recent improvements. The slides are <a href="https://www.gnu.org/software/guix/guix-gpce-20171023.pdf">available
here</a>.</p>https://guix.gnu.org/blog/2017/coming-events//Coming eventsLudovic Courtès2017-10-17T12:00:00Z2017-10-17T12:00:00Z Guix will be present on a few venues in the coming weeks: On October 23rd, I (Ludovic Courtès) will be at
GPCE ,
an academic conference co-located with SPLASH in Vancouver, Canada.
I will present the paper Code Staging in
GNU Guix , which discusses
the motivation for and genesis of
G-expressions ,
as well as recent improvements. It’s an honor to be presenting
before an audience of experts in the field! Christopher Baines will be at freenode
#live in Bristol, UK, among well-known
free software activists from a variety of organizations and
projects. Christopher will give a…<p>Guix will be present on a few venues in the coming weeks:</p><ol><li>On October 23rd, I (Ludovic Courtès) will be at
<a href="https://conf.researchr.org/track/gpce-2017/gpce-2017-GPCE-2017">GPCE</a>,
an academic conference co-located with SPLASH in Vancouver, Canada.
I will present the paper <a href="https://hal.inria.fr/hal-01580582/en"><em>Code Staging in
GNU Guix</em></a>, which discusses
the motivation for and genesis of
<a href="https://www.gnu.org/software/guix/manual/en/html_node/G_002dExpressions.html">G-expressions</a>,
as well as recent improvements. It’s an honor to be presenting
before an audience of experts in the field!</li><li>Christopher Baines will be at <a href="https://freenode.live/">freenode
#live</a> in Bristol, UK, among well-known
free software activists from a variety of organizations and
projects. Christopher will give a talk on October 29th to give an
overview of Guix and GuixSD.</li><li>On October 31st, Ricardo Wurmus, Jan Nieuwenhuizen, and possibly
more Guix hackers will join a dozen free software projects at the
<a href="https://reproducible-builds.org/events/berlin2017/">third Reproducible Build
Summit</a> in
Berlin, Germany. As in
<a href="/news/reproducible-build-summit-2nd-edition.html">previous</a>
<a href="https://lists.gnu.org/archive/html/guix-devel/2015-12/msg00107.html">years</a>,
we expect it to be a good time to share tips & tricks as well as a
longer-term vision with our fellow hackers!</li></ol><p>If you’re around in Vancouver, Bristol, or Berlin, let’s get in touch!
:-)</p><h4>About GNU Guix</h4><p><a href="https://www.gnu.org/software/guix">GNU Guix</a> is a transactional package
manager for the GNU system. The Guix System Distribution or GuixSD is
an advanced distribution of the GNU system that relies on GNU Guix and
<a href="https://www.gnu.org/distros/free-system-distribution-guidelines.html">respects the user's
freedom</a>.</p><p>In addition to standard package management features, Guix supports
transactional upgrades and roll-backs, unprivileged package management,
per-user profiles, and garbage collection. Guix uses low-level
mechanisms from the Nix package manager, except that packages are
defined as native <a href="https://www.gnu.org/software/guile">Guile</a> modules,
using extensions to the <a href="http://schemers.org">Scheme</a> language. GuixSD
offers a declarative approach to operating system configuration
management, and is highly customizable and hackable.</p><p>GuixSD can be used on an i686 or x86_64 machine. It is also possible to
use Guix on top of an already installed GNU/Linux system, including on
mips64el, armv7, and aarch64.</p>https://guix.gnu.org/blog/2015/reproducible-and-user-controlled-software-environments-in-hpc-with-guix//Reproducible and User-Controlled Software Environments in HPC with GuixLudovic Courtès2015-07-01T00:00:00+02002015-07-01T00:00:00+0200 Our paper entitled Reproducible and User-Controlled Software Environments in HPC with Guix was accepted for RepPar , a workshop on reproducibility in parallel computing: Support teams of high-performance computing (HPC) systems often find themselves between a rock and a hard place: on one hand, they understandably administrate these large systems in a conservative way, but on the other hand, they try to satisfy their users by deploying up-to-date tool chains as well as libraries and scientific software. HPC system users often have no guarantee that they will be able to…<div><p>Our paper entitled <a href="https://hal.inria.fr/hal-01161771/en">Reproducible and User-Controlled Software Environments in HPC with Guix</a> was accepted for <a href="http://reppar.org/">RepPar</a>, a workshop on reproducibility in parallel computing:<br /></p><p> Support teams of high-performance computing (HPC) systems often find themselves between a rock and a hard place: on one hand, they understandably administrate these large systems in a conservative way, but on the other hand, they try to satisfy their users by deploying up-to-date tool chains as well as libraries and scientific software. HPC system users often have no guarantee that they will be able to reproduce results at a later point in time, even on the same system—software may have been upgraded, removed, or recompiled under their feet, and they have little hope of being able to reproduce the same software environment elsewhere. We present GNU Guix and the functional package management paradigm and show how it can improve reproducibility and sharing among researchers with representative use cases. <br /></p><p>The paper can be thought of as a followup to the recent <a href="http://elephly.net/posts/2015-04-17-gnu-guix.html">experience report</a> by Ricardo Wurmus.<br /></p><p>We believe package management and reproducibility are key topics for HPC research. We are glad to have this opportunity to discuss the subject with researchers of the field.<br /></p><h4>About GNU Guix</h4><p><a href="http://www.gnu.org/software/guix">GNU Guix</a> is a functional package manager for the GNU system. The Guix System Distribution or GuixSD is an advanced distribution of the GNU system that relies on GNU Guix and <a href="http://www.gnu.org/distros/free-system-distribution-guidelines.html">respects the user's freedom</a>.<br /></p><p>In addition to standard package management features, Guix supports transactional upgrades and roll-backs, unprivileged package management, per-user profiles, and garbage collection. Guix uses low-level mechanisms from the Nix package manager, except that packages are defined as native <a href="http://www.gnu.org/software/guile">Guile</a> modules, using extensions to the <a href="http://schemers.org">Scheme</a> language. GuixSD offers a declarative approach to operating system configuration management, and is highly customizable and hackable.<br /></p><p>GuixSD can be used on an i686 or x86_64 machine. It is also possible to use Guix on top of an already installed GNU/Linux system, including on mips64el and armv7.<br /></p></div>https://guix.gnu.org/blog/2013/guix-at-the-european-lisp-symposium//Guix at the European Lisp SymposiumLudovic Courtès2013-05-21T00:00:00+02002013-05-21T00:00:00+0200 A paper presenting the design of Guix's Scheme API and packaging language has been accepted for the 2013 European Lisp Symposium (ELS) . ELS will take place in Madrid on June 3-4. …<div><p>A <a href="http://arxiv.org/abs/1305.4584">paper</a> presenting the design of Guix's Scheme API and packaging language has been accepted for the <a href="http://www-sop.inria.fr/members/Manuel.Serrano/conferences/els13.html">2013 European Lisp Symposium (ELS)</a>. ELS will take place in Madrid on June 3-4.<br /></p></div>https://guix.gnu.org/blog/2006/purely-functional-software-deployment-model//The Purely Functional Software Deployment Modelsirgazil2006-01-18T12:45:00Z2006-01-18T12:45:00Z Eelco Dolstra's seminal PhD thesis about the Nix package manager,
which Guix is based on . Download (PDF). …<p>Eelco Dolstra's seminal PhD thesis about the Nix package manager,
which <a href="https://www.gnu.org/software/guix/manual/en/html_node/Acknowledgments.html">Guix is based on</a>. <a href="http://nixos.org/~eelco/pubs/phd-thesis.pdf">Download</a> (PDF).</p>