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), by Boarbarktree.
An Incredible 10-Gigapixel Scan of ‘Girl With a Pearl Earring’