CSS-Only Chat, WJW.

Inverting Bidirectional Typechecking, by Neel Krishnaswami.

Implementing Inverse Bidirectional Typechecking, by Neel Krishnaswami.

Using Ed25519 signing keys for encryption, by Filippo Valsorda.

T1 is a stack-based programming language which aims at providing better support for constrained environments, especially embedded systems with very little RAM.

To what does the harmonic series converge? (PDF), by David Malone. “We consider what value the harmonic series will converge to if evaluated in the obvious way using some standard computational arithmetic types.”

A course on homotopy (type) theory, by Andrej Bauer and Jaka Smrekar.

When you have reached Acme, “Notes on working with a minimalistic text editor/programming environment” by Martin Kühl.

How to do hard things, by David R. MacIver.

Goodbye Joe, RIP Joe Armstrong (1950–2019).

OpenBSD 6.5 has been released.

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol, by Benjamin Lipp, Bruno Blanchet, and Karthikeyan Bhargavan.

A Go implementation of Poly1305 that makes sense, by Filippo Valsorda.

Pyret is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming.

Jsonnet, a data templating language based on JSON.

jk is a data templating tool designed to help writing structured configuration.

min-caml, an educational compiler for a minimal subset of OCaml, written in ~2000 lines of OCaml.

rubydown is pure-Ruby R Markdown clone. It takes a markdown source file, executes the code chunks, captures the output, and stitches the output into the destination file.

Bootstrapping an Infrastructure (1998!, PDF), by Steve Traugott and Joel Huddleston.

On lists, cache, algorithms, and microarchitecture, by Paweł Dziepak.

Applied Category Theory at MIT OpenCourseWare.

Cidco MailStation as a Z80 Development Platform, by Joshua Stein.

Iconic consoles of the IBM System/360 mainframes, 55 years old

legit: Git commits as an esoteric programming language, by blinry.

Mathematical jargon failures