Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Vulcans never bluff. -- Spock, "The Doomsday Machine", stardate 4202.1


devel / comp.lang.python / Re: Question(s)

SubjectAuthor
o Re: Question(s)Grant Edwards

1
Re: Question(s)

<mailman.34.1698179787.3828.python-list@python.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=24177&group=comp.lang.python#24177

  copy link   Newsgroups: comp.lang.python
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!not-for-mail
From: grant.b....@gmail.com (Grant Edwards)
Newsgroups: comp.lang.python
Subject: Re: Question(s)
Date: Tue, 24 Oct 2023 11:39:51 -0700 (PDT)
Lines: 17
Message-ID: <mailman.34.1698179787.3828.python-list@python.org>
References: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
<65380f77.050a0220.88dc6.3e37@mx.google.com>
X-Trace: news.uni-berlin.de 63X8lEkUORWYhC09A6RfWQ4KiQoduQJ52KeYRxmj95pQ==
Cancel-Lock: sha1:xW/VG4mWXdLN51YW5iSDDS8RfS8= sha256:adS8dlNou3vswO4sk8gIEpEuWJzVuWNlUS3ni5Hhe00=
Return-Path: <grant.b.edwards@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
Authentication-Results: mail.python.org; dkim=pass
reason="2048-bit key; unprotected key"
header.d=gmail.com header.i=@gmail.com header.b=iQvzC7CC;
dkim-adsp=pass; dkim-atps=neutral
X-Spam-Status: UNSURE 0.218
X-Spam-Level: **
X-Spam-Evidence: '*H*': 0.59; '*S*': 0.02;
'from:addr:grant.b.edwards': 0.16; 'from:name:grant edwards':
0.16; 'hardware.': 0.16; 'mathematical': 0.16; 'o1bigtenor': 0.16;
'wrote:': 0.16; 'hardware': 0.19; 'subject:Question': 0.19;
'to:addr:python-list': 0.20; 'installed': 0.23; 'depends': 0.25;
'header:User-Agent:1': 0.30; 'program': 0.31; 'python-list': 0.32;
'but': 0.32; 'there': 0.33; 'mean': 0.34; 'received:google.com':
0.34; 'from:addr:gmail.com': 0.35; 'cases': 0.36; 'target': 0.36;
"it's": 0.37; 'way': 0.38; 'want': 0.40; 'best': 0.61; 'verify':
0.64; 'subject:(': 0.64; 'choose': 0.67; 'collect': 0.69;
'supposed': 0.76; 'practical': 0.84; '"verify': 0.84; 'assembled':
0.84; 'inputs': 0.84; 'tend': 0.91
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1698172792; x=1698777592; darn=python.org;
h=to:user-agent:references:subject:from:date:message-id:from:to:cc
:subject:date:message-id:reply-to;
bh=M2uB4JoPOlHwwgZBEd13940qduGtDld6Ok9ajaFCfW0=;
b=iQvzC7CCVSwv5s5StRUZjXd/P0atyewOOxNxs570fWvp3VXjiee1LgcsmeFYVqBum8
F78w0dqpzpJvFMIINrFDf9fqHq4kA1hie2+XMq7Qrv60xPT0N8ZChJ1P+vbhqvH8hikp
ufLJRUTIvfXpu/s17hHE9zHJ7Ach9pISuD/ljMsJL4NZpXEiho/LfTB+U05ErMH95Cc1
O7zb5HFh3E265awIU+qeKpVr0h7Ou8biz9iZocrF7fbc2rKLb4mEnkoskb0ZGUrq1AKR
gIJ8OxlA2u3gSpyO2LHzMl+LwuC/vQciL+a71ncE8586NsexY4JCe+y4T+4jKa0qy3F7
AnlA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1698172792; x=1698777592;
h=to:user-agent:references:subject:from:date:message-id
:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
bh=M2uB4JoPOlHwwgZBEd13940qduGtDld6Ok9ajaFCfW0=;
b=eHWlUlY92XevfldpEJ/x9HUWObdRezGrcwXXxyB99Y4wL5bp8/mKizktnaU1+ZxLAm
JtCtDk5+kdkSMRKOhmyOjIA/LQZK10bzgsZAH82VKCh8lhxShEw52M2PJg0D/m0YU9bg
MwFzYEdiZbVMeblEcnKmi5GdnZmq6TnHiWYGG1/OqZmC8H03WcUpLbWLAI1G94V83rqu
+4TvmfdguE+ei7g4qEyRFicCOmmkA1GLXoSptI+mRKKj6jM8dV/ZZ9C3BdRR1bdmHNGJ
dTgZbMelhs3CMn1PygjLvu2Rmku53scNMG2zAIYNUGC+3RsB7alnykMqkAoK+zAmgaLz
wjLQ==
X-Gm-Message-State: AOJu0YwFpZezCSOIe6Cn4ek6j2z6t/P3D71yt3ce6duQUnG5OUBXXOBW
mBFzGPeccBsbVdFfv0whaEX4Q7i516Q=
X-Google-Smtp-Source: AGHT+IGydKsLlyHHVowCGFNxm37K4jCEUchLWjzJmPqZpddaHWBgSFu/b3uFqQRsP3OYbzm8i5gCVQ==
X-Received: by 2002:a05:6602:1506:b0:7a9:945f:e46 with SMTP id
g6-20020a056602150600b007a9945f0e46mr797790iow.13.1698172792361;
Tue, 24 Oct 2023 11:39:52 -0700 (PDT)
User-Agent: slrn/1.0.3 (Linux)
X-Mailman-Approved-At: Tue, 24 Oct 2023 16:36:26 -0400
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: General discussion list for the Python programming language
<python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>,
<mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <https://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>,
<mailto:python-list-request@python.org?subject=subscribe>
X-Mailman-Original-Message-ID: <65380f77.050a0220.88dc6.3e37@mx.google.com>
X-Mailman-Original-References: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
 by: Grant Edwards - Tue, 24 Oct 2023 18:39 UTC

On 2023-10-24, o1bigtenor via Python-list <python-list@python.org> wrote:

> Is there a way to verify that a program is going to do what it is
> supposed to do even before all the hardware has been assembled and
> installed and tested?

It depends on what you mean by "verify ...". If you want to prove a
program correct (in the mathematical sense), then the practical answer
is no. It's possible to prove _some_ programs correct, but they tend to
be uselessly trivial.

For real programs, the best you can do is choose a good set of test
cases and test them. If you can simulate the various inputs and
collect the outputs, then you can do testing before you have real
target hardware.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor