From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: Re: Towards reproducibly Jupyter notebooks with Guix-Jupyter Date: Mon, 14 Oct 2019 15:25:35 +0200 Message-ID: <87imorqx0w.fsf@inria.fr> References: <87lftt57ux.fsf@inria.fr> <87imowwt3i.fsf@gnu.org> <875zkru70u.fsf@inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:36939) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iK0Lz-0005Hw-Eq for guix-devel@gnu.org; Mon, 14 Oct 2019 09:25:40 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iK0Ly-0005C9-AO for guix-devel@gnu.org; Mon, 14 Oct 2019 09:25:39 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:13636) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iK0Ly-0005Ad-1n for guix-devel@gnu.org; Mon, 14 Oct 2019 09:25:38 -0400 In-Reply-To: (Konrad Hinsen's message of "Mon, 14 Oct 2019 13:45:57 +0200") 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: Konrad Hinsen Cc: Guix Devel Howdy, Konrad Hinsen skribis: >> (Though printing addresses in a REPL isn=E2=80=99t =E2=80=9Cbad practice= =E2=80=9D IMO, it=E2=80=99s just >> that it doesn=E2=80=99t mesh well with the intended use of notebooks.) > > And that's exactly the difference between a REPL and a reproducible > document. Unfortunately, Jupyter tries to be both and thus never > explains the differences clearly. Yeah. >> At the API level, there=E2=80=99s =E2=80=98inferior-for-channels=E2=80= =99 which does that + >> registers a GC root + maintains a cache so that the second time you use >> a given instance of Guix it=E2=80=99s immediately available. > > Just what I need... Awesome, let us know how it goes! Ludo=E2=80=99.