From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id OOwUDfZkHWWNSQEAG6o9tA:P1 (envelope-from ) for ; Wed, 04 Oct 2023 15:13:26 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id OOwUDfZkHWWNSQEAG6o9tA (envelope-from ) for ; Wed, 04 Oct 2023 15:13:26 +0200 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 DBC5C59E4B for ; Wed, 4 Oct 2023 15:13:25 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b="uAR/fsOm"; 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"; dmarc=pass (policy=reject) header.from=dismail.de ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1696425205; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=kjVHgLZqNFzaP9+RRmZ4TfwO5Bf7DxYTHUKb/qQ/r3A=; b=GRdCOcvZnnBuLXnqF2BWvgtwqojMlcst9ow5PnlkylMtwLransWLBbXUEi7Wvs1lo1zjW6 zUGhVjDdgAPJQgPVNcvSS2Zk9yZewFeAp+pS/UTfIru9a8DxF0W/OuCliscZU6XyO1wBde UF8i0SzWvvGpbpf7n1JCv2v7JjYe0fH+UneJnKMxx25T3VdajltqIoKO/QF3k4B4RAZ3Q7 RqZ3gD6FwgoGSt+aJnJ0LTwiqT3HbmQSlWpL36dxCOL6xat/NE3WD62q7GSES5coQIqCBz euA/EYp+1ZVktxpo7hZIL1GC5YRal0BTl5kpU03JgPgv7fFo2erXkAvb4ro9zQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1696425205; a=rsa-sha256; cv=none; b=i9BeEHCtwfRQOMGXyUvK0oLLLQ9AnB4co3/VsxE1gu4rO+gmz1NNmX4rTxfoBH0DFUhfrB wJ8A8iPvyDJVXbQVNJMeVtbB9vs1hFeaxxoED8xw9Q6QWbwup/7dMrcXoMMLrL3sX0a2Sm ilp6ZKr/zCIzc3EINLOkzc1gXzlx7grDQ7F3ab/qm+orI9yV+wmGPd5eX91hsZvlk+UW4w tNLQA9OZyo3iovDdmJIe1VlgMnusoXZQG9H6oFTvInsf+Tytyl39KoVBukj+nvptIJZctg Mpnmom93AyTKNknG3eVySdJpmVKRxKiuQAAmSggkTt0OOtA9y4GQTibv3GnTNw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b="uAR/fsOm"; 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"; dmarc=pass (policy=reject) header.from=dismail.de Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qo1gP-00065D-RD; Wed, 04 Oct 2023 09:12:57 -0400 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 1qo1gA-000628-Cr for guix-devel@gnu.org; Wed, 04 Oct 2023 09:12:46 -0400 Received: from mx1.dismail.de ([78.46.223.134]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qo1g7-0001RO-O5 for guix-devel@gnu.org; Wed, 04 Oct 2023 09:12:42 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 223673b4 for ; Wed, 4 Oct 2023 15:12:31 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to; s=20190914; bh=kjVHgLZqNFzaP9+RRmZ4TfwO5 Bf7DxYTHUKb/qQ/r3A=; b=uAR/fsOmUTK0+K8P9yGUQSrOyfHHH1JBZSKTyLfgf oTuO/hH4i6GdGAeIdIrJKhtMMRCxjaUo/WvnRUFFpOGfn6vwlBlBmMQIkvcBm7xC cDw/6LCRm5M3ibp15PG34t+Q20SRAtlKCxDq3OUvSgsh4aRQLBkO15swrhZ5Sp1O l2rB3n0xgx9dWEvDHlHkH3F08QAtZKrwxNpEO1cDYLP3XZb1IRXfmCaTz0Kp1Awz r0UCs0XPrg+ICwXDZpkhzbJv9CvfsVOz/iGNA+VTH1VoMutMArXqpeKRY110eEfb oZPg9Yi/KMZQw89lERLuvdld3UCoe3SWEZtyQn1wTNcgg== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id dcbead01 for ; Wed, 4 Oct 2023 15:12:31 +0200 (CEST) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id bd1d5114 for ; Wed, 4 Oct 2023 15:12:31 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 43a23a6f (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for ; Wed, 4 Oct 2023 15:12:30 +0200 (CEST) MIME-Version: 1.0 Date: Wed, 04 Oct 2023 13:12:30 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.17.0 From: "jgart" Message-ID: Subject: =?utf-8?B?VHZpeCDwn5KbIEd1aXg=?= To: guix-devel@gnu.org Received-SPF: pass client-ip=78.46.223.134; envelope-from=jgart@dismail.de; helo=mx1.dismail.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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-Country: US X-Migadu-Flow: FLOW_IN X-Spam-Score: -9.81 X-Migadu-Spam-Score: -9.81 X-Migadu-Scanner: mx1.migadu.com X-Migadu-Queue-Id: DBC5C59E4B X-TUID: KqVwg4QnwYPT > The Tvix architecture is designed to be modular: It should be possible = to write an evaluator that plugs in the Guile language (for compatibility= with GNU Guix), to use arbitrary builders, and to replace the store impl= ementation. Should we reach out to Tvix about collaborating since they want us to plu= g in Guile? Reference: https://tvl.fyi/blog/rewriting-nix May your inbox always be spam-free, jgart