A few years ago I dropped out of a Phd program (math, University of Chicago) and started a career in industry. Since then I've shifted back and forth between machine learning and software engineering. These days I work with a large distributed system at a large company.
It seems unfortunate for a mathematician-turned-programmer to only remember bits of category theory from algebraic topology and other pure math classes, and know nothing of applications to e.g. computation. I'm hoping to remedy that!
I'm pretty interested in John's suggestion in the blog post that we implement some of the ideas in the course in code. If anyone can point me toward any existing implementations of anything that I should be looking at for a sense of what's been done, that would be great.
My personal website is: http://www.davidchudzicki.com/.