From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id QHMZOK0Te1/gDAAA0tVLHw (envelope-from ) for ; Mon, 05 Oct 2020 12:38:05 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id IC7xM60Te18regAA1q6Kng (envelope-from ) for ; Mon, 05 Oct 2020 12:38:05 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id AA2A5940215 for ; Mon, 5 Oct 2020 12:38:05 +0000 (UTC) Received: from localhost ([::1]:53418 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kPPki-0002oU-L5 for larch@yhetil.org; Mon, 05 Oct 2020 08:38:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35190) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kPPi6-00015z-Ij for guix-devel@gnu.org; Mon, 05 Oct 2020 08:35:22 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:57843) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kPPi4-0006nB-JD; Mon, 05 Oct 2020 08:35:22 -0400 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=35078 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1kPPi2-0002gH-Mz; Mon, 05 Oct 2020 08:35:19 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Pierre Neidhardt Subject: Re: File search progress: database review and question on triggers References: <87sgcuh8rb.fsf@ambrevar.xyz> <86imd4e7cr.fsf@gmail.com> <87eenspcf8.fsf@ambrevar.xyz> <865z94dz83.fsf@gmail.com> <87zh6gns4l.fsf@ambrevar.xyz> <87zh5c7hx6.fsf@ambrevar.xyz> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 14 =?utf-8?Q?Vend=C3=A9miaire?= an 229 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 05 Oct 2020 14:35:17 +0200 In-Reply-To: <87zh5c7hx6.fsf@ambrevar.xyz> (Pierre Neidhardt's message of "Sat, 26 Sep 2020 16:04:53 +0200") Message-ID: <87k0w4zw8q.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org, Mathieu Othacehe Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -1.51 X-TUID: O35cVi+blWGb Hi, Pierre Neidhardt skribis: > I've pushed a commit which adds the synopsis and the description to the > database. > > 0127cfa5d0898222257a716bf7b0a167f31cc6dd > > The quite surprising result is that these new details only cost 1 MiB ext= ra! > > I can then search packages and it's super fast: > >> ,time (search-package "org" "equival")=20 > $51 =3D (("emacs-org-contrib")) > ;; 0.002930s real time, 0.002925s run time. 0.000000s spent in GC. > > My local database only includes the store items, that is to say some > 1800 items, but even with the 15000 packages the search would not be > impacted by much. The size might grow by some 10 MiB though, but that's > reasonable and it compresses very well (down to 6-7 MiB in zstd). Nice! Could you post a summary of what you have done, what=E2=80=99s left to do, = and how you=E2=80=99d like to integrate it? (If you=E2=80=99ve already done it= , my apologies, but you can resend a link. :-)) Thank you, Ludo=E2=80=99.