Automatic Differentiation in Clojure with SICMUtils
summary
Clojure code uses SICMUtils with Clerk and Hanami to symbolically render, plot and automatically differentiate physics equations. Forward‑mode AD via the d operator represents values as dual numbers so derivatives are exact, not numeric approximations. Worked example: projectile with v0 = 40 and g = 9.81 yields max height 81.5 m at t = 4.08 s, velocity and acceleration curves plotted (accel ≈ −9.81), and plots and symbolic output are generated and verified.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 0:27Background
- 1:25Overview
- 2:18Height
- 7:03Slope and Tangent
- 8:03Slope
- 13:01Velocity
- 16:36Differentiation Rules
- 17:46Forward Mode
- 20:01D Operator
- 22:06Conclusion
related talks
26mAdding AD to Scheme by Differentiating the Interpreter
29mPartial Evaluation of Automatic Differentiation for Differential-Algebraic Equati...
11mAbstract Interpretation for Automatic Differentiation
29mAutomatic Differentiation via Effects and Handlers in OCaml
59mDifferentiable Programming in C++
35mDerivatives - Important Concept. Simple to grasp in Kotlin
39mDifferentiable Functional Programming
30mAutomatic Differentiation in PCF