From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id MCf/K55dol/3SQAA0tVLHw (envelope-from ) for ; Wed, 04 Nov 2020 07:51:58 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id yIHAJ55dol9dUgAAbx9fmQ (envelope-from ) for ; Wed, 04 Nov 2020 07:51:58 +0000 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 C4C689404CE for ; Wed, 4 Nov 2020 07:51:56 +0000 (UTC) Received: from localhost ([::1]:54606 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kaDaF-00019K-Ks for larch@yhetil.org; Wed, 04 Nov 2020 02:51:55 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:33812) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kaDYu-0000Bi-3q for guix-devel@gnu.org; Wed, 04 Nov 2020 02:50:32 -0500 Received: from mugam.systemreboot.net ([139.59.75.54]:60776) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kaDYq-00074K-IO; Wed, 04 Nov 2020 02:50:31 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Type:MIME-Version:Message-ID:Date: References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=5YRPpBUfyZfHnhiWfNAyBrbMa8Nv5sKlJ6L8PqZscWo=; b=DRZ+lJwnTM3El4oIcdnoUogq3 57n1+bUnCkC3mnNTck6pL3HXqAPsGHmokevHeSKS6MQQJRx47aU2LitRsga3gF0X2EFBaF671y/uY BtgbJdv6y/3VcgmdG54qdHKdBpV57x1MueStd9we0PCN1uwWCdW5t/EAfn11SHMTEkWrmlTkUDUVk JqUxA2S7LcteDzMJouU0Z32ohi/QaqwBR+BHimt73uKcmwGpr/y/2+ZmU1ZcAf4PVEnTUN+YFuBP8 9tCmcSijI3DYjR68Lq/ZoLKMM/kLU1dWzFzxX2xJUbvYXrA8B7WfMceB8/OoRsSwKFTOJfsklsYn2 gNUyEn8+w==; Received: from [192.168.2.1] (helo=steel) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.94) (envelope-from ) id 1kaDVk-002IUH-HR; Wed, 04 Nov 2020 13:17:16 +0530 From: Arun Isaac To: Timothy Sample , Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: Etymology of derivation In-Reply-To: <874km6pk4a.fsf@ngyro.com> References: <87v9eolvwy.fsf@systemreboot.net> <87sg9rlt93.fsf@systemreboot.net> <87blgeeesw.fsf@gnu.org> <874km6pk4a.fsf@ngyro.com> Date: Wed, 04 Nov 2020 13:20:11 +0530 Message-ID: <87wnz1k1cc.fsf@systemreboot.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=139.59.75.54; envelope-from=arunisaac@systemreboot.net; helo=mugam.systemreboot.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/04 02:50:20 X-ACL-Warn: Detected OS = ??? 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, 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.23 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@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=systemreboot.net header.s=default header.b=DRZ+lJwn; dmarc=fail reason="SPF not aligned (relaxed)" header.from=systemreboot.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -0.51 X-TUID: +2qcrYqPwr/3 --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > For instance, you might ask =E2=80=9Chow do you derive the formula for th= e area > of a circle?=E2=80=9D. If you flip the question around, you could ask = =E2=80=9Cwhat is > the derivation of the formula for the area of a circle?=E2=80=9D. Here= =E2=80=99s an > example titled =E2=80=9CArea of a circle - derivation=E2=80=9D [1]. I al= so see people > on popular forums asking things like =E2=80=9Ccan anyone show me the deri= vation > of this formula for the radius of electron from nucleus?=E2=80=9D. > > Similarly, I might have =E2=80=9C/gnu/store/=E2=80=A6-hello=E2=80=9D and = ask =E2=80=9Cwhat were the > steps used to produce this?=E2=80=9D or, equivalently, =E2=80=9Ccan anyon= e show me the > derivation of this?=E2=80=9D. At this point Guix comes to the rescue and= says > =E2=80=9C/gnu/store/=E2=80=A6-hello.drv=E2=80=9D! Now that you put it so explicitly, Guix's notion of derivation does seem to come from the mathematical notion of derivation. Perhaps an explicit analogy like you provided should be in the manual to clarify the etymology. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQFPBAEBCAA5FiEEf3MDQ/Lwnzx3v3nTLiXui2GAK7MFAl+iXTMbHGFydW5pc2Fh Y0BzeXN0ZW1yZWJvb3QubmV0AAoJEC4l7othgCuzlpwH/3wS1qEWaX8Ry3kmW9qv CeppTM+vNxoRTT2EsQ5AwE8JL7jr/FOF7Z0+5dsrfSUqr2aGTEYHyCRlKHpEl1wf wU7OYdUwT4v62DNC18PhexhjWJ5/ceSvybaMOXzSlvmBkoVephCSwwl4f9OzB58Q MX4XuXgCzK1f7MLRq7tuToPNGYg7y8z8OKofnmZVo6cjZL279KGWFSlaTSdCq57n LzK8815xn38sH9cAZwNdL8F1S0lqN2WvIEqwTcAsEHbHE4+LDMicdmCG2VzuFGaW X8U7thTduTlSJVpJqFYDcAPcWK3LlctBvE2pCM0z1/K2A+6NgGsEJLP3EjP4TT6Y ptA= =sE1r -----END PGP SIGNATURE----- --=-=-=--