Next TeX Hour will be Thursday 23 February

Jonathan Fine jfine2358 at gmail.com
Wed Feb 8 20:07:43 CET 2023


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texhax/attachments/20230208/8170c915/attachment.html>


More information about the texhax mailing list.