Re: [Proposal] The Formal Methods in GNU Guix Working Group

2020-02-15 Thread zimoun
Dear, On Thu, 13 Feb 2020 at 13:07, Orians, Jeremiah (DTMB) wrote: > > > The term "nothing" is mitigated; i.e. "nothing" means: a booted system > > running a (linux) kernel. Right? > No, I mean bootstrapped from bare metal. > No Kernel > No firmware > No microcode > No Bios > Just individual TTL

Guix Data Services: whishlist about SWH

2020-02-15 Thread zimoun
Hi, Recently, the source of package was missing and so "guix time-machine" was broken [1]. It is not the first time that it appears [2]; patches are coming... :-) Using the Software Heritage (SWH) API [3], does it seems a good idea to add SWH coverage somewhere in the Guix Data Services? I do no