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
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,
Mathematical jargon failures