From mboxrd@z Thu Jan 1 00:00:00 1970 From: Miles Fidelman Subject: thanks all - for answers to recent questions Date: Fri, 10 May 2019 12:15:42 -0400 Message-ID: <1d5d94da-5232-f2b7-0fda-a8e4a666d0d8@meetinghouse.net> References: <4009641b-f771-1095-435b-80aed6c279c6@meetinghouse.net> <875zqjoa3k.fsf@cbaines.net> <2f3da087-041c-8053-69e7-d69ed3c034d4@meetinghouse.net> <87k1eyhiak.fsf@roquette.mug.biscuolo.net> <16aa1d18e2b.ffba141c18140.4843251965222243804@zoho.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([209.51.188.92]:39804) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hP8BY-0003jT-2v for help-guix@gnu.org; Fri, 10 May 2019 12:15:51 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hP8BW-0007ao-Ee for help-guix@gnu.org; Fri, 10 May 2019 12:15:48 -0400 Received: from server1.neighborhoods.net ([207.154.13.48]:36323) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hP8BW-0007a7-AT for help-guix@gnu.org; Fri, 10 May 2019 12:15:46 -0400 Received: from localhost (localhost.localdomain [127.0.0.1]) by server1.neighborhoods.net (Postfix) with ESMTP id 2CE15CC427 for ; Fri, 10 May 2019 12:15:45 -0400 (EDT) Received: from server1.neighborhoods.net ([127.0.0.1]) by localhost (server1.neighborhoods.net [127.0.0.1]) (amavisd-new, port 10024) with LMTP id HwNuDM8847Qx for ; Fri, 10 May 2019 12:15:43 -0400 (EDT) Received: from Miless-MBP.fios-router.home (pool-96-237-100-57.bstnma.fios.verizon.net [96.237.100.57]) by server1.neighborhoods.net (Postfix) with ESMTPSA id A6F26CC052 for ; Fri, 10 May 2019 12:15:43 -0400 (EDT) In-Reply-To: <16aa1d18e2b.ffba141c18140.4843251965222243804@zoho.com> Content-Language: en-US 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" Cc: help-guix thanks all - for answers to recent questions Miles Fidelman -- In theory, there is no difference between theory and practice. In practice, there is. .... Yogi Berra Theory is when you know everything but nothing works. Practice is when everything works but no one knows why. In our lab, theory and practice are combined: nothing works and no one knows why. ... unknown