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