Re: GSoC 2020

2020-01-15 Thread Ludovic Courtès
Hi Gábor, Gábor Boskovits skribis: > The organization application is now open for GSoC 2020. I expect that > we soon hear something from the GNU coordinator. I will keep you > updated. Thanks a lot for keeping an eye on it in addition to Outreachy! Ludo’.

Re: Proposal for a blog contribution on reproducible computations

2020-01-15 Thread Ludovic Courtès
Hi, I had missed that message. Konrad Hinsen skribis: > Ludovic Courtès writes: > >> Another thing that comes to mind: would it make sense to mention ‘guix >> graph’ in the part where you pipe the output of ‘guix show’ to ‘recsel’, >> etc.? > > Forgot that one, sorry. Yes, it would make

Re: Package file indexing

2020-01-15 Thread Ludovic Courtès
Hello, Pierre Neidhardt skribis: > Thanks Nicolò, your feedback was very useful! > > So it's not program-not-found but command-not-found and it's define > here: > > > https://github.com/NixOS/nixpkgs/tree/master/nixos/modules/programs/command-not-found > > Then I found this > >

Re: Presentation BlueHats (french workshop)

2020-01-15 Thread Ludovic Courtès
Hi zimoun, zimoun skribis: > Attached 2 patches for the repo 'maintenance'. > 1. Fixing broken links in talks/ > 2. My slides These had fallen through the holiday cracks, but I’ve finally pushed it! > This talk was in French with a slot of 5-7 minutes, questions included. It > was > taken

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

2020-01-15 Thread Ludovic Courtès
Hi Amin & Brett, Amin Bandali skribis: >> It’s fine to host the repo on Savannah: we can ask for a new repo under >> the Guix umbrella, the downside being that access control will be the >> same as for the other repos (we can only grant access to all the repos >> or none of them.) If you plan

Re: Inverted index to accelerate guix package search

2020-01-15 Thread zimoun
Hi Ricardo, On Wed, 15 Jan 2020 at 22:03, Ricardo Wurmus wrote: > We could build and install the index when Guix is built and installed > and then use it for the search. I can’t think of a downside to adopting > an index compared to what we have now. I agree that it is an easy move that

Re: Inverted index to accelerate guix package search

2020-01-15 Thread Ricardo Wurmus
Arun Isaac writes: > Indeed, I found the bug and fixed it. Please find attached the updated > code. Also, the inverted index hash table stores package objects instead > of package names and all comparisons are now done with eq?. This gets us > an even higher speedup of around 300x. > > Built

OCaml 4.09

2020-01-15 Thread Brett Gilio
Hey all, Short message! I am trying to get our OCaml development system up to shape, as it is currently lagging some versions behind. I have opened a wip-ocaml4.09 branch for this work. Here are some of the things that need work that I have identified. -- The opam importer needs revised and

Re: Package file indexing

2020-01-15 Thread Pierre Neidhardt
Thanks Nicolò, your feedback was very useful! So it's not program-not-found but command-not-found and it's define here: https://github.com/NixOS/nixpkgs/tree/master/nixos/modules/programs/command-not-found Then I found this https://github.com/NixOS/nixos-channel-scripts All this is

Re: Package file indexing

2020-01-15 Thread Nicolò Balzarotti
Hi Pierre, on NixOS, if you try to run the name of a program that you don't have installed (eg: $ endlessh) you get: The program ‘endlessh’ is currently not installed. You can install it by typing: nix-env -iA nixos.endlessh program-not-found is a perl script that uses an sqlite file placed

Re: Inverted index to accelerate guix package search

2020-01-15 Thread zimoun
Hi Giovanni, On Wed, 15 Jan 2020 at 12:53, Giovanni Biscuolo wrote: > zimoun writes: > > If Guix goes to Xapian, all the Git history of all the packages should > > be indexed. Today, it is really hard to find the right commit > > corresponding to the right version -- the only solution I have

Re: Inverted index to accelerate guix package search

2020-01-15 Thread zimoun
Hi Pierre, On Wed, 15 Jan 2020 at 10:12, Pierre Neidhardt wrote: > > What about the "build time" size? Other said, all one needs to build > > to have xapian, i.e., the size of the full bag: starting from the > > bootstrap seed and having Guix+Xapian (vs. Guix alone). > > As shows with guix

Re: Inverted index to accelerate guix package search

2020-01-15 Thread zimoun
On Wed, 15 Jan 2020 at 10:06, Pierre Neidhardt wrote: > We can always keep our current regexp search (which is trivial) for > those who really want it. I believe that Xapian is much more usable > than regexps on a daily basis. What do you mean by trivial? The command "guix search" supports

Re: Inverted index to accelerate guix package search

2020-01-15 Thread zimoun
Hi, On Wed, 15 Jan 2020 at 06:44, Arun Isaac wrote: > > Well, the issue is 'scoring' a query. > > I think the issue of whether to use an inverted index is orthogonal to > the quest to improve the relevance of the search results. Implementing > tf-idf like you suggested could greatly benefit

Re: Inverted index to accelerate guix package search

2020-01-15 Thread Giovanni Biscuolo
Hi Simon and all other developers first and foremost: I'm sorry I still cannot help in developing this "xapian feature" or even explore pros and cons of this feature for now mine it's just a user and possible beta-tester POV... let's call it food for thought :-) zimoun writes: [...] >>

Re: Parameterized packages

2020-01-15 Thread zimoun
Hi Pierre, On Wed, 15 Jan 2020 at 10:40, Pierre Neidhardt wrote: > - The source. > - The explicit inputs. > - the implicit inputs. > - The build inputs. > - The build system inputs. > - Recursive inputs. > - ...? > > Which one should we expose? I don't know. If we want the system to > have

Re: Parameterized packages

2020-01-15 Thread Pierre Neidhardt
Hi Simon! You are making a good point: there are different levels of "accessibility" when it comes to inputs: - The source. - The explicit inputs. - the implicit inputs. - The build inputs. - The build system inputs. - Recursive inputs. - ...? Which one should we expose? I don't know. If we

GSoC 2020

2020-01-15 Thread Gábor Boskovits
Hello guix, The organization application is now open for GSoC 2020. I expect that we soon hear something from the GNU coordinator. I will keep you updated. Best regards, g_bor -- OpenPGP Key Fingerprint: 7988:3B9F:7D6A:4DBF:3719:0367:2506:A96C:CF63:0B21

Core updates evaluation failure (10060, 227fab3)

2020-01-15 Thread Christopher Baines
Hey I pushed to core-updates, but the evaluation on ci.guix.gnu.org seems to have failed. Nothing stands out to me in the log [1], but the Guix Data Service also failed to load this revision [2], and the failure there was building Python [3]. 1: http://ci.guix.gnu.org/eval/10060/log/raw 2: