December 17, 2025
MIT SICP (Structure and Interpretation of Computer Programs) Lectures
Notes
Classic deep dive into computation, abstraction, interpreters, and languages.
Abstraction
Browse posts by tag
December 17, 2025
Structure and Interpretation of Computer Programs
January 20, 2025
Mathematical Structure in Software Design
How mathematical principles, generality, composability, invariants, and minimal assumptions, translate into better software.
June 17, 2023
Working Memory as an Inductive Bias
How the limited capacity of human working memory acts as regularization, shaping our reasoning and possibly preventing cognitive overfitting.
June 12, 2017
The Beauty of Mathematical Abstraction
What makes mathematics beautiful: generality, inevitability, compression, and surprise. And why abstraction matters for software.