From mboxrd@z Thu Jan 1 00:00:00 1970 From: Tobias Geerinckx-Rice Subject: Library "libhilbert" Date: Mon, 6 Nov 2017 17:06:12 +0100 Message-ID: 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]:39807) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eBjsU-0003hK-T0 for guix-devel@gnu.org; Mon, 06 Nov 2017 11:03:59 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eBjsT-0008HG-JH for guix-devel@gnu.org; Mon, 06 Nov 2017 11:03:58 -0500 Received: from tobias.gr ([2001:470:cc92::1]:33588) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eBjsT-0008GB-60 for guix-devel@gnu.org; Mon, 06 Nov 2017 11:03:57 -0500 References: Content-Language: en-GB 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: ybarsamian@math.unistra.fr, guix-devel@gnu.org Yann, Thanks for taking the time to let us know what you found! > I'm Yann, a PhD student in Computer Science, and I just saw a > message from Tobias Geerinckx-Rice "Anyone using libhilbert?" : > https://lists.gnu.org/archive/html/guix-devel/2017-08/msg00279.html [moved:] > I have the answer of the question he was asking on this thread. I > was also 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/blog/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 Great. That post & repository were exactly what I was looking for, had they been published a month earlier. Unfortunately, I found nothing and libhilbert has since been removed form Guix.[0] I'll e-mail my compatriot to ask if there's still an original tarball about. I doubt that the original was signed or exhaustively audited, but it would be nice to have more than Pierre's word that this is the exact same code before I add it back. > I tried to contact him via the button "reply via email" but it > didn't work. I clicked that same button under your archived post and it opened the window I'm now typing in. It's a form button that loads a 302 redirect to a mailto: link, so it's probably easily broken by certain ‘privacy’ settings and assumes you have a mail client associated with the mailto: protocol. Perhaps this is not the case (if you're an avid webmail user, for example). > I tried to google his name, which gave me a gmail address that > didn't work neither. So I now write to the entire list, in hope that > it will help. That Gmail address was mandatory and got killed long ago. I don't use Google & don't know how targeted their results are, but here a quick Google search shows a badly anonymised version address on the first page. I wish it didn't. I'd probably get less spam. > Hope this helps (and maybe can you reply on the gnu list, so that in > the future people searching for the library can find it with less > time I spent), Thanks again, T G-R [0]: Commit 9ce587f231419f5a2447fbf1b1ece1a4afc7af9d, if I remember correctly.