From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: GSoC ideas for GNU Guix Date: Wed, 19 Feb 2014 23:08:43 +0100 Message-ID: <877g8q4uxg.fsf@inria.fr> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:46651) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WGFK2-0004Qy-OL for guix-devel@gnu.org; Wed, 19 Feb 2014 17:09:00 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WGFJx-0006oS-9T for guix-devel@gnu.org; Wed, 19 Feb 2014 17:08:54 -0500 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: summer-of-code@gnu.org Cc: Guix Development --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Good evening! Below is a list of GSoC ideas for GNU Guix. Guix people: you=E2=80=99re welcome to put your name as the mentor of one o= f the projects below, and to propose other ideas. Thanks! Ludo=E2=80=99.

Supporting binary package distribution through GNUnet

GNU Guix provides a transparent binary/source deployment model. A server can claim: =E2=80=9Chey, I have the binary for /nix/store/v9zic07iar8w90zcy398r745w78a7lqs-emacs-24.3!=E2=80=9D, = where the base32 string uniquely identifies a build process. If you trust that server to provide genuine binaries, then you can grab them instead of building Emacs locally.

The =E2=80=9Ctraditional model=E2=80=9D has been to have a build farm build= and serve binary packages. In that model, users trust the build farm to provide authentic binaries.

The project aims to provide a practical decentralization distribution mechanism for binary packages, using GNUnet=E2=80=99s file sharing service. In th= at model, users would be able to automatically share binaries they have built locally, and to install binaries built by other users. This is part of a broader goal of disintermediation among users, and between users and upstream software developers.

Problems to be solved i= nclude the authentication of binary packages, user privacy, and the development of a user interface that makes it trivial to contribute package build results.

Mentor: Ludovic Court&egra= ve;s

Package management from Emacs

The goal of this project is to write a complete package management user interface for use in GNU Emacs. The UI would provide the same functionality as the guix package command, but using an interface similar to that of package.el.

Mentor: Ludovic Court&egra= ve;s

Porting Guix to GNU/Hurd

GNU Guix currently supports building packages for GNU/Linux only. The goal of this project would be to allow it to cross-build and build packages for GNU/Hurd, and to provide a virtual machine image that boots into such a system.

This would involve packaging Mach/Hurd/MiG/libc, adjusting allowing cross-compilation to GNU/Hurd, cross-compiling the =E2=80=9Cbootstrap binaries=E2=80=9D for GNU/Hurd, and then working towards support for GNU/= Hurd in the (gnu system) Guix modules. This last point would allow a VM image of the complete system to be built.

Mentor: Ludovic Court&egra= ve;s --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iEYEARECAAYFAlMFK24ACgkQd92V4upS7PRVAgCePAf7DN3xeOckxvgfpAqveClE 8JYAmwfdvSUcy1qKm2E89qVam84bXx3n =BF92 -----END PGP SIGNATURE----- --=-=-=-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: jemarch@gnu.org (Jose E. Marchesi) Subject: Re: GSoC ideas for GNU Guix Date: Wed, 19 Feb 2014 23:27:35 +0100 Message-ID: <87bny2sppk.fsf@gnu.org> References: <877g8q4uxg.fsf@inria.fr> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:49968) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WGFZF-00083u-4S for guix-devel@gnu.org; Wed, 19 Feb 2014 17:24:45 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WGFZ6-0003VS-NB for guix-devel@gnu.org; Wed, 19 Feb 2014 17:24:37 -0500 In-Reply-To: <877g8q4uxg.fsf@inria.fr> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22\?\= \=\?utf-8\?Q\?'s\?\= message of "Wed, 19 Feb 2014 23:08:43 +0100") 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: Guix Development , summer-of-code@gnu.org Hi ludo. Below is a list of GSoC ideas for GNU Guix. Thanks, added to the page. From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: [GSoC] Emacs UI for Guix Date: Thu, 20 Feb 2014 12:05:02 +0100 Message-ID: <87zjlm6o4h.fsf_-_@gnu.org> References: <877g8q4uxg.fsf@inria.fr> <87iosagz9m.fsf@yagnesh.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55036) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WGRRI-0002aw-Vw for guix-devel@gnu.org; Thu, 20 Feb 2014 06:05:24 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WGRRC-0000e5-M8 for guix-devel@gnu.org; Thu, 20 Feb 2014 06:05:12 -0500 Received: from hera.aquilenet.fr ([141.255.128.1]:49434) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WGRRC-0000dW-Em for guix-devel@gnu.org; Thu, 20 Feb 2014 06:05:06 -0500 In-Reply-To: <87iosagz9m.fsf@yagnesh.org> (Yagnesh Raghava Yakkala's message of "Thu, 20 Feb 2014 13:54:13 +0900") 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Yagnesh Raghava Yakkala Cc: guix-devel@gnu.org Hi, (Moving to guix-devel@.) Yagnesh Raghava Yakkala skribis: > I am Yagnesh Raghava Yakkala, doing doctoral course in Hokkaido Universit= y, > Japan. I think I am eligible to apply for GSoC. If possible I would like = to > participate this time under GNU umbrella. > > I think I am able to work on the following idea since I am familiar with > Emacs/Emacs-lisp and package.el (though not an expert in any regard). I > thought this would be learning experience in general. > > I would be glad if you can be my mentor for the proposal. Cool, this sounds like a nice plan! I would recommend that you first familiarize yourself with Guix by installing it, reporting any problems, and browsing the docs and code. This project may require a little bit of Scheme hacking to factorize code between the =E2=80=98guix package=E2=80=99 command and what the Emacs = UI would be using (in the (guix profiles) module, specifically.) Do you have experience with Scheme and Guile? Most of the rest of the code will be elisp though, obviously. There will be design choices to be made, such as whether the UI would communicate with Guile/Guix via Geiser or through some ad hoc mechanism. > PS: I have signed copyright assignments to FSF for Emacs and Guile but not > guix. No copyright assignment is needed for Guix, so you=E2=80=99re all set. :-) Thanks, Ludo=E2=80=99. From mboxrd@z Thu Jan 1 00:00:00 1970 From: Yagnesh Raghava Yakkala Subject: Re: [GSoC] Emacs UI for Guix Date: Sun, 23 Feb 2014 05:35:51 +0900 Message-ID: <87d2iedgwo.fsf@yagnesh.org> References: <877g8q4uxg.fsf@inria.fr> <87iosagz9m.fsf@yagnesh.org> <87zjlm6o4h.fsf_-_@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:40461) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WHJIy-0001Tt-Nt for guix-devel@gnu.org; Sat, 22 Feb 2014 15:36:19 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WHJIr-0002cN-7F for guix-devel@gnu.org; Sat, 22 Feb 2014 15:36:12 -0500 In-Reply-To: <87zjlm6o4h.fsf_-_@gnu.org> ("Ludovic =?utf-8?Q?Court=C3=A8s?= =?utf-8?Q?=22's?= message of "Thu, 20 Feb 2014 12:05:02 +0100") 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org Hello Ludovic, Thanks for the reply. > I would recommend that you first familiarize yourself with Guix by > installing it, reporting any problems, and browsing the docs and code. Sure, I will do that. > This project may require a little bit of Scheme hacking to factorize > code between the =E2=80=98guix package=E2=80=99 command and what the Emac= s UI would be > using (in the (guix profiles) module, specifically.) Do you have > experience with Scheme and Guile? I don't have much experience with scheme except reading couple of books. > Most of the rest of the code will be elisp though, obviously. There > will be design choices to be made, such as whether the UI would > communicate with Guile/Guix via Geiser or through some ad hoc mechanism. I see. I hope as we progress to proposal stage I/we may get better understanding which way is the best. > >> PS: I have signed copyright assignments to FSF for Emacs and Guile but n= ot >> guix. > > No copyright assignment is needed for Guix, so you=E2=80=99re all set. := -) Oh. Nice to know that. Thanks., -- YYR From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [GSoC] Emacs UI for Guix Date: Thu, 27 Feb 2014 14:33:20 +0100 Message-ID: <87txbkbrz3.fsf@gnu.org> References: <877g8q4uxg.fsf@inria.fr> <87iosagz9m.fsf@yagnesh.org> <87zjlm6o4h.fsf_-_@gnu.org> <87d2iedgwo.fsf@yagnesh.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:48616) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WJ15c-0004s2-0w for guix-devel@gnu.org; Thu, 27 Feb 2014 08:33:34 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WJ15W-0005vu-4U for guix-devel@gnu.org; Thu, 27 Feb 2014 08:33:27 -0500 Received: from hera.aquilenet.fr ([2a01:474::1]:37662) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WJ15V-0005vi-UI for guix-devel@gnu.org; Thu, 27 Feb 2014 08:33:22 -0500 In-Reply-To: <87d2iedgwo.fsf@yagnesh.org> (Yagnesh Raghava Yakkala's message of "Sun, 23 Feb 2014 05:35:51 +0900") 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Yagnesh Raghava Yakkala Cc: guix-devel@gnu.org Hi Yagnesh, Yagnesh Raghava Yakkala skribis: >> I would recommend that you first familiarize yourself with Guix by >> installing it, reporting any problems, and browsing the docs and code. > > Sure, I will do that. > >> This project may require a little bit of Scheme hacking to factorize >> code between the =E2=80=98guix package=E2=80=99 command and what the Ema= cs UI would be >> using (in the (guix profiles) module, specifically.) Do you have >> experience with Scheme and Guile? > > I don't have much experience with scheme except reading couple of books. OK. With this and your elisp background, it may not be too difficult to get started. >> Most of the rest of the code will be elisp though, obviously. There >> will be design choices to be made, such as whether the UI would >> communicate with Guile/Guix via Geiser or through some ad hoc mechanism. > > I see. I hope as we progress to proposal stage I/we may get better > understanding which way is the best. Yes. Make sure to stop by on #guix to discuss things. I would be pleased if we could get this project going. Thanks, Ludo=E2=80=99.