notes
logic and type theory
natural deduction
calculus of constructions
equational logic
lambda calculus
mathematics
glossary
Riemannian geometry
differential operators
divergent series
partial differential equations
diffeomorphisms
physics
relativistic aberration
Ising model
relativistic field equations
classical mechanics
computational electromagnetics
black hole optics
probability
coin fairness
multi-armed bandits
Bayesian updating
Solomonoff induction
machine learning
neural networks
backpropagation
reinforcement learning
quantum machine learning
other
Langton's ant
spherical space
web scraping in Python
do not go gentle