Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

It is now pitch dark. If you proceed, you will likely fall into a pit.


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.rocksolidbbs.com/devel/article-flat.php?id=28591&group=comp.lang.python#28591

  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.edwards@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.


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

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor