Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Keep the number of passes in a compiler to a minimum. -- D. Gries

computers / comp.text.tex / Next TeX Hour will be Thursday 23 February

SubjectAuthor
o Next TeX Hour will be Thursday 23 FebruaryJonathan Fine

1
Next TeX Hour will be Thursday 23 February

<47ea271a-ff89-4b0e-919f-ba31c62a5155n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/computers/article-flat.php?id=6144&group=comp.text.tex#6144

  copy link   Newsgroups: comp.text.tex
X-Received: by 2002:a37:b9c1:0:b0:71d:f1a9:72f3 with SMTP id j184-20020a37b9c1000000b0071df1a972f3mr808260qkf.167.1675883389603;
Wed, 08 Feb 2023 11:09:49 -0800 (PST)
X-Received: by 2002:a37:bbc5:0:b0:723:b9fa:2196 with SMTP id
l188-20020a37bbc5000000b00723b9fa2196mr998828qkf.146.1675883389388; Wed, 08
Feb 2023 11:09:49 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.text.tex
Date: Wed, 8 Feb 2023 11:09:49 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=80.189.209.230; posting-account=1n5iOQoAAAAdoKmXR0eD8Li08uSD4aUd
NNTP-Posting-Host: 80.189.209.230
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <47ea271a-ff89-4b0e-919f-ba31c62a5155n@googlegroups.com>
Subject: Next TeX Hour will be Thursday 23 February
From: jfine2358@gmail.com (Jonathan Fine)
Injection-Date: Wed, 08 Feb 2023 19:09:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1790
 by: Jonathan Fine - Wed, 8 Feb 2023 19:09 UTC

Hi

The TeX Hour is skipping two weeks. We'll next meet on Thursday 23 February.. Contact me by email for any queries or suggestions.

For TeX users, next week I'm at a conference on Machine Assisted Proofs in pure mathematics research. Mainly it's focussed on math research way above my league, but I might learn something related to writing math proofs that both humans and computers can read. For many years, TeX has been the preeminent software for writing math proofs.

Here's a resonance. Don Knuth developed literate programming for writing software source code that both humans and computers can read. He used literate programming to write TeX, METAFONT and the Computer Modern fonts.

with kind regards

Jonathan

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor