Toward an Ethics and Etiquette for Electronic Mail (1989), by Norman Shapiro (1932–2021), Robert H. Anderson.

Verified tensor-program optimization via high-level scheduling rewrites, by Amanda Liu, Gilbert Louis Bernstein, Adam Chlipala, and Jonathan Ragan-Kelley. “We present a lightweight Coq framework for optimizing tensor kernels written in a pure, functional array language. Optimizations rely on user scheduling using series of verified, semantics-preserving rewrites. Unusually for compilation targeting imperative code with arrays and nested loops, all rewrites are source-to-source within a purely functional language.”

The benefits and costs of writing a POSIX kernel in a high-level language (PDF, 2018), by Cody Cutler, M. Frans Kaashoek, and Robert T. Morris. “The paper contributes Biscuit, a kernel written in Go that implements enough of POSIX (virtual memory, mmap, TCP/IP sockets, a logging file system, poll, etc.) to execute significant applications.”

SPARKNaCl, a SPARK 2014 re-implementation of the TweetNaCl crypto library. By Roderick Chapman.

A decade of major cache incidents at Twitter, by Dan Luu and Yao Yue.

The Concise Common Workflow Language (ccwl) is a concise syntax to express CWL workflows. It is implemented as an Embedded Domain Specific Language (EDSL) in the Scheme programming language,

cpu, an implementation the Plan 9 cpu command, both client and server, for Linux.

Squabble is Wordle meets Battle Royale.