[Logarion] Shoud I be developing Logarion on Guix?

Andrew Miloradovsky andrew at interpretmath.pw
Thu Mar 28 22:30:33 GMT 2019

Yes, it probably would; there is actually a paper about it:


"Reproducible builds is a crucial foundation for computational
experiments. We hope that PiGx and the reproducibility analysis we
presented in the paper can serve as a useful case study demonstrating
the importance of a principled approach to computational reproducibility
and the effectiveness of Guix in the pursuit of reproducible software

WRT pros and cons:
- pros -- functionality, reproducibility, transactionality, and things
like that, hard to name all the benefits at once;
- cons -- disk space usage, steep learning curve (being just a power
UNIX user isn't enough, but there is a pretty good manual).

There's also paper describing Guix architecture, in comparison with Nix.
And the paper(s) for Nix* itself, but it's of only historical value now.

Ask me about the specifics. No guarantees, but I'll try to answer.

On 3/28/19 5:48 PM, sehnsucht wrote:
> Andrew Miloradovsky <andrew at interpretmath.pw> Wrote in message:
>> Mirage OS seems to be the way to go for all server software written inOCaml; it provides a more convenient hardware (and OS) abstraction.While Guix is supposed to be used on a desktop or server, where thesoftware is written in multiple different languages and build systems.So you might still use Guix as a development environment, instead of sayDebian: seems like Guix is somewhat less hostile towards OPAM than Nix…Either way, you may and probably should have the build scripts for those(say =logarion.scm= with the package description, and =default.nix=).On 3/26/19 12:45 PM, orbifx wrote:> That's part of what puts me off the whole approach.> > I'm now considering just focusing on "unikerneling" it.
> Care to provide a recap of Guix pros and cons? I'm interested in
>  trying it on desktop, and starting using Emacs more extensively
>  at the same time; all I know for now is that GNU   Shepherd
>  service scripts are written in GNU Scheme, while I have a
>  elementary2average understanding of Common Lisp.
> If I considered myself a *nix power user with a focus on
>  scientific applications, would Guix fit my use case?

More information about the Logarion mailing list