From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id ANtPDAUyVmVxcwAA9RJhRA:P1 (envelope-from ) for ; Thu, 16 Nov 2023 16:15:17 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id ANtPDAUyVmVxcwAA9RJhRA (envelope-from ) for ; Thu, 16 Nov 2023 16:15:17 +0100 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 15AB731F56 for ; Thu, 16 Nov 2023 16:15:17 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=OZS34Ija; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1700147717; a=rsa-sha256; cv=none; b=lB0SwytYleHmHcrMl7NICmeZ+Bwxfl6wbz75982pZ1kLRxNZu+hWsAkuFdFfxpjNWA3Kg2 ym0KAADyXySetQeQFLAKp8842JcvCWK2EF3GGIAM4uNiIK+27d09kz8MnOKuywc89sXsH9 8ZHjDlg3zPRNdnMz0LViYt/CvCTRog5ye1jH6B1zm/HJ1nZxU+tcvQYwXvK0gFxQKx7rzR h4dqg3rBWVlrTZ3wwtzYlUBSlq6gwWuqXt2cM3GiwHK8SgBdWYjw1OCa+LTLApkNoDUlnA q3POCWvPaA8DpTdUv/kZeF1YpmxqoX1ENO8hFc5hkMLZ65n9FoRImX/+Z9Hb+Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=OZS34Ija; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1700147717; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=tfVX20TGvHtYA6dD49kyWuf4+6oN3g6DaoeLEu32Xcs=; b=Zfv1YmsRTvqACcuNECuFxuiOqNOxPHv+7oYFWss3/D4tVDayBrGZbFVWNiQIZ2XkJlbOgP FBfDAdVa9OnmumvQ7CgBnCyrWRqc4TS0z0edfvJJN072X+dAbaHQSUr/OT7ANLNqXLJZZK HffpLYZtk2EijwgT9chVDg8HQcRgaaNwpBdQ5/mNhNljhiKTfcgITumAeuKzf+fvNmN57M SE93WW+KlKeIy0XNXe9RJBF4ZyiUCESHvzAB19L0z6AqdC94RLq4Q8QOabtq1Nt64I9col m8EiAioxMpaFJ9Zl1YlKxLqJbVGB8o2D8fm9uZq6YJcfyWzq7ghcOdQd0QaW5A== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r3e4W-0002rX-TF; Thu, 16 Nov 2023 10:14:24 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r3e4W-0002rP-0A for guix-devel@gnu.org; Thu, 16 Nov 2023 10:14:24 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1r3e4V-0003KV-42; Thu, 16 Nov 2023 10:14:23 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=tfVX20TGvHtYA6dD49kyWuf4+6oN3g6DaoeLEu32Xcs=; b=OZS34Ijahtgtx1kPtpx5 F9gH8e7KmMWH+aLgBvRJwtX+7k/84UKyTIm67K3F4Js7NCxCj5IpzyB7x2ZMOxxtVMkW9gAImPzOP Xsic0qf1l0efnsZJ/yZekRjP+CPyq52o21FduFOWo1II8Qi6uld84OyEEwKcjlVPnFTWLJ9UcqNKk bxe8rXZUMh9aADyyvVtDliUQaQozjJw/KvYMYCi3B81/0ptJVQ4hHlRGJZ0MTJwaKv1Hxk80NaOXY +anJEHM+TQMMp/iv6z7x3ZJtKuV2Zkcmnf0e0oyYQiWHtLfwXtB1FFPSKZlpik/FFB6WQDdL+BoQI aTRDBWRzSeYHJw==; From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Florian Klink Cc: guix-devel@gnu.org, Christopher Baines Subject: Re: Nix Daemon protocol post / Tvix In-Reply-To: (Florian Klink's message of "Mon, 30 Oct 2023 23:02:18 +0200") References: X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Sextidi 26 Brumaire an 232 de la =?utf-8?Q?R=C3=A9vo?= =?utf-8?Q?lution=2C?= jour de la Pistache 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: Thu, 16 Nov 2023 16:14:20 +0100 Message-ID: <87bkbtvigj.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) 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.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Queue-Id: 15AB731F56 X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: -7.83 X-Spam-Score: -7.83 X-TUID: FLvXhzUWPdOv Hi Florian, Florian Klink skribis: > I stumbled across your post > https://guix.gnu.org/blog/2023/a-build-daemon-in-guile/. > > I'm working on Tvix (https://tvix.dev/), a reimplementation of Nix in > Rust. Neat, thanks for reaching out to us! [...] > For example, tvix-store is using a content-addressed merkle storage DAG > (tvix-castore) under the hood, allowing partial substitution and store > path subtree sharing. > > However we can still provide a Nix-compatible view into all this, so can > synthesize NAR Archives and NARInfo files for a given store path on > demand, if we want to. We currently use the HTTP Binary cache protocol > as a store interface for Nix (via `nar-bridge`, which spins up a > webserver). > > At some point, we now also want to implement the daemon protocol - both > a client and server, to allow talking to Nix more directly - be it a > "remote store", or just querying the local Nix store for certain > information. This is so far mostly oriented towards store operations (as > we didn't do too much work on the Builder interface yet) All this sounds nice. > Nevertheless, I think we should collaborate. > > Be that: > - just a simple exchange of notes about the behaviour of the protocol > and certain operations > - discussions about designing new protocols, ensuring interop between > tvix-store and guix stores (there's some ideas for P2P substitution) > - or even collaboration and work on getting tvix-store (and tvix-build, > once it's there) to work with a Guile frontend :-) > > I think we're sharing a lot of common interest and would like to start > having these conversations :-) That=E2=80=99s a good idea! My take is that the daemon rewrite in Guix will aim for 100% compatibility at the protocol level (in fact part of what=E2=80=99s needed = is already available as (guix =E2=80=A6) modules), probably with just the same feature set. Christopher Baines may have clearer ideas. I=E2=80=99m interested in hearing how you view content-addressing and its u= se. In Guix there=E2=80=99s one proposal based on ERIS: https://issues.guix.gnu.org/52555#8 Previously there was an experiment to implement what you described at =E2=80=9Cpartial substitution=E2=80=9D: https://lists.gnu.org/archive/html/guix-devel/2021-01/msg00080.html Hot topics! :-) Thanks, Ludo=E2=80=99.