Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

MAC user's dynamic debugging list evaluator? Never heard of that.


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

SubjectAuthor
o Re: Question(s)Barry

1
Re: Question(s)

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

  copy mid

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

  copy link   Newsgroups: comp.lang.python
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!not-for-mail
From: bar...@barrys-emacs.org (Barry)
Newsgroups: comp.lang.python
Subject: Re: Question(s)
Date: Tue, 24 Oct 2023 23:11:14 +0100
Lines: 17
Message-ID: <mailman.36.1698185493.3828.python-list@python.org>
References: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
<6040327B-CFB3-4EED-80BC-5D50C7C1ED52@barrys-emacs.org>
Mime-Version: 1.0 (1.0)
Content-Type: text/plain;
charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de 8VJCYZ06Aue11uIM+3ZergX0GzVDYrrqaAUUqAJJQFVQ==
Cancel-Lock: sha1:v16AhWRFAR4ZxD5FVrgu9oVcui8= sha256:v2DTnkq/MQ/ARBa2AMtVdpNIU0X/VGuL5QZ74WCofuU=
Return-Path: <barry@barrys-emacs.org>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
Authentication-Results: mail.python.org; dkim=none reason="no signature";
dkim-adsp=none (unprotected policy); dkim-atps=neutral
X-Spam-Status: OK 0.007
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; 'cc:addr:python-list':
0.09; 'from:addr:barry': 0.09; 'received:217.70': 0.09;
'received:gandi.net': 0.09; 'received:mail.gandi.net': 0.09;
'barry': 0.16; 'cc:name:python': 0.16; 'from:addr:barrys-
emacs.org': 0.16; 'message-id:@barrys-emacs.org': 0.16;
'o1bigtenor': 0.16; 'to:addr:o1bigtenor': 0.16;
'to:name:o1bigtenor': 0.16; 'wrote:': 0.16; 'problem': 0.16;
'hardware': 0.19; 'subject:Question': 0.19; 'cc:addr:python.org':
0.20; 'url:wiki': 0.23; 'run': 0.23; 'cc:2**0': 0.25; 'email
addr:python.org&gt;': 0.28; 'program': 0.31; 'python-list': 0.32;
'there': 0.33; 'header:In-Reply-To:1': 0.34; 'way': 0.38; 'read':
0.38; 'verify': 0.64; 'subject:(': 0.64; 'received:217': 0.67;
'url:wikipedia': 0.70; 'proven': 0.76; 'supposed': 0.76; 'email
name:&lt;python-list': 0.84
In-Reply-To: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
X-Mailer: iPad Mail (21A360)
X-GND-Sasl: barry@barrys-emacs.org
X-Content-Filtered-By: Mailman/MimeDel 2.1.39
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: <6040327B-CFB3-4EED-80BC-5D50C7C1ED52@barrys-emacs.org>
X-Mailman-Original-References: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
 by: Barry - Tue, 24 Oct 2023 22:11 UTC

> On 24 Oct 2023, at 18:25, 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

In the general case not proven to be not possible.
Have a read about the halting problem https://en.wikipedia.org/wiki/Halting_problem

It is common to simulate hardware that does not exist yet and run software in the simulated environment.

Barry

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor