Essay about disadvantages of desktop operating systems written in 2017. Found via Karl Voit's blog https://karl-voit.at/2024/06/22/rebooting-the-desktop/
Some results are reported in https://joshondesign.com/2022/09/21/idealos_mark6, but it seems more like a (slow) prototype.

Mentioned on Bruce Schneier's blog https://www.schneier.com/blog/archives/2024/06/demo-of-aes-gcm-misuse-problems.html

The LOCKSS Program at Stanford Libraries provides open-source technologies and services for high-confidence, resilient, secure digital preservation.
Found on David Rosenthal's blog https://blog.dshr.org/2024/01/a-lesson-learned.htm

The Language-theoretic approach (LangSec) regards the Internet insecurity epidemic as a consequence of ‘ad hoc’ programming of input handling at all layers of network stacks, and in other kinds of software stacks.  LangSec posits that the only path to trustworthy software that takes untrusted inputs is treating all valid or expected inputs as a formal language, and the respective input-handling routines as a ‘recognizer’ for that language.
The recognition must be feasible, and the recognizer must match the language in required computation power.

Found on the TUHS mailing list https://www.tuhs.org/pipermail/tuhs/2024-May/029846.html

Found on https://en.wikipedia.org/wiki/Substack and https://en.wikipedia.org/wiki/Molly_White_(writer)

Hints for using emacs' ediff mode to compare files.

This section describes how to perform a reset.

Found on Karl Voit's blog https://karl-voit.at/2022/10/28/window-teleporting/

This file, jargon.txt, was maintained on MIT-AI for many years, before being published by Guy Steele and others as the Hacker's Dictionary. Many years after the original book went out of print, Eric Raymond picked it up, updated it and republished it as the New Hacker's Dictionary. Unfortunately, in the process, he essentially destroyed what held it together, in various ways: first, by changing its emphasis from Lisp-based to UNIX-based (blithely ignoring the distinctly anti-UNIX aspects of the LISP culture celebrated in the original); second, by watering down what was otherwise the fairly undiluted record of a single cultural group through this kind of mixing; and third, by adding in all sorts of terms which are "jargon" only in the sense that they're technical. This page, however, is pretty much the original, snarfed from MIT-AI around 1988. -- jpd.

See also https://www.dourish.com/quotes.html and https://www.dourish.com/goodies/

Found on https://mumble.net/

Description of the module system of Scheme-48. Found on Jonathan Rees' page https://www.mumble.net/~jar/s48/index.html
I am not sure yet whether Rees' critique [1] on the use of the term "module" applies here.
[1] https://odontomachus.wordpress.com/?s=module