From mboxrd@z Thu Jan 1 00:00:00 1970 From: Josh Marshall Subject: Can general compute and packaging be more formally merged into a single case? Date: Tue, 3 Dec 2019 11:27:28 -0500 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:46228) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1icB1e-0004Rb-EY for help-guix@gnu.org; Tue, 03 Dec 2019 11:27:47 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1icB1d-0005Ez-5q for help-guix@gnu.org; Tue, 03 Dec 2019 11:27:46 -0500 Received: from mail-qt1-x832.google.com ([2607:f8b0:4864:20::832]:43447) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1icB1a-0005D0-PB for help-guix@gnu.org; Tue, 03 Dec 2019 11:27:42 -0500 Received: by mail-qt1-x832.google.com with SMTP id q8so4332895qtr.10 for ; Tue, 03 Dec 2019 08:27:42 -0800 (PST) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix@gnu.org At the airport, thinking on the fundamental differences between gwl and guix. It seems like these can be articulated as the same case when considering a tracked and linked compute history. How I see this, when packaging you take checksums off of inputs not for your own assurance that they are correct (though you could) but to ensure that under different circumstances another user can be sure that they have the right starting points. Then as a matter of storing results and ensuring the integrity of our results for later we take more checksums. What we can do is to create a unit computational step of sorts whereby a user enters a monitored shell whereby they install packages, perform their work, and produce changes which can be taken to be outputs. All downloads, uploads, and files changes tracked. Then perform a basic minimization algorithm to reduce the inputs so long as the outputs do not differ. This optimized unit computational step can then be tracked with the input checksums and outputs. This merges general compute and packaging, then adding compute power only needs to scale here. >From these, computational chains may also be produced to know a full graph of what is happening. Thoughts?