From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: comment about GuixSD on freepo.st Date: Thu, 14 Jul 2016 16:12:57 -0400 Message-ID: <20160714201257.GB32471@jasmine> References: <87poqgqt1l.fsf@we.make.ritual.n0.is> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:46400) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNn0S-0002SV-Nn for guix-devel@gnu.org; Thu, 14 Jul 2016 16:13:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bNn0P-0008LS-2f for guix-devel@gnu.org; Thu, 14 Jul 2016 16:13:12 -0400 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:43173) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNn0N-0008KM-SU for guix-devel@gnu.org; Thu, 14 Jul 2016 16:13:09 -0400 Content-Disposition: inline In-Reply-To: <87poqgqt1l.fsf@we.make.ritual.n0.is> 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: ng0 Cc: guix-devel@gnu.org 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