"Am I the only one still wondering what is the deal with linear types?" by Jon Sterling

Project Pterodactyl: incremental architecture

Dependent Types: Universes, or types of types

Type theory and its meaning explanations

Functionality, Mutability & Non-Determinism in Type Theory