What is C in practice?, by Kayvan Memarian and Peter Sewell.
Js Coq, Coq running in the browser, thanks to js_of_ocaml.
s2n is a C99 implementation of the TLS/SSL protocols that is
designed to be simple, small, fast, and with security as a
priority. It is released and licensed under the Apache Software
Erlang master classes at the University of Kent.
Presented by Joe Armstrong, Francesco Cesarini, and Simon Thompson.
Portable Utah Standard LISP, running on modern systems.
Elymas, a bootstrapped stack programming language.
Things Rust shipped without
narrowed-page-navigation-mode is an Emacs minor mode that provides
keybindings for showing only one page at a time. This is intended to
be useful primarily for presentations and live coding, where it might
be convenient to avoid distractions for the audience.
pkfix can replace TeX’s bitmap fonts with outline fonts in .ps files.
Wish I had known about this years ago…
The annoying boxes puzzle, Mark Dominus being annoying. ;)
Bubble Wrap is dead, long live Bubble Wrap