From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Yann BARSAMIAN" Subject: Library =?utf-8?q?=22libhilbert=22?= Date: Mon, 06 Nov 2017 12:37:50 +0100 Message-ID: <11e9-5a004980-601-24203d40@99704408> 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]:36109) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eBfj6-0001Ld-S2 for guix-devel@gnu.org; Mon, 06 Nov 2017 06:38:01 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eBfj3-0000tp-Lh for guix-devel@gnu.org; Mon, 06 Nov 2017 06:38:00 -0500 Received: from smr2.u-strasbg.fr ([130.79.222.218]:39674 helo=mailhost.u-strasbg.fr) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eBfj3-0000sm-FS for guix-devel@gnu.org; Mon, 06 Nov 2017 06:37:57 -0500 Received: from 7daf89dab380.localdomain (sogo-node1.di.unistra.fr [172.30.19.16]) by smr2.u-strasbg.fr (Postfix) with ESMTP id 2767723AE3 for ; Mon, 6 Nov 2017 12:37:53 +0100 (CET) Received: from 689b9c377a47 (unknown [192.168.0.9]) (Authenticated sender: ybarsamian) by 7daf89dab380.localdomain (Postfix) with ESMTPA id 7BB9F12325 for ; Mon, 6 Nov 2017 11:37:38 +0000 (UTC) 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 Dear all, I'm Yann, a PhD student in Computer Science, and I just saw a message f= rom Tobias Geerinckx-Rice "Anyone using libhilbert?" : https://lists.gn= u.org/archive/html/guix-devel/2017-08/msg00279.html I tried to contact him via the button "reply via email" but it didn't w= ork. I tried to google his name, which gave me a gmail address that did= n't work neither. So I now write to the entire list, in hope that it wi= ll help. I have the answer of the question he was asking on this thread. I was a= lso searching for this implementation, and I have found the package on = the web. Pierre de Buyl has written a blog post about it : http://pdebuyl.be/blo= g/2017/testing-hilbert.html And as you can read in the beginning of his article, he provides a git = link for this library : https://github.com/pdebuyl/libhilbert Hope this helps (and maybe can you reply on the gnu list, so that in th= e future people searching for the library can find it with less time I = spent), Yann