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.