rekado

36 ms·

271.
by rekado 8y ago
You cannot use Nix package definitions with Guix. You can, however, easily extend or modify Guix packages. New package definitions can inherit from existing ones and override fields that you may want to change. There is also an API for re
272.
by rekado 8y ago
CUDA is problematic. There is no package for CUDA in the official Guix channels, because it is non-free software. There is a patch for a Tensorflow package, which is built without GPU support (because that requires CUDA), but it hasn'
273.
by rekado 8y ago
I'm one of the Guix co-maintainers and a Guix user, but I'm not a computer scientist. The biggest thing that might be annoying for someone who is not comfortable with Lisp is probably the operating system configuration, which is d
274.
by rekado 8y ago
Python: sure. JS: ... it's complicated. See this article for an introduction to the problems of attempting to match npm with principled package management: https://dustycloud.org/blog/javascript-packaging-dystopia
275.
by rekado 8y ago
Guix co-maintainer here. The article says "Guix is a fork of Nix", but this is not correct. Guix uses the same format for derivations (~ a low-level representation of builds), so that it can reuse the Nix daemon, but that doesn&#
276.
by rekado 8y ago
I don't know about interactive programs; in Guix we like system configuration to be non-interactive. We don't use systemd but the Shepherd, which is written in Guile Scheme, so system services are indeed written in Scheme and ca
277.
by rekado 8y ago
I always roll my eyes when Idiocracy is brought up in this context. It has this old smell of eugenics, as people who take the premise seriously misunderstand the role of education and vastly overestimate genetics. If you are unhappy with t
278.
by rekado 8y ago
> There are parts of the world (for example, Africa) where population has been increasing ridiculously [...] Africa is big , so it's a very coarse way of narrowing down a location. Population pressure is a multiplier, so people in
279.
by rekado 8y ago
> In the long run, I really hope Guix manages to get something good going. My biggest concern for Guix is that they will restrict the available packages by being overly zealous about package-licensing (like everything the FSF does). Guix
280.
by rekado 8y ago
Guix packages are also evaluated lazily. Package objects (values of the `<package>` type) can have an arbitrary number of declared inputs, which are package objects as well. These are not evaluated eagerly, of course. Lazy evaluatio
281.
by rekado 8y ago
In Guix there are first class package objects that have references to other first class packages. Together they form a lazily evaluated graph. At a lower level, package objects can be compiled into one or many derivations, which is where
282.
by rekado 8y ago
Disclaimer: as a Guix co-maintainer I'm totally biased. We don't use R7RS in Guix. You need to know about the Scheme syntax, obviously (including keyword arguments), and a couple of common procedures like `string-append`, but asi
283.
by rekado 8y ago
Purity is a property of the functional methodology, not of the language. You don't need to use an effect-free language when operating in an environment that renders most effects void.
284.
by rekado 8y ago
The goal of Guile Emacs is not to replace Elisp; it is to replace the implementation with Guile.
285.
by rekado 8y ago
I'm using paredit, so I'm never typing out closing parentheses. I'm just slurping and barfing s-expressions all over the place. I don't see parentheses but syntax units that my editor ensures remain correct. (I can und
286.
by rekado 8y ago
While Guix eventually runs a builder script, the script is 1) a Guile script and 2) not directly provided by the user but the result of compilation. Guix does not stitch shell scripts together. Builds in Guix are split into build phases, w
287.
by rekado 8y ago
Guix provides build system abstractions like `gnu-build-system` for traditional build systems, but you can easily override or extend the build phases. You can run scripts with `(invoke "my-script.sh")`. The bigger problem, in my
288.
by rekado 8y ago
This is very unfortunate. Emacs itself also requires copyright assignment, though, so if Remacs doesn't then it's virtually impossible for GNU to switch code bases (not that it would have been likely anyway).
289.
by rekado 8y ago
If you have a Guix package definition for CUDA then you can install it. There's no need to use Nix when Guix can be easily extended.
290.
by rekado 8y ago
Guix has had support for external package definitions for a long time (via GUIX_PACKAGE_PATH) and recently gained a channels feature, which makes this even easier. At the institute where I work we use this feature to provide package variant
291.
by rekado 8y ago
I think that derivations are at a level that is too low to be useful for interoperability. The format for derivations has not changed in Guix (yet?), but you wouldn't work on derivations directly most of the time. Most of the fun hap
292.
by rekado 8y ago
I'd like to add that using proprietary software is not an act that deserves condemnation, it's not a moral failing or something like that. The GNU project opposes proprietary software as it is considered a social and ethical
293.
by rekado 8y ago
This is not censorship. We just don't want the #guix IRC channel or the project's mailing lists to recommend ways to use proprietary software. People are welcome to use non-project channels to discuss proprietary software.
294.
by rekado 8y ago
Here's something I wrote about this four months ago (with minor corrections). I hope this helps. ------------------- As one of the co-maintainers of GNU Guix I'm obviously biased, but here's what I consider some important un
295.
HPC goodies in Guix 0.15.0(guix-hpc.bordeaux.inria.fr)
1 points by rekado 8y ago|0 comments
296.
by rekado 8y ago
> last five versions If the build method has not changed then all you need is five tarballs and use `guix build foo --with-source=foo-0.0.n.tar.gz`. > build system pulls in a big GUI toolkit binary This is less likely to work, but it
297.
by rekado 8y ago
How does the problem of running some untrustworthy code get better by adding even more binaries? Is the goal just to use the kernel's process isolation features that you can access with `unshare`? Or do you mean to just bypass the inst
298.
by rekado 8y ago
You can still use a bug tracker with an email-based workflow. Many GNU projects use debbugs.gnu.org, which helps to keep track of patches that have been sent to the mailing list. I can see how it would be inconvenient for people who use an
299.
by rekado 8y ago
I'm not talking about the US. I'm talking about the world. This is not a competition. Maybe it is generally a bad idea to concentrate financial means in few people. I don't want to depend on a billionaire's altruism
300.
by rekado 8y ago
Maybe it's a bad idea to let people get really rich.

More ›