Guix Data Services: whishlist about SWH

[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 not remember where the Reproducibility chart is located, but a
chart there could be added, telling how many packages are already
archived in SWH and how many not yet.

And for example, on the webpage about the history of the package [4],
some information about SWH could be added.

What do you think?


[1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=39575
[2] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=28659
[3] https://archive.softwareheritage.org/api/
[4] http://data.guix.gnu.org/repository/1/branch/master/package/harfbuzz


(Note that on [4] the version 2.4.0 which is the culprit is not shown,
is it expected?)

All the best,
simon

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

[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 logic circuits
> https://github.com/oriansj/stage0

Is it ready yet?
This should be great. :-)


All the best,
simon