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