David Templin's Blog
Coinduction and Bisimulation
The Shoelace Formula
Structural Induction
A Note on Surface Integrals
The Hyperreal Numbers
Solid Angle via Differential Geometry
Definability of Recursive Functions
The Real Numbers
The Darboux Integral
Darboux's Theorem
Hamiltonian Mechanics
Harmonic Oscillators
Distributions
The Mean Value Theorem
Functional Derivatives
The Chain Rule
The Fréchet and Gateaux Derivatives
Parallel Metropolis Light Transport
Monads in Computer Science
The Euclidean Metric in Spherical Coordinates
Universal Algebra
Large Language Models
General Recursive Functions
The Einstein-Hilbert Action
Covariant Derivatives of Tensor Fields
Curvature Tensors
Covariant Derivatives
Derivatives on Normed Vector Spaces
Smooth Manifolds
Differentiable Programming
Solid Angle
Parallel Metropolis-Hastings