This post accompanies a pair of talks given at CMU in November 2018.

Coming soon: my notes from the talk, and possibly a screencast.


Machine Learning Engineer

I am a software engineer and mathematician. I work on NLP algorithms for Apple News, and research homotopy type theory in CMU’s philosophy department.