Theory Notes on various topics related to systems/syntax/coding/math. Index Types - Systematization of types and their properties. Data - Various data models and operations. Design - Various design patterns and principles. Code - My coding-related conventions and observations.