Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

6 May, 2024: The networking issue during the past two days has been identified and appears to be fixed. Will keep monitoring.


devel / comp.lang.python / Re: What to use for finding as many syntax errors as possible.

SubjectAuthor
o Re: What to use for finding as many syntax errors as possible.Chris Angelico

1
Re: What to use for finding as many syntax errors as possible.

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

  copy mid

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

  copy link   Newsgroups: comp.lang.python
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!not-for-mail
From: ros...@gmail.com (Chris Angelico)
Newsgroups: comp.lang.python
Subject: Re: What to use for finding as many syntax errors as possible.
Date: Tue, 11 Oct 2022 14:24:28 +1100
Lines: 19
Message-ID: <mailman.636.1665459250.20444.python-list@python.org>
References: <CAPTjJmrvVqpX8+bcH_2P8xr8c4=CSBK9vP9QkpxS5zxqkeObyg@mail.gmail.com>
<Y0SZ6coJzhm6jc1B@cskk.homeip.net> <00ab01d8dd1f$2af0f9f0$80d2edd0$@gmail.com>
<CAPTjJmoZrFXOxkFKmLTQPneK8nntJH1sBTYCu4eN1rUB_muS8w@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
X-Trace: news.uni-berlin.de HYkvuIcTF8FaiU171hkObgDrzUsPLaGoVZuSUkA2dxnQ==
Return-Path: <rosuav@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=i7WsADZZ;
dkim-adsp=pass; dkim-atps=neutral
X-Spam-Status: UNSURE 0.209
X-Spam-Level: **
X-Spam-Evidence: '*H*': 0.59; '*S*': 0.01; '2022': 0.05; 'codes':
0.07; 'bits': 0.16; 'chrisa': 0.16; 'correction': 0.16;
'from:addr:rosuav': 0.16; 'from:name:chris angelico': 0.16;
'noise': 0.16; 'received:209.85.218': 0.16; 'subject:syntax':
0.16; 'understand.': 0.16; 'wrote:': 0.16; 'tue,': 0.19; 'to:addr
:python-list': 0.20; '(and': 0.25; 'error': 0.29; 'half': 0.32;
'message-id:@mail.gmail.com': 0.32; 'but': 0.32; 'subject:for':
0.33; 'there': 0.33; 'header:In-Reply-To:1': 0.34;
'received:google.com': 0.34; 'from:addr:gmail.com': 0.35;
'errors': 0.36; 'really': 0.37; 'received:209.85': 0.37; 'way':
0.38; 'received:209': 0.39; 'still': 0.40; 'subject:What': 0.40;
'url-ip:216/8': 0.60; 'url-ip:142.250.179/24': 0.61; "there's":
0.61; 'today,': 0.62; 'come': 0.62; 'url-ip:142.250.179.174/32':
0.63; 'great': 0.63; 'between': 0.63; 'everything': 0.63; 'clear':
0.64; 'url:watch': 0.64; 'beautifully': 0.69; 'easy': 0.74;
'price': 0.75; 'free.': 0.76; 'url:v': 0.78; 'distinction': 0.84;
'fortunately,': 0.84; 'parity': 0.84; 'schemes': 0.84;
'subject:many': 0.84
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
h=to:subject:message-id:date:from:in-reply-to:references:mime-version
:from:to:cc:subject:date:message-id:reply-to;
bh=XNX2P+rfyhT7XvUHSSnMBeM6zEe5dkpCEKIUPOIbJ8I=;
b=i7WsADZZUB/LOdg8NU9mXSWFgutUSLpcUeWf6NaKaiv+qKfhavH/UYd2qVxt8gp/IO
ARYWShZ7biJ+eXmi6MlkCsxJ9WAijM8Acf/CGclmb3z/Nc+0SncdbN/J5tt8Gkk1UgeG
VEJ6lz4LZ7DDSEtW5y91vRd+8yB9sRoUf2+ddLi0rH5xabWBM2fgLpJrgenlssWOMtGP
q4uszG0CE1jjs6i7eme6IMAGIxz9y0LzzfPyWMuTSBJJp5x/Q0H6e8tftX9DbN72fne2
Gi6ztcTBrT10dulCGS3QE7HSgCWRazm+lN2eOl/AMC6gcS9JbU9+3pbC1hpQMH56iDlq
lk6w==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112;
h=to:subject:message-id:date:from:in-reply-to:references:mime-version
:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
bh=XNX2P+rfyhT7XvUHSSnMBeM6zEe5dkpCEKIUPOIbJ8I=;
b=D4g6i2VmhIrZrff29dzoGwJlA7d14M6FYfhABThxEkxeFgtVUE1/064Pf/dXX1JgUI
yvHLO8x6GbUSN9Gk34Ibxakrp4/PKB7qjNhIKoORfu9C8y2TFb9atNpov0I2vl7mIj68
y5ykxUi80AvxVJAOwsJUptUPyGpvw9m5BuUOQ6nZkNM5lkOTGXAf8QvrdacYGWTtmbF8
oVvZ9k0254hMR40UFTYNhWmD+v93QNtmcayo3+IPjxu/9yUbAM52fnflKDsFL4x9hDSe
2Pvxty0BlRa6IcsqxjG61HIVxh0GawXFAA24YOEVRLWGyiKjl4VzC1E4MXtMHf+IbTQc
GBPQ==
X-Gm-Message-State: ACrzQf3NCqHl9GmD948prp3ORLXueLt0pV16ZAT1hMR+qcqSzv2QJtap
kLtSsN4q2yYoyvSbYvK5hz/lQs7gPVj+J0rVPm9AYpR9kS4=
X-Google-Smtp-Source: AMsMyM7RLYdnOc83sn7oxQlGj87rWUjaigEa9o8mLhgXKhT9A2/rvnWCsE18XPrT7GQdFL+8CU9YSyh9FsV4KXcHr4E=
X-Received: by 2002:a17:907:3e14:b0:78d:b14b:6fa0 with SMTP id
hp20-20020a1709073e1400b0078db14b6fa0mr7663213ejc.650.1665458679643; Mon, 10
Oct 2022 20:24:39 -0700 (PDT)
In-Reply-To: <00ab01d8dd1f$2af0f9f0$80d2edd0$@gmail.com>
X-Mailman-Approved-At: Mon, 10 Oct 2022 23:34:10 -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: <CAPTjJmoZrFXOxkFKmLTQPneK8nntJH1sBTYCu4eN1rUB_muS8w@mail.gmail.com>
X-Mailman-Original-References: <CAPTjJmrvVqpX8+bcH_2P8xr8c4=CSBK9vP9QkpxS5zxqkeObyg@mail.gmail.com>
<Y0SZ6coJzhm6jc1B@cskk.homeip.net> <00ab01d8dd1f$2af0f9f0$80d2edd0$@gmail.com>
 by: Chris Angelico - Tue, 11 Oct 2022 03:24 UTC

On Tue, 11 Oct 2022 at 14:13, <avi.e.gross@gmail.com> wrote:
> With the internet today, we are used to expecting error correction to come
> for free. Do you really need one of every 8 bits to be a parity bit, which
> only catches may half of the errors...

Fortunately, we have WAY better schemes than simple parity, which was
only really a thing in the modem days. (Though I would say that
there's still a pretty clear distinction between a good message where
everything has correct parity, and line noise where half of them
don't.) Hamming codes can correct one-bit errors (and detect two-bit
errors) at a price of log2(size)+1 bits of space. Here's a great
rundown:

https://www.youtube.com/watch?v=X8jsijhllIA

There are other schemes too, but Hamming codes are beautifully elegant
and easy to understand.

ChrisA

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor