From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id uDFNAOsd/2OnCQEAbAwnHQ (envelope-from ) for ; Wed, 01 Mar 2023 10:42:03 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id gPAhO+od/2MoKgEAG6o9tA (envelope-from ) for ; Wed, 01 Mar 2023 10:42:02 +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 BC1093E587 for ; Wed, 1 Mar 2023 10:42:02 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pXIxQ-0007SQ-Tk; Wed, 01 Mar 2023 04:41:08 -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 1pXIxO-0007Qt-9K for guix-devel@gnu.org; Wed, 01 Mar 2023 04:41:06 -0500 Received: from mailout.easymail.ca ([64.68.200.34]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pXIxJ-00012l-U0 for guix-devel@gnu.org; Wed, 01 Mar 2023 04:41:06 -0500 Received: from localhost (localhost [127.0.0.1]) by mailout.easymail.ca (Postfix) with ESMTP id 4137A68988; Wed, 1 Mar 2023 09:41:00 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=bokr.com; s=easymail; t=1677663660; bh=hr+yzenaocoYQ5AUH4rjJ6Q62FC13PUnRJvC65wmtj8=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=HO/k6RtkpR9W+nfLaJXiBXrH/8IDmWEwcvDYFrTsG+to52ArkxX8/mE9z3XGfGFc7 OR1n1RxL6KnYmDLRe0ZCWtd8KizoLlEZZMYKcH2pxfJV6RUVXgODMrBW/M0StIXMJX uSlEs2MgExcOUmrgBZpiIY324sJP3a7EX52jomQEq1thMji8ImAg8G9fau+HS39d5M BHQs7xvoTASvlcoscjshv99XjjufAUYyRRCsDIE94d2QS7aiIg3i1etPm6tQKR/jv8 54R+GoNQGAFkbV5TInHo8MaV5ec0Z+YJBoAMkVE0k3nQtGYF4ho92UVErRMUxC+2eE RB8heG5ANga/A== X-Virus-Scanned: Debian amavisd-new at emo09-pco.easydns.vpn Received: from mailout.easymail.ca ([127.0.0.1]) by localhost (emo09-pco.easydns.vpn [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id rwpJq2k4yjo9; Wed, 1 Mar 2023 09:40:59 +0000 (UTC) Received: from localhost (m5-242-216-138.cust.tele2.se [5.242.216.138]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mailout.easymail.ca (Postfix) with ESMTPSA id 449A068926; Wed, 1 Mar 2023 09:40:59 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=bokr.com; s=easymail; t=1677663659; bh=hr+yzenaocoYQ5AUH4rjJ6Q62FC13PUnRJvC65wmtj8=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=N5hO9Oj8EEDnFZWqe0AZBshk/q8yUl+CyHsDkRmxLVkk7XNvxvxDp4KPEG5psvn7R BxkHdxBAaEfKhsiUGnYlmqLbqRUb9lSKHqQscCk3YAgpGf3o2S7krvpDQei2nQEqsk CTOlVyVu5s6UfGNR8Tbdsod0cHk3YWX61DNuCAu8y0JLtavyWkQQVfXWAKQiwZXXmW oq4e9gMsyabcO92QL//lEzUu+qgkXlyl1oYAXDz7KKhNVDfCbFw7gYYZLtkaIQmVKs lNZKX6ArwrTZkUB4lBjYv2wXl2V3Lco1AbVYzwzD89CuvPD4I+Bw9rppYY+WTHkISB 6UcIFL4o8TcMA== Date: Wed, 1 Mar 2023 10:40:41 +0100 From: Bengt Richter To: Simon Tournier Cc: Sharlatan Hellseher , guix-devel Subject: Re: Question on the process of packge withdrawal Message-ID: <20230301094041.GA14324@LionPure> References: <87r0uajd4y.fsf@gmail.com> <20230228161432.GA12679@LionPure> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.10.1 (2018-07-13) Received-SPF: pass client-ip=64.68.200.34; envelope-from=bokr@bokr.com; helo=mailout.easymail.ca X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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_MED=-2.3, 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: , Reply-To: bokr@bokr.com 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 ARC-Seal: i=1; s=key1; d=yhetil.org; t=1677663722; a=rsa-sha256; cv=none; b=RuFeZOXpcYCSH16GSusGjW3y7eDkPotbiLPs/TV6Vqevdd0eOrvJWzmquRDOB1nNOIMjDG Wh0BDralCKqCaoZGLS3Hb8hJ0LDk7PmxkGMS52Oa+Ne2iXUxqQKp2cevCNmBr1LX/4GrjW x6ewpT9ZkzKtwj65E4MXYVM9P82Se3DRtkEWFjm4Am+Gq7QyR3kKrBp0V1xQDwiQzDvNyk Vw/yPoCQ4We7OChTcj6RM1iubplPUN4uXs53IKqi4tbMrpW9zrgygLmUOm297HeLyBX67O dOsqvePJJFvdFr9Z4gB5pv6kxSrKJUXu5Ze3Zz5lXaX0iLxBFEy3eR/R20W0qA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=bokr.com header.s=easymail header.b="HO/k6Rtk"; dkim=fail ("headers rsa verify failed") header.d=bokr.com header.s=easymail header.b=N5hO9Oj8; 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=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1677663722; h=from:from:sender:sender:reply-to: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=xZv6t7X8EqZzpRreX45uERQCsjmVR8VZV0erhzRfTPU=; b=qInIv3QNlGW5LwNCzJNXSWo7r8w151dA6N+bBBCDG6p8dx0FOXDfgrgOT3UGsrp9RI1hql HQ4Yrkm9aWJmKGNFZ9X6XFtSd2AuyDp2tpckVOV+TQgeF0moc1igP6jdJCNnOF+/B0eMLl 1Q4d7OHrubXE/zDBdefieeZKZuTgBWIL8WZ/2cBUpm84oSW9eKl022yU+m+840LEmwW/Um eEhG88sKSf5evAPP+AdYm7JOF8bFL877TiZzyesM2DF2kwF56SEf6OSCKcp4u6Gn62fgP2 Q/xw8hNaQyjXEghB4twgbhA6chOFxCVtzuS6O7qsURqDJT73xR1QbjuaRpB22w== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -0.19 X-Spam-Score: -0.19 X-Migadu-Queue-Id: BC1093E587 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=bokr.com header.s=easymail header.b="HO/k6Rtk"; dkim=fail ("headers rsa verify failed") header.d=bokr.com header.s=easymail header.b=N5hO9Oj8; 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=none X-TUID: Cmj1/NM/1cVf On +2023-02-28 18:16:18 +0100, Simon Tournier wrote: > Hi, > > On Tue, 28 Feb 2023 at 17:26, wrote: > > > IMO, it's a matter of storing the junk where it will not be a toxic liability > > and nuisance, yet easily discovered by someone looking for "parts." > > Well, I will not call that "junk". :-) > Me neither. That's what I meant to say with my wrecked-cars-as-broken-packages anecdotal metaphor: broken ≠ worthless :) > IMHO, this is discoverable since it is part of the Git history of > Guix. The Git history of Guix also acts as an inventory. > I agree, the git history probably has everything in it, but for me discovery is not so easy. I think I need a map like openstreetmap, that on a high level could show a map of software component boundaries instead of city plots, and alternate views showing e.g. dependencies as roads between warehouses/packages. Obviously, related collections of things would cluster on map representations, and interaction could pop up synopses and descriptions and urls etc -- like what happens finding your way to the right bar in Brussels ;-) How about a street-view drive along thread executions from power on to login? Zoom in for detail data from dmesg or sytemctl -b or straces? How about a drive into gnome-control-center? With trip-planning how to get there and back from various contexts, showing zoomable detail from high level widget thumbnails or down to the lowest gdb run step. Well QGIS is free/libre UIAM, but it is BIG. And BIG means a LOT to trust, and that worries me. Maybe good software maps could make reviewing and verifying easier, until it's all automated. But how can we verify the automation? (isn't there an old Latin saying about guarding guard dogs :) I am not sure how the database of software maps would have to be represented. What would be analogous to satellite photography and automatic vectorization of roads and river boundaries etc.? Actually, maybe a game engine would be better than GIS. Super Bughunter Tomb Raider avatars ;-) Yeah, that sounds like more fun. VRML? Well, that's a big fantasy about "discovery" :) Hm, how to get that running as native RISC-V code on open silicon? ;-) > Cheers, > simon -- Regards, Bengt Richter