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.