From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id RKylLAGV3mFysgAAgWs5BA (envelope-from ) for ; Wed, 12 Jan 2022 09:44:49 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id YCq/JAGV3mG3hQAAG6o9tA (envelope-from ) for ; Wed, 12 Jan 2022 09:44:49 +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 5BB1245417 for ; Wed, 12 Jan 2022 09:44:49 +0100 (CET) Received: from localhost ([::1]:40448 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n7ZFP-0008Md-19 for larch@yhetil.org; Wed, 12 Jan 2022 03:44:47 -0500 Received: from eggs.gnu.org ([209.51.188.92]:48642) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n7Z9l-00019Y-7D for guix-devel@gnu.org; Wed, 12 Jan 2022 03:38:57 -0500 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21165) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n7Z9j-0003WV-KC for guix-devel@gnu.org; Wed, 12 Jan 2022 03:38:56 -0500 ARC-Seal: i=1; a=rsa-sha256; t=1641976732; cv=none; d=zohomail.com; s=zohoarc; b=YgpT6r0lUThXAcyHJsPlMX6xZlfHu4SKKhBn3foToOqICJNx2TMV35Ifbb6VuP45PWvex54801ZDKJAFj2W0WDXWDVKbE9uNR6k0+RDpfK/PN//TNU+Grtj/ckkoNsWpN3Ggs8+3r0kshoZOZVI5+7Y0AXuBlxBWmA4Ap9PSulA= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1641976732; h=Content-Type:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=cCPCSMQIrUsVvxBwcr040SCQ5YiW8RaGaS3g7D0ih3s=; b=gz8lyQDOX6KSczL2ffbKKaxH/tRc12a6hj9yqDV24Cls0pVIjCCm0XBT1+UbLFo2/WzThpD0Lf3bs6U6KU/Ad3BsW0TxD3CbqJJVOIU3aRe1emOHkUbqxdAMl9OZ7Q8h6Q6RPChxgV8O0mIqEj3Q7BvCVxAiW22H9g2miPbSrw0= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1641976732; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:Date:In-reply-to:Message-ID:MIME-Version:Content-Type; bh=cCPCSMQIrUsVvxBwcr040SCQ5YiW8RaGaS3g7D0ih3s=; b=YtjfSKI8IsUqQnvK3o1R5/DCSEV6KHkeyNP/zwpw4PjIMXqTQCf0blnAWkbAG3XV Dnw8wBOeudc+jp80gMeMbhWLVZToU5M92DTwKhfoFWeK3X77N3SopJvHPf7MtIq9UJv 1KfJfg2KdFBX9PfMEnFSrfSFNJVNj8pl400WCzFU= Received: from localhost (p54ad4f4c.dip0.t-ipconnect.de [84.173.79.76]) by mx.zohomail.com with SMTPS id 1641976730492266.9505413675595; Wed, 12 Jan 2022 00:38:50 -0800 (PST) References: <87k0faa27i.fsf@elephly.net> <17e3a8189d5.bf62342823554.2534240434231206600@excalamus.com> <17e4bf134c1.e66ef4c7366095.6741804581557879420@excalamus.com> User-agent: mu4e 1.6.10; emacs 27.2 From: Ricardo Wurmus To: Matt Subject: Re: Planet of Guix-related posts? Date: Wed, 12 Jan 2022 09:36:04 +0100 In-reply-to: <17e4bf134c1.e66ef4c7366095.6741804581557879420@excalamus.com> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Message-ID: <87ilup5ox4.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.51; envelope-from=rekado@elephly.net; helo=sender4-of-o51.zoho.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_NONE=-0.0001, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, 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: , 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=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1641977089; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=cCPCSMQIrUsVvxBwcr040SCQ5YiW8RaGaS3g7D0ih3s=; b=c5i3abG/TkCAMlHdYkJdq8XCYJf9mETZgDc7HHV36l6RpdOLIZ9kIq3uycB3pRVuOuoNWb iXD2mmtRJLYT9jUxtWTELASwaJv98HSty6XP/Y+ZvAqp3gy0Yv5uK5W7fK60AL7dljrmLA +h9cNU1BK6Sp4znNjoO/uzGWaenVut5ZA/pcRBkzOA0ZlcogNXUIR37nLabmT/zsJqDi+1 SR1tp0Z7SP40CdvYyZdWH/xH84lqVF4Cid8/QOvUviqiQMqwW7HBAcF+Yfhcuc6De/9J8D hhFsgBurP4QdcyBzH+O/izaRZT0YPcRKppLVzNZ4e4QNMEZyPRl8FQVqqcl7wA== ARC-Seal: i=2; s=key1; d=yhetil.org; t=1641977089; a=rsa-sha256; cv=fail; b=LARJ7D5I9BB0jHEIU4nI5BfIvJ5mbQXFX1CKCWY8OnAalk4Mhm6LYhDOi5M4uNbG7TSi1X toVd3brv6MBUm7wVLrM1mzKzsdI0D6KhEj0H8QgqYyPj4IH3043qThpsltB/xxXByxfiMa 1H6geGmx8KOjP/DaPU52Mr7S4Qe/BtF2OOAqPoSFBcrIESroTCOFo+vVrui/DcaeQANRpB D+dNPX3bWVStupLx9wlKv8N+G+4RB7Bh5QnAYZJAlpqPq/BALxgw2cx4E+42zaI+ERZ+y1 PPVh+894cgTtLvTZDD+VnZzY+KPpKmg3akPQBVdeKPF9VXfyPOdCJzxchnugKA== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=elephly.net header.s=zoho header.b=YtjfSKI8; arc=reject ("signature check failed: fail, {[1] = sig:zohomail.com:reject}"); dmarc=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: -0.62 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=elephly.net header.s=zoho header.b=YtjfSKI8; arc=reject ("signature check failed: fail, {[1] = sig:zohomail.com:reject}"); dmarc=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: 5BB1245417 X-Spam-Score: -0.62 X-Migadu-Scanner: scn0.migadu.com X-TUID: wLJK8N7qtTaC 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. The experience with monad tutorial suggests that people write them because they learned something new and want to put their understanding into words in the hopes that other people benefit from it. There is an overabundance of monad tutorials out there. This is not evidence of the claim that existing explanations are somehow flawed. -- Ricardo