-*- mode: org; coding: utf-8; -*-

#+TITLE: Tentative GNU Guix Road Map

Copyright © 2012, 2013, 2014, 2015 Ludovic Courtès <ludo@gnu.org>

  Copying and distribution of this file, with or without modification,
  are permitted in any medium without royalty provided the copyright
  notice and this notice are preserved.

The goals of the GNU Guix project are two-fold:

  - to build a purely functional package manager, based on Nix and
    Guile;

  - to use it to build a practical 100% free software distribution of
    GNU/Linux and possibly other GNU variants, with a focus on the
    promotion and tight integration of GNU components–the GNU system.

Since its inception, the project has gone a long way towards that goal.  Below
is a list of items we want for version "1.0" of the Guix System Distribution.
There will be a few 0.x releases by then to give the new features more
exposure and testing.

You're welcome to discuss this road map on guix-devel@gnu.org or #guix on
the Libera Chat IRC network!

* Features scheduled for 1.0

  - larger & more robust build farm
    + we need a powerful, dedicated front-end
    + armhf-linux build machine
    + leave Hydra in favor of 'guix publish' + custom code?
  - more OS features
    + LVM support
    + encrypted root
    + configurable name service switch
    + whole-system unit tests, using VMs
  - more service definitions
    + mcron, postfix(?), wicd(?), etc.
  - better 'guix system'
    + 'reconfigure' should be able to restart non-essential services
    + support for '--list-generations' and '--delete-generations'
  - better 'guix pull'
    + using Git to fetch the source instead of re-downloading everything
    + build more quickly
    + install new .mo files and new manual
    + authentication of the Guix source: use signed commits?
  - simplified, purely declarative service list in 'operating-system'
    + it should be possible to inspect the service instance declarations and
      settings
  - GUIs
    + integrate guix-web?
    + guile-ncurses installer?
  - 'guix publish'?

* Features for later

  - complete GNU/Hurd port
  - use content-based addressing when downloading substitutes to reduce
    bandwidth requirements
    + design nar v2 format where file contents are replaced by their hashes
    + leverage /gnu/store/.links
  - binary origin tracking
    + keep signatures in sqlite.db
    + preserve signatures upon import/export
  - peer-to-peer distribution of updates (GNUnet?)
  - more deterministic builds
    + identify & fix sources of non-determinism in builds
    + strengthen guix-daemon containers to further increase reproducibility
    + trusting-trust: bootstrap with different tool chains
    + fixed-point: re-bootstrap until fixed point is reached
    + distributed validation: compare contents of store items with others
      * resist a hydra.gnu.org compromise
  - reproducible containers: mix of 'guix environment' and 'guix system vm'
  - execute code with least privilege
    + build containers like guix-daemon does
    + provide a Plash-like interface in Bash
  - daemon rewritten in Guile
  - more shepherd integration
    + monitor network interfaces and start/stop events based on that
    + include a DHCP client written in Scheme
d><a href='/guix/commit/etc/committer.scm.in?id=a7db59b3fd217374d1da821a51f53c987e9c96a3'>committer: Avoid // in xpath.</a><span class='msg-avail'>...<span class='msg-tooltip'>When using // we assume that the package definition's S-expression is a
nesting of proper lists.  This is not guaranteed to be true, because a package
definition may contain alists.  By using an explicit path to the field of
interest we avoid recursion through all child nodes, thus avoiding child nodes
that are more likely to contain improper lists.

* etc/committer.scm.in (change-commit-message): Replace // with a path for the
PACKAGE symbol.

Change-Id: Idefaec9f5c3538484432e15a5865a68fc16e7369
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2023-09-24 13:49:53 +0200'>2023-09-24</span></td><td><a href='/guix/commit/etc/committer.scm.in?id=670fc6ee50a2882fba8004de7d9d24e80459add2'>etc/committer: Speed up surrounding-sexp.</a><span class='msg-avail'>...<span class='msg-tooltip'>The old surrounding-sexp procedure would read all S-expressions from the
beginning of the file up to the given line number and then return the last
encountered S-expression.  This is quite wasteful.  Instead we can record all
lines that begin with an S-expression and jump straight to the offset closest
to the desired line number to read the S-expression there.

* etc/committer.scm.in (lines+offsets-with-opening-parens): New procedure.
(surrounding-sexp): Use it.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2023-09-24 13:49:53 +0200'>2023-09-24</span></td><td><a href='/guix/commit/etc/committer.scm.in?id=5027bc19d8a3c7bac1d89d80fc3c717ae3ec399a'>etc/committer: Avoid reading original files more than once.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/committer.scm.in (%original-file-cache): New variable.
(read-original-file): New procedure.
(read-original-file*): New procedure.
(old-sexp): Use it.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2023-09-24 13:49:53 +0200'>2023-09-24</span></td><td><a href='/guix/commit/etc/committer.scm.in?id=10c6387f5bafc3d9a3ea5477eb72566ede7af4d0'>etc/committer: Do not record positions when reading from git files.</a><span class='msg-avail'>...<span class='msg-tooltip'>This gives us a slight performance boost.

* etc/committer.scm.in (main): Disable recording of positions.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2023-09-24 13:49:53 +0200'>2023-09-24</span></td><td><a href='/guix/commit/etc/committer.scm.in?id=0836af9a3b33813e69ece7075fbc222fdb85bfb3'>etc/committer: Do not recompute changes when there are no definitions.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/committer.scm.in (main): Reuse previously computed changes if there are
no changes to the number of definitions.
</span></span></td><td>Ricardo Wurmus</td></tr>