Hacker News new | ask | show | jobs
by iana_mania_c 2232 days ago
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

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...