From mboxrd@z Thu Jan 1 00:00:00 1970 From: ng0 Subject: Re: comment about GuixSD on freepo.st Date: Thu, 14 Jul 2016 23:12:07 +0000 Message-ID: <87wpknstko.fsf@we.make.ritual.n0.is> References: <87poqgqt1l.fsf@we.make.ritual.n0.is> <20160714201257.GB32471@jasmine> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52932) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNpnk-0003Ym-J9 for guix-devel@gnu.org; Thu, 14 Jul 2016 19:12:17 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bNpni-0000Fj-0o for guix-devel@gnu.org; Thu, 14 Jul 2016 19:12:15 -0400 Received: from mithlond.libertad.in-berlin.de ([2001:67c:1400:2490::1]:41814 helo=beleriand.n0.is) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNpnh-0000Eh-Lk for guix-devel@gnu.org; Thu, 14 Jul 2016 19:12:13 -0400 Received: by beleriand.n0.is (OpenSMTPD) with ESMTPSA id 6ee2ee95 TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NO for ; Thu, 14 Jul 2016 23:12:10 +0000 (UTC) In-Reply-To: <20160714201257.GB32471@jasmine> (Leo Famulari's message of "Thu, 14 Jul 2016 16:12:57 -0400") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Leo Famulari writes: > On Thu, Jul 14, 2016 at 12:54:14PM +0000, ng0 wrote: >> I commented on an older (1 year) post about GuixSD, while what I >> wrote looks accurate to me, does someone spot any mistakes (like >> misspelled names etc)? > > I think it looks good :) > > For the last question, I think that this paper explains the motivation > pretty well: > https://hal.inria.fr/hal-00824004/en Thanks for the link, I added the link to the paper. -- ♥Ⓐ ng0 For non-prism friendly talk find me on http://www.psyced.org SecuShare – http://secushare.org