Ian Grant's Weather Report

See Gerald Sussman on Rewriting Systems and Spectral Graph Theory.

Also, Gibbons, Unfolding ADTs ...

... and https://github.com/IanANGrant/red-october/blob/e454a6401a7223a45d617a3ea29cb083cb8ce0f2/src/dynlibs/ffi/complex.sml 

Here's the vector representation code I mention. The vector calculus stuff with continuous maps is called Gauge theory.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023