New family additions

I’ve made two changes to my video game family. First, I bought a GameCube and a couple games (Zelda, Viewtiful Joe). Also, a friend with a vinyl cutter made a wood-grain applique for my Xbox. Click to see the new family!

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.