Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"A verbal contract isn't worth the paper it's printed on." -- Samuel Goldwyn


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

SubjectAuthor
o Re: Question(s)Grant Edwards

1
Re: Question(s)

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

  copy mid

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

  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 16:37:22 -0700 (PDT)
Lines: 14
Message-ID: <mailman.41.1698190646.3828.python-list@python.org>
References: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
<58b56dbe-646c-4a94-8102-ac2cf6efe233@tompassin.net>
<65385532.050a0220.a5f30.3ea2@mx.google.com>
X-Trace: news.uni-berlin.de Y4qyBs8VlOk85Ca6XYDNagcjnn8s8YpMQ8Mv04vf2SdA==
Cancel-Lock: sha1:/Ey6/cuaktzk3ve3sVqwy3wHoNE= sha256:/kLVruNBujID72Iks9a1gnUllm0J9uxhB7/gBhBc1tc=
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=I+zQHCfY;
dkim-adsp=pass; dkim-atps=neutral
X-Spam-Status: OK 0.107
X-Spam-Level: *
X-Spam-Evidence: '*H*': 0.79; '*S*': 0.00; 'received:mail-
io1-xd36.google.com': 0.09; 'arbitrary': 0.16;
'from:addr:grant.b.edwards': 0.16; 'from:name:grant edwards':
0.16; 'which,': 0.16; 'wrote:': 0.16; 'subject:Question': 0.19;
'to:addr:python-list': 0.20; 'code': 0.23; 'programming': 0.25;
'header:User-Agent:1': 0.30; 'program': 0.31; 'mission': 0.32;
'python-list': 0.32; 'received:google.com': 0.34; 'developed':
0.35; 'from:addr:gmail.com': 0.35; 'could': 0.38; 'done.': 0.40;
'something': 0.40; 'team': 0.60; 'full': 0.64; 'subject:(': 0.64;
'your': 0.64; 'less': 0.65; 'ambitious': 0.84; 'moon': 0.84
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1698190643; x=1698795443; darn=python.org;
h=to:user-agent:references:subject:from:date:message-id:from:to:cc
:subject:date:message-id:reply-to;
bh=b+hxropozbSQosoeG95sTjuCgjx9WnT2pqVf5x3aiaY=;
b=I+zQHCfYKvxHQn0CnM74bElMVSkHGDKPskzgiBXno6I3jlugUSML/rGmALzuz6g7Dr
V7zrHPp6qfGQT683wVFbjVUh0x1GTi26T64VBJmcOU97ws+pH9kKYNIPRx9ZU6wKtQH0
pAawoHqnkkFG0Kg9F+/ysDNYpW/H6gg0N2aZfQFZbLYRWjTVEdIV5G4OchwFllOtDJK9
cIGIakFUFNiNCjXE5gh6hHZI0YjkBBpnjrdVF+jZ9sbml3s6RFvvq7ZAZbXD/ERqHcQY
pGWp+1pkpsSXVoo2wSX+EeHqen0AnkKqO8uumWgAbdnN4+DqcUeoCL4TBUOpKOKhZgMx
yEjQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1698190643; x=1698795443;
h=to:user-agent:references:subject:from:date:message-id
:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
bh=b+hxropozbSQosoeG95sTjuCgjx9WnT2pqVf5x3aiaY=;
b=gKhsOZDnwDFELBL3Yih/C0zM1wR6EjInHvXiLUIlMvkb/sLjQacz5uXihH3oU714ap
+UuH7hZh1KL/9nhupqQku5pUjkYteBxhWKc5d5GuEyeJjruFOoYNNlL2Hu8hYaErIW4m
qf3RMHLqNKXJHgGN2sggNNsaiwrYKk2A+4YbO6LzDzX11ktmk9f4eVzM5//Vk/vmIMFO
VOHke6OCmCC304EY6yZEfgmETbPF5WhF/4HG/WsZQ9h5pc7Ok1vC2t3RNRNkAawtEzY8
n7PF4n+agEAvRIQKigae+L9HEmLnw6JxJpFIYoKsAAyaigwC5Z8EFBO6cXITZQTHRtzA
Y16A==
X-Gm-Message-State: AOJu0YxX3qLf8lyLZandgJq6QrwuACDjMgMBMGUlE0OYNbrblPxCCUek
JebQaoIHDnWd+EZLZLnbEC6sj9kXftc=
X-Google-Smtp-Source: AGHT+IGgaFgzJEjYdHj1KxKqQbxXzCrEDnJ+Rani93QdyGM19orcUb+E2qsfaM72sUA7z6NLbEqV8Q==
X-Received: by 2002:a05:6602:13c9:b0:787:4f3c:730d with SMTP id
o9-20020a05660213c900b007874f3c730dmr19794740iov.18.1698190642888;
Tue, 24 Oct 2023 16:37:22 -0700 (PDT)
User-Agent: slrn/1.0.3 (Linux)
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: <65385532.050a0220.a5f30.3ea2@mx.google.com>
X-Mailman-Original-References: <CAPpdf58WXyJs+Rd_GnbS-6dW8bPNt5DsojnVN5_ep+ebNx36Pw@mail.gmail.com>
<58b56dbe-646c-4a94-8102-ac2cf6efe233@tompassin.net>
 by: Grant Edwards - Tue, 24 Oct 2023 23:37 UTC

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

> Something less ambitious than a full proof of correctness of an
> arbitrary program can sometimes be achieved. The programming team
> for the Apollo moon mission developed a system which, if you would
> write your requirements in a certain way, could generate correct C
> code for them.

Er, what?

C didnt' exist until after the Apollo program was done.

FORTRAN, perhaps?

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor