civodul

11 ms·

61.
by civodul 10y ago
Nice project! Guix had a GSoC student working on binary distribution using GNUnet's file sharing component a while back: https://gnu.org/s/guix/news/gsoc-update.html . That has not led (yet?) to product
62.
by civodul 10y ago
It may be a helpful tool from an engineering viewpoint, but I think it misses the big picture of _why_ reproducible builds matter: https://gnu.org/software/guix/news/reproducible-builds-a-mea...
63.
by civodul 10y ago
Seconded. With GCJ, Java had a bootstrapping path from C/C++, unlike all the current single-implementation languages: Rust, GHC, etc. Having this path is important from a security and user freedom viewpoint: we could build OpenJDK fro
64.
by civodul 10y ago
Is Red Hat suggesting there are no "commercial opportunities" with Linux, Wordpress, GCC, FFmpeg, etc., which are under the GPL?
65.
Emacs interface to the GNU Guix package manager [video](goblinrefuge.com)
1 points by civodul 10y ago|1 comments
66.
by civodul 10y ago
Agreed. GNU Guix makes it easy for anyone to publish a bunch of package recipes for their own software that users just need to add to their GUIX_PACKAGE_PATH. The benefit is that it integrates with the rest of the system and thus shares so
67.
by civodul 11y ago
I find that Spack in fact takes very little inspiration from functional package managers, Nix and GNU Guix. Dependencies are specified in a loose fashion which, on one hand, gives a lot of flexibility, but on the other hand is detrimental
68.
by civodul 11y ago
This is one of the discussions we had at the Reproducible Builds Summit last week: https://lists.gnu.org/archive/html/guix-devel/2015-12/msg001... . In GNU Guix, we don't go as far as the author sug
69.
by civodul 11y ago
Note that Guix also supports lightweight development environments in containers, via user name spaces: http://www.gnu.org/software/guix/manual/html_node/Invoking-g... . This is in addition to whole-syste
70.
by civodul 11y ago
Free software aims to safeguard the freedom and autonomy of computer users. I think these are important features.
71.
by civodul 11y ago
The "substitutes" (pre-built binaries) are signed: http://www.gnu.org/software/guix/manual/html_node/Substitute... . We use a SPKI-style PKI: http://www.gnu.org/software/g
72.
by civodul 11y ago
Another lot of Guix devs use GuixSD, I think. ;-)
73.
by civodul 11y ago
As far as I know nobody has tried so far, but that would be cool.
74.
by civodul 11y ago
Guix indeed has a strong commitment to user freedom, which makes it a different project. Technically, I don't see it as "duplicating" Nix: Guix uses low-level parts of Nix that are awesome, and replaces higher-level layers wi
75.
by civodul 11y ago
The future is what we make it. :-)
76.
Guix-tox, a functional version of tox(blogs.rdoproject.org)
56 points by civodul 11y ago|31 comments
77.
by civodul 12y ago
I've been using it (disclaimer: I've even been hacking on it. ;-)) The standalone Guix-based distribution uses dmd as its init system. The way it is used, dmd itself takes care exclusively of keeping services running. Services t
78.
by civodul 14y ago
Modulo the bug at http://sourceware.org/bugzilla/show_bug.cgi?id=15022 it's possible to dlopen symbols from the static binary. However, all libc symbols not used by Guile are omitted from the resulting static binary, which is why the FFI