Great intro. Your link #2 leads into the rabbit-hole CS treatment of classical physics (via automatic differentiation, and, less obviously, type theory). Here's

Great intro. Your link #2 leads into the rabbit-hole CS treatment of classical physics (via automatic differentiation, and, less obviously, type theory). Here's that HN thread accompanying your blog post from 6 months ago https://news.ycombinator.com/item?id=21460106 https://news.ycombinator.com/item?id=21460106 On the matter of automatic differentiation, if you check out the scmutils source code, there's been an ongoing effort spanning ~a decade to fix a very subtle bug...