Normalization for Cubical Type Theory, by Jonathan Sterling and Carlo Angiuli.
“We prove normalization for (univalent, Cartesian) cubical type
theory, closing the last major open problem in the syntactic
metatheory of cubical type theory.”
Let’s Not Dumb Down the History of Computer Science,
by Donald E. Knuth.
Schizophrenia in Contemporary Mathematics (PDF, 1973), by Errett Bishop.
BundleWrap is a decentralized configuration management system that
is designed to be powerful, easy to extend and extremely versatile.
Counsel, a collection of Ivy-enhanced versions of common Emacs commands.
counsel-rg and counsel-fzf are awesome!
QSCM: A Smooth Blend of Scheme and C, by Quentin Carbonneaux.
How does clang 2.7 hold up in 2021?
You Could Have Invented Homology (YouTube),
An Incredible 10-Gigapixel Scan of ‘Girl With a Pearl Earring’
See a salamander grow from a single cell