Work category coming

Not that you care, but I’m going to merge in all my work content into a category, and see how it coexists with my main category.

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.