From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id JyCjC5pk3mFxMQEAgWs5BA (envelope-from ) for ; Wed, 12 Jan 2022 06:18:18 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id oOtSCJpk3mEj4gAA9RJhRA (envelope-from ) for ; Wed, 12 Jan 2022 06:18:18 +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 D192F39C39 for ; Wed, 12 Jan 2022 06:18:13 +0100 (CET) Received: from localhost ([::1]:35264 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n7W1U-0002iV-I3 for larch@yhetil.org; Wed, 12 Jan 2022 00:18:12 -0500 Received: from eggs.gnu.org ([209.51.188.92]:46574) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n7W18-0002iG-Uf for guix-devel@gnu.org; Wed, 12 Jan 2022 00:17:51 -0500 Received: from [2a00:1450:4864:20::133] (port=39498 helo=mail-lf1-x133.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n7W12-00018x-TK for guix-devel@gnu.org; Wed, 12 Jan 2022 00:17:50 -0500 Received: by mail-lf1-x133.google.com with SMTP id br17so4088000lfb.6 for ; Tue, 11 Jan 2022 21:17:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=q2T+M3DigU53PaYjicWqmifpGwpUb0ohqWDzWTA7vaw=; b=HwJy/cM5wncRPKhFWIO5VcSARx3gp6+kwqwFrXaeMhE/TaOEKBW0KzIjsFDjKbQcRJ wRQKFiZxRYrOcNB80LRW7ep5DYomkHIkK2xJsGDAJlE8NCsCg51G0/UPfzQ12Pw8IeR0 QiSpSTngnHUxzZH1UNnN/ZtKAR/d+MJb4C7/gHT6x/FMPrQttbGJRaJRNyFNcMOXMOyT XoIr30zyivs3gZJguvSn/0u1FirMzXJAWH+yApmevqijWKYWkPLDLdqaYshgRishZItG 3mks6vesIxzIJtB3eWUw3tuSgRJIEh8eXY/tuFSxD2RvXQ0ovMgersAW0ebCrkP3I1xb kXxQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=q2T+M3DigU53PaYjicWqmifpGwpUb0ohqWDzWTA7vaw=; b=GO7gfHMkYtD/OXwBl6g6//copxoYRoM/y63vleQndRTN6e3fGPj7Y2/ePW7WIkd/bG 0X/m1QCNKGEvoVWJSJoTmEdY46ODz9NJCWc82vQj7t01iYwMefbQPfrgwGEGFsd1sTqc C8V5Wvm8TH5fHbLUmGNC75SDOro8n1knmqqMGwkSPxfVRhRWRZFM/DaBDLE8Lc9l6pBS P9DNrLC9x+Or6nnEkl5wqWdbNlxZPNieGaJ6l6euSM9y6spcYAcGk5Kc01quPm65pntn Haph5CLxF2mUoRrV7mzN+7b99MY4GFl55vggASqgzF5pMOHg3yeW+sxJKqFW/P7q0Ri4 7uzA== X-Gm-Message-State: AOAM5329cb0N7R8lKpLhrNPOB0dFEIDbw6gPinwBRlaQcEWGqHTvv9CF VQ1JiI6t1aMeUgTUQqp3si0= X-Google-Smtp-Source: ABdhPJy7G7k0tyRCflaJFwQBOV2FxAzrvvQltqXlZK04116HSlWZDWRD4+MgoXrKn/hcj1icn9MTAw== X-Received: by 2002:a05:6512:1287:: with SMTP id u7mr5753205lfs.159.1641964663259; Tue, 11 Jan 2022 21:17:43 -0800 (PST) Received: from guix-xps13 ([89.113.46.52]) by smtp.gmail.com with ESMTPSA id bp40sm435231lfb.136.2022.01.11.21.17.42 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 11 Jan 2022 21:17:42 -0800 (PST) From: =?utf-8?Q?Andr=C3=A9_A=2E_Gomes?= To: Matt Subject: Re: Planet of Guix-related posts? References: <87k0faa27i.fsf@elephly.net> <17e3a8189d5.bf62342823554.2534240434231206600@excalamus.com> <17e4bf134c1.e66ef4c7366095.6741804581557879420@excalamus.com> Date: Wed, 12 Jan 2022 08:17:41 +0300 In-Reply-To: <17e4bf134c1.e66ef4c7366095.6741804581557879420@excalamus.com> (matt@excalamus.com's message of "Tue, 11 Jan 2022 20:40:05 -0500") Message-ID: <87h7a95y8a.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::133 (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::133; envelope-from=andremegafone@gmail.com; helo=mail-lf1-x133.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 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, FREEMAIL_FROM=0.001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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: , Cc: guix-devel , calcium Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1641964693; 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=q2T+M3DigU53PaYjicWqmifpGwpUb0ohqWDzWTA7vaw=; b=V3jdMF54MZXwpwp633E/Ab61R0t7RTYlEFovbtJPIOIzQoXHoje1nsjxZq3vVC2n34kFZg Rralgwr90L1NSeKjLuieIsGCurRnKSsbXGzw4Km8tZIFS2qUjU7ZtpmfrtvpU8SP8Pbu3t 8fB/KN7V3y6ALSf6thIj+8/4Pl7BVLGZORmjctyKNHTqgaGw3TgwECAF5N/iRe1xB5d8UY Do868NfizQtJAW0yWdZ+yayLFdK8OvlC5KeZCbTyDazC9G6Zoowb2sowZ/Z0z/M1bF8tUm lFGj2xaD+2sTOM6VbR7JUsnMpvFKdKDfA8H2e6OAfJelMW2cW1TdsY2aQgfXHg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641964693; a=rsa-sha256; cv=none; b=je6a5tsVbmVYEd5fMVocLdnU1u4OuGT2hm/AgqjWnigLjOiu8qJvmijBRFF3nBjpAoTKjN LHGzjK9+Kvak3aVGrT1sXyuLZ4PaSKwtOAp0FvrIZMhDXlsVtUcaXS+Q0R2F4WYG2plZPL fTCUZ6GYKno3pnKECyNzSNvu6EmLfRe5rndo5GXvoNcFDscS0TeyTy2fPPlR+WC9fsEjwZ Jy5KzBi2IVXkY/QJHq8r1/d0yfE62CK62NXWd9oGswm/U/fdzxqHG7MHxDd8ytb/zUN7ui avlgng6tMQC91CfQ1qgt0OrSi/DwSse5CqUjh8LQX7DszXW9Y9nVkG1Z4NweMA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b="HwJy/cM5"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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" X-Migadu-Spam-Score: -1.62 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b="HwJy/cM5"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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" X-Migadu-Queue-Id: D192F39C39 X-Spam-Score: -1.62 X-Migadu-Scanner: scn0.migadu.com X-TUID: El7bNuIGNa5l Matt writes: > ---- On Mon, 10 Jan 2022 10:21:51 -0500 zimoun wrote ---- > > > (On a side note between parenthesis, we should avoid to fall into the > > "Package Definition" tutorial fallacy; as explained here for monads > > https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the= -monad-tutorial-fallacy/. > > And I wrote one post about monad and another about Packaging. ;-) > > However, I think the official documentation has enough materials for > > starting to package. End of parenthesis.) > > If many people feel inclined to write their own packaging tutorial, > it's probably an indication that the manual isn't sufficient. I would > urge you and others to not fall into the "don't touch it because it's > good enough for me fallacy". Others may, and probably do, see things > differently. I'd say it indicates that everyone has their own way of assimilating ideas. Often times we map things in our minds by means of simplifications, abuses of languages, imprecisions, etc. --=20 Andr=C3=A9 A. Gomes "Free Thought, Free World"