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.
