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
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
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.