A simple programming language with syntax similar to Go. Found via https://www.tuhs.org/pipermail/tuhs/2022-February/025351.html
A bit later in the same thread, the scripting language Wren https://wren.io/ was mentioned.
Some people on the 9fans mailing list critcized V in a thread starting at https://marc.info/?l=9fans&m=172789698811416&w=2

Recommendations for improving security/privacy-related settings of common Web browsers.

Magic-1 is a completely homebuilt minicomputer.  It doesn't use an off-the-shelf microprocessor, but instead has a custom CPU made out of 74 Series TTL chips.  Altogether there are more than 200 chips in Magic-1 connected together with thousands of individually wrapped wires.  And, it works.  Not only the hardware, but a full software stack. There's a ANSI C cross-compiler for Magic-1 (retargeted LCC), a fully multi-user, multi-tasking port of the Minix 2 operating system. a TCP/IP stack and hundreds of programs.

Minimal phone without internet access (except providing a WLAN hotspot), e-paper display.
Found on https://forums.ubports.com/post/60752

X Keyboard Configuration Database
The goal is to provide the consistent, well-structured, frequently released open source of X keyboard configuration data for X Window System implementations (free, open source and commercial). The project is targeted to XKB-based systems.
https://people.uleth.ca/~daniel.odonnell/Blog/custom-keyboard-in-linuxx11 looks useful as well.

Browser-based tool to convert between RPN programs to .raw files.
This one is for the dm42, see https://technical.swissmicros.com/decoders/nut/ for dm1{0,1,2,5,6}.
Voyager user manual https://technical.swissmicros.com/voyager/doc/voyager_user_manual.html
Forum https://forum.swissmicros.com/

Found on https://graydon2.dreamwidth.org/read

We use rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees.

Lot of information about the PDP-10 and other early computers.
http://www.ultimate.com/phil/lil/
Has a nice icon "This Web page is Lynx friendly!"
http://www.ultimate.com/phil/images/lynx_friendly.gif

Another view of the Plan 9 mailing list 9fans. At first glance, it appears easier to read than the web interface https://marc.info/?l=9fans which I used before.