Today's talks! (formerly Schedule for FOSDEM 2022 available online)

2022-02-05 Thread Pjotr Prins
Today is our devroom with great Lisp talks by Will Byrd, Arun Isaac, Manolis & Oliver and the Webbers! And two GNU Guix talks by Andrew Tropin and Mathieu Othacehe :) https://fosdem.org/2022/schedule/track/declarative_and_minimalistic_computing/ Don't miss out. Jonathan McHugh goes cowsay to

Re: Clarifying blog post licensing

2022-02-05 Thread Maxim Cournoyer
Hi Ludovic, Ludovic Courtès writes: > Hi, > > Maxim Cournoyer skribis: > >> Ludovic Courtès writes: >> >>> Hello Guix! >>> >>> With a few exceptions, our blog posts do not have a license, which is >>> not great as it prevents sharing and reuse, at least by those outside >>> Guix circles (we

Re: The way to promote GUIX package manager

2022-02-05 Thread Ricardo Wurmus
Ludovic Courtès writes: > Hi! > > Vagrant Cascadian skribis: > >> The main two issues I'm aware of are... >> >> Issue with "guix pull" from the guix 1.2 version: >> >> https://bugs.debian.org/1001833 > > I believe this was fixed: > > https://issues.guix.gnu.org/52694 Last week (or maybe

Re: cross compiling using qemu-user-static

2022-02-05 Thread Maxime Devos
Tobias Platen schreef op za 05-02-2022 om 18:23 [+0100]: > > What does "type -p guix" return? $HOME/.guix-profile/bin/guix or > > /usr/{local/,}bin/guix or something else? > /usr/local/bin/guix Looks like an old version. I see two possibilities here: * Set up .bash_profile and .profile like

Re: cross compiling using qemu-user-static

2022-02-05 Thread Maxime Devos
Tobias Platen schreef op za 05-02-2022 om 17:20 [+0100]: > On Sat, 2022-02-05 at 17:09 +0100, Maxime Devos wrote: > > Tobias Platen schreef op za 05-02-2022 om 16:14 [+0100]: > > > Some time ago I was able to cross compile emacs to run on the > > > OpenPandora[1] using guix. That seems to be

Re: cross compiling using qemu-user-static

2022-02-05 Thread Maxime Devos
Tobias Platen schreef op za 05-02-2022 om 17:20 [+0100]: > On Sat, 2022-02-05 at 17:09 +0100, Maxime Devos wrote: > > Tobias Platen schreef op za 05-02-2022 om 16:14 [+0100]: > > > Some time ago I was able to cross compile emacs to run on the > > > OpenPandora[1] using guix. That seems to be

Re: cross compiling using qemu-user-static

2022-02-05 Thread Maxime Devos
Tobias Platen schreef op za 05-02-2022 om 17:39 [+0100]: > I was unaware that Guix already has that feature. > But on my Talos II, I am using Guix on top of Debian, > and I don't have Shepherd running. Debian has two packages for setting up binfmt: qemu-user-static and qemu-user-binfmt. Perhaps

Re: License of your contributions to the blog at guix.gnu.org

2022-02-05 Thread Pierre Neidhardt
Hi Ludo, I agree. Pierre signature.asc Description: PGP signature

Re: License of your contributions to the blog at guix.gnu.org

2022-02-05 Thread Tatiana Sholokhova
Hi! I agree. On Sat, Feb 5, 2022, 08:47 Ludovic Courtès wrote: > Hello, > > I am emailing you on behalf of the GNU Guix project because you are the > author or coauthor of one or more articles to the blog at > . > > With a few exceptions, these articles do not have

Re: License of your contributions to the blog at guix.gnu.org

2022-02-05 Thread zimoun
Hi, On Sat, 5 Feb 2022 at 14:47, Ludovic Courtès wrote: > Do you agree with the proposed licensing terms for your contributions to > the blog? I agree. Cheers, simon

Re: License of your contributions to the blog at guix.gnu.org

2022-02-05 Thread Mathieu Othacehe
Hey Ludo, > Do you agree with the proposed licensing terms for your contributions to > the blog? I agree. Thanks, Mathieu

Re: License of your contributions to the blog at guix.gnu.org

2022-02-05 Thread Luis Felipe
On Saturday, February 5th, 2022 at 1:47 PM, Ludovic Courtès wrote: > Hello, > > I am emailing you on behalf of the GNU Guix project because you are the > author or coauthor of one or more articles to the blog at > https://guix.gnu.org/en/blog. > > With a few exceptions, these articles do

License of your contributions to the blog at guix.gnu.org

2022-02-05 Thread Ludovic Courtès
Hello, I am emailing you on behalf of the GNU Guix project because you are the author or coauthor of one or more articles to the blog at . With a few exceptions, these articles do not have a clear license, which we would like to fix. We propose to dual-license all

Re: cross compiling using qemu-user-static

2022-02-05 Thread Maxime Devos
Tobias Platen schreef op za 05-02-2022 om 16:14 [+0100]: > So I think one could copy qemu-user-static for the target architecture > into the build directory and execute native versions of the software. > > [1] http://www.openpandora.org/ From a technical point of view, that's mostly native

Re: cross compiling using qemu-user-static

2022-02-05 Thread Maxime Devos
Tobias Platen schreef op za 05-02-2022 om 16:14 [+0100]: > guix pack --target=armhf-linux-gnu openssh emacs libhandy FWIW the triple is arm-linux-gnueabihf. Greetings, Maxime. signature.asc Description: This is a digitally signed message part

Re: cross compiling using qemu-user-static

2022-02-05 Thread Maxime Devos
Tobias Platen schreef op za 05-02-2022 om 16:14 [+0100]: > Some time ago I was able to cross compile emacs to run on the > OpenPandora[1] using guix. That seems to be broken: > > guix pack --target=armhf-linux-gnu openssh emacs libhandy > guix pack: error: gnu/packages/emacs.scm:77:2: emacs@27.2:

cross compiling using qemu-user-static

2022-02-05 Thread Tobias Platen
Some time ago I was able to cross compile emacs to run on the OpenPandora[1] using guix. That seems to be broken: guix pack --target=armhf-linux-gnu openssh emacs libhandy guix pack: error: gnu/packages/emacs.scm:77:2: emacs@27.2: build system `glib-or-gtk' does not support cross builds So I

Re: Guix Data Service client module

2022-02-05 Thread Ludovic Courtès
Hi! Christopher Baines skribis: > Ludovic Courtès writes: > >> Hello Guix! >> >> Here’s a client module for the Guix Data Service, allowing you to access >> a subset of the Guix Data Service interfaces from the comfort of your >> REPL. [...] > I added some exports (included below) so that I

Re: Return back original implementation for text-config serialization

2022-02-05 Thread Xinglu Chen
Hi, Andrew schrieb am Donnerstag der 20. Januar 2022 um 16:20 +03: >>> 2. Looks strange implementation-wise. >>> >>> If we want to insert the file path to file-like object for new-style >>> text-config internally we do something like >>> >>> (mixed-text-file ... >>> "source \" "\n" >>>

Re: failure when rebuilding the past: long term?

2022-02-05 Thread Ludovic Courtès
Hi! As a preamble, I’d like to say that what we’re doing in terms of time traveling is ambitious; it’s never been done before, AFAIK. And there are many pitfalls, as you write, mainly: disappearing source (we’re working on it!), and, a bigger concern IMO, “non-deterministic” build processes—in a

Re: [PATCH v2] doc: Add Writing Service Configuration section.

2022-02-05 Thread Xinglu Chen
Andrew schrieb am Donnerstag der 23. Dezember 2021 um 16:16 +03: >> Also, is should there be any preference for using alists or list of >> lists or vice versa? > > Now it should be clear that a -configuration record is preferable as a > service value, lists and alists are special cases for

Re: weird OpenBLAS time-machine

2022-02-05 Thread Ludovic Courtès
Hi, Maxime Devos skribis: > zimoun schreef op do 03-02-2022 om 03:19 [+0100]: >> The issue is because concurrency.  If two time-machines are run >> concurrently, they both update ~/.cache/guix/checkouts/ and the end >> result is hard to predict. Ah, glad you found out the culprit! > FWIW it's

Re: Investigating a reproducibility failure

2022-02-05 Thread Ludovic Courtès
Konrad Hinsen skribis: > There is obviously a trade-off between reproducibility and performance > here. I tried hard to dispel that belief: you do not have to trade one for the other. Yes, in some cases scientific software might lack the engineering work that allows for portable performance;

Re: Investigating a reproducibility failure

2022-02-05 Thread Ludovic Courtès
Hi! Konrad Hinsen skribis: > To see the failure, do > >guix time-machine \ > --commit=7357b3d7a52eb5db1674012c50d308d792741c48 \ > -- build openblas For the record, there’s still a substitute available for this one: --8<---cut here---start->8---

Re: Shepherd config file and GEXP semantics

2022-02-05 Thread Ludovic Courtès
Hi, Attila Lendvai skribis: > (define (make-user-module) > (let ((m (make-fresh-user-module))) > ;; The typical configuration file wants to do '(make ...)', and > ;; '(register-services ...)', so provide the relevant bindings by default. > (module-use! m (resolve-interface '(oop

Re: The way to promote GUIX package manager

2022-02-05 Thread Ludovic Courtès
Hi! Vagrant Cascadian skribis: > The main two issues I'm aware of are... > > Issue with "guix pull" from the guix 1.2 version: > > https://bugs.debian.org/1001833 I believe this was fixed: https://issues.guix.gnu.org/52694 Thanks, Ludo’.

Re: Shepherd should not reboot on exit when running as root

2022-02-05 Thread Ludovic Courtès
Hello! Arun Isaac skribis: > If shepherd is run as root, it assumes it is the init system and reboots > the system. Since shepherd is not just an init system, but can also be > used as a non-init process to manage other daemons, this is probably not > good default behaviour. At the very least,

Re: missing patch for texlive-bin (e77412362f)

2022-02-05 Thread zimoun
Hi Tim, On Fri, 04 Feb 2022 at 23:20, Timothy Sample wrote: > Yes. I could add that commit to the database, evaluate it, and load all > the sources. I’m inclined not to, but I’m open to being convinced. (I > really like how simple the current system is conceptually.) I understand.

Re: Return back original implementation for text-config serialization

2022-02-05 Thread Maxime Devos
Andrew Tropin schreef op wo 26-01-2022 om 11:36 [+0300]: > In addition to the problems I mentioned above: > > 1. Mixed usage of two configuration languages (nginx-conf and lisp). > 2. Having a string, which should be properly escaped (luckily for > this > example it's not a problem). Mixing two

Re: Clarifying blog post licensing

2022-02-05 Thread Ludovic Courtès
Hi, Vagrant Cascadian skribis: > Just for clarity, do you mean the GFDL with a laundry-list of non-free > anti-features excluded, like the guix manual: > > Permission is granted to copy, distribute and/or modify this document > under the terms of the GNU Free Documentation License, Version

Re: Clarifying blog post licensing

2022-02-05 Thread Ludovic Courtès
Hi, Maxim Cournoyer skribis: > Ludovic Courtès writes: > >> Hello Guix! >> >> With a few exceptions, our blog posts do not have a license, which is >> not great as it prevents sharing and reuse, at least by those outside >> Guix circles (we discussed it in the past but never got around to

Re: File search

2022-02-05 Thread Ludovic Courtès
Hi, Ryan Prior skribis: > On Friday, January 21st, 2022 at 9:03 AM, Ludovic Courtès > wrote: > >> The database for 18K packages is quite big: >> >> --8<---cut here---start->8--- >> >> $ du -h /tmp/db* >> >> 389M /tmp/db >> >> 82M /tmp/db.gz >> >> 61M

Re: File search

2022-02-05 Thread Ludovic Courtès
Hi, Maxim Cournoyer skribis: > It used to be broken, but with the c-u-f merge the 'tlmgr' tool now > works as expected to search for things in the local texlive.tlpdb > database: > > $ guix shell --pure texlive-bin grep which coreutils sed gnupg -- tlmgr info > cite.sty > tlmgr: cannot find

Re: using an SRFI that is not available in Guile

2022-02-05 Thread Ludovic Courtès
Hi, Attila Lendvai skribis: >> Another approach would be to use ‘define-record-type*’ and record all >> the default values, including those derived from other fields (just like >> the default ‘home-directory’ field of is derived from >> ‘name’.) >> >> Does that make sense? > > > i think it

Re: Return back original implementation for text-config serialization

2022-02-05 Thread Ludovic Courtès
Hi! Maxim Cournoyer skribis: > Pardon my ignorance about Guix Home, but couldn't we have configuration > as records by default, and the lower level, config stitching primitives > still available to hand craft strings that could be used as the value of > an 'extra-config' field, for example? > >