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.