Yoneda Lemma
August 1, 2021
Bridging the gap between formal and informal presentations of the Yoneda Lemma.
The Hask Category
June 1, 2021
A quick reference for understanding the Hask category of Haskell functions between data types.
ProseMirror Math
June 14, 2020
Schema and plugins for math editing using ProseMirror!
Complex Domain Coloring
February 15, 2014
Domain coloring is a way of visualizing complex-input complex-output functions by assigning a color to each point of the complex domain. Sampling these colors from an image produces amusing results!
AdamBots Automated Scouting Kit
June 1, 2013
I used linear algebra to give my high school robotics team a competitive edge! Since robots compete in teams of three, an individual's contribution to the final score cannot be known. By scraping public match data and solving a linear system, I estimated an offensive power rating for each robot, which my team used to predict match outcomes and choose alliances.