From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id UJ9xA2kNDl9COgAA0tVLHw (envelope-from ) for ; Tue, 14 Jul 2020 19:54:17 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id sFHSOmgNDl8oegAA1q6Kng (envelope-from ) for ; Tue, 14 Jul 2020 19:54:16 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 9BA7E94066C for ; Tue, 14 Jul 2020 19:54:16 +0000 (UTC) Received: from localhost ([::1]:52422 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jvR0J-0003Wn-Gv for larch@yhetil.org; Tue, 14 Jul 2020 15:54:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53716) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jvR0A-0003W7-6k for guix-devel@gnu.org; Tue, 14 Jul 2020 15:54:06 -0400 Received: from wout1-smtp.messagingengine.com ([64.147.123.24]:52657) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jvR07-00026L-EY; Tue, 14 Jul 2020 15:54:05 -0400 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id 47490AF2; Tue, 14 Jul 2020 15:54:01 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute3.internal (MEProxy); Tue, 14 Jul 2020 15:54:01 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.net; h= from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-type:content-transfer-encoding; s=fm1; bh= EvKckyZ+9G/2YihLld4s7/L0e1dthqXHGSwhMf+mp0U=; b=Ma/hIae2fDi2ffmQ mPthV2T/Ga258o+r0HSl1epileBNOQ66PlA2WrYQQF2Ky3z55b5O7kL6KpfSi1nz ZxSEhZGkuC6SRs9Pmn6wjFIoienvLKItNqpWsXQ64py2ZuyxN3WIUmtAC8LvvIgZ svom0sStQtTgCwfRz3POI+CpTm8TaMkF6f4qBurAI48ZsHnaZ2Wuvc+6jjyRg+3Z RSEsgOqQ4uATYJcrMUxcQTADX7l8fjwYH0RqaPiVTTgvXowVRRYQMn0DZhahIi45 bKte+oT4byDEqb3GSW4VwwkKCMciwOENW1tsbvDw4T4eczYYNRK6Qod8cxl2zxRC 0ky4ew== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm3; bh=EvKckyZ+9G/2YihLld4s7/L0e1dthqXHGSwhMf+mp 0U=; b=FGnFH39SSu0pEZZdfZ8ND09QlnpiB01Hq2mwynsmh+VypMMw5v5N8BuZ8 XPV6VMBbU1ZdX8e9vulKz89bpKe3+vDF2dKFh0zL467eotmnM1lmaDqcTJ8L/Sjw GvzivHNGjkPzhqzuGtGIMHJ5SeP3IbKGcpxSl4eIUDPhq5D6N84dyouItrNH7gvD QHrqzulgq5mZSMjQru2dSCwa+D4zFTxSGeYr8y4RwtBJFaG/3NrtlMu4L//EE1U9 G+OiYIeZ54d2ppn4YFrg/FgLrUrX2iNNsT+Z9GRhzFIjrrWBkTEA9orCLXRq9v6k K+sSxemYVwLwzy8gOJJO5CSViFiZg== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedrfedtgddugeehucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhephffvufgjfhffkfggtgfgsehtqhertddttdejnecuhfhrohhmpefmohhnrhgr ugcujfhinhhsvghnuceokhhonhhrrggurdhhihhnshgvnhesfhgrshhtmhgrihhlrdhnvg htqeenucggtffrrghtthgvrhhnpedujefhtddtieehueelgfekveettdfhkeffjefguddv teegfedtteetffffgfeiudenucffohhmrghinheplhifnhdrnhgvthenucfkphepjeelrd elhedruddvjedrudejieenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgr ihhlfhhrohhmpehkohhnrhgrugdrhhhinhhsvghnsehfrghsthhmrghilhdrnhgvth X-ME-Proxy: Received: from KHs-MacBook (176.127.95.79.rev.sfr.net [79.95.127.176]) by mail.messagingengine.com (Postfix) with ESMTPA id DFCE83280060; Tue, 14 Jul 2020 15:53:58 -0400 (EDT) From: Konrad Hinsen To: "Bonface M. K." Subject: Re: Reproducible Research Hackathon: Friday, July 3rd In-Reply-To: <86tuyaeasw.fsf@gmail.com> References: <86fta8cyna.fsf@gmail.com> <875zarr0pk.fsf@gnu.org> <86tuyaeasw.fsf@gmail.com> Date: Tue, 14 Jul 2020 21:53:56 +0200 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=64.147.123.24; envelope-from=konrad.hinsen@fastmail.net; helo=wout1-smtp.messagingengine.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/07/14 15:54:01 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H4=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org, Ludovic =?utf-8?Q?Court=C3=A8s?= , simon tournier , guix-hpc@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=fastmail.net header.s=fm1 header.b=Ma/hIae2; dkim=fail (rsa verify failed) header.d=messagingengine.com header.s=fm3 header.b=FGnFH39S; dmarc=fail reason="SPF not aligned (relaxed)" header.from=fastmail.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: 1.59 X-TUID: ZyQIVKQZtwns Hi Bonface and Ludo, > That's strange. To get the right results, you'd have to do a `2L ** 64`. Exactly. The long integer arithmetic works fine, it's the detection of the overflow of 64-bit ints that fails. > When I tried `2 ** 63` I got `-9223372036854775808`. There's also an Good catch, I hadn't tried that one! > Oooh, thank you! It looks like an =E2=80=9Cinteresting=E2=80=9D bug, one= of those > that can help make the case for precise software environment control. > :-) Exactly. Most people have understood by now that Python and libraries higher up on the stack suffer from breaking changes, but C and libc/libm, that's still the unshakable ground on which software can safely be built. > Uh, weird! We could check whether building Python with =E2=80=98-fwrapv= =E2=80=99 helps. > See also . Interesting. I am finding out that I don't know most of the possible suspects in this crime story ;-) Cheers, Konrad