Welcome to the forums Brian.

You said you are interested in dependently-typed programming. What languages are you looking at?

I am also a fan of the history of economic thought (and intellectual history in general). Anything in particular that are you are reading?