Comment by tptacek

I didn’t read this so much as a critique of formal program analysis so much as a good excuse to talk about an interesting CS use case for linear algebra.