Instructions for installing 9front on an SDF VPS. Found on https://9p.sdf.org/

Critical review of some of the design choices made in the cryptographic tool 'age'.
There are other interesting articles, such as the three-part series
https://neilmadden.blog/2018/11/14/public-key-authenticated-encryption-and-why-you-want-it-part-i/
https://neilmadden.blog/2018/11/26/public-key-authenticated-encryption-and-why-you-want-it-part-ii/
https://neilmadden.blog/2018/12/14/public-key-authenticated-encryption-and-why-you-want-it-part-iii/
and
https://neilmadden.blog/2016/09/13/critical-thinking-for-software-engineers

A nontechnical reminiscence written in 1988 (on the occasion of unplugging Columbia University's last DECSYSTEM-20) for a Digital Press book that was to commemorate DEC's 36-bit machines with a series of articles, but was never published.

Found in https://www.tuhs.org/pipermail/tuhs/2018-February/014546.html

These pages are primarily concerned with keyboard layouts, that is, the arrangement of keys on a computer keyboard, and it looks at them from a historical viewpoint, going back to the keyboards found on some quite early computers.

Found on https://www.metzdowd.com/pipermail/cryptography/2021-April/036859.html
"The really important thing is the theory paper, https://www.cs.ucdavis.edu/~rogaway/aez/rae.pdf, which is brilliant and anyone who wants to look at block cipher theory should read and understand it."

At first glance, it looks like a list of available/recommended packages  ordered by purpose.

This document is a compendium of Casper Ti. Vector's thoughts about the Unix philosophy in the contemporary context.

The articles sound interesting, particularly those about Plan 9.
So does TexiWeb Jr., a super simple literate programming system built on top of Texinfo and implemented in awk https://github.com/arnoldrobbins/texiwebjr
which is mentioned in
AWK As A Major Systems Programming Language — Revisited
http://www.skeeve.com/awk-sys-prog.html
struct --- Convert Fortran into Ratfor
could be useful for proot:
This is Brenda Baker's struct program. It converts plain old Fortran into Rational Fortran (ratfor). The code here is taken from the TUHS archives, starting with the V7 version, and progressing through V8 and V10.
https://github.com/arnoldrobbins/struct

Sounds like an interesting book. See Keith Devlin's review https://www.maa.org/press/maa-reviews/uncle-petros-and-goldbachs-conjecture