Expositions

• Fall 2015
  Scanned lecture notes from a presentation I gave on symplectic geometry.
• PDF
• Spring 2013
  A short piece I wrote on the optico-mechanical analogy I wrote for the high school physics team.
• PDF TEX

Programming

• A small text-generation language I wrote in Haskell
• hackage
• A web app which suggest mix drinks based on what ingredients you have available. Written in Haskell.
• page
• A command-line tool written as a replacement to 'du', with an emphasis on parallelism and ergonomics.
• git
• An Idris library for type-safe permutations.
• git
• Haskell bindings for libarchive.
• hackage
• A command-line tool to count lines of source code, written in ATS
• git
• Perceptual hashing in J
• git

Translations

• Spring 2013
  Ricci and Levi-Civita's treatise on their invention of tensor calculus, translated from the original French.
• PDF TEX
• Summer 2016
  Excerpt from The Fifteen Joys of Marriage, a 15th century French satire. Translated from Middle French.
• PDF TEX plaintext
Summer 2016
A few Anglo-Saxon riddles, translated into French from Old English.
• PDF TEX

Original

• A reference which contains many proofs from the calculus of variations, including the correct generalization of Noether's theorem for a field dependent on higher order derivatives.
• PDF TEX
• Summer 2012
  A paper from a summer research project I did in high school simulating the electrocaloric effect in a ceramic.
• PDF src
• Spring 2018
  A literate program demonstrating how to enforce memory safety with linear types in Haskell.
• PDF

Retrospectives

• Ethernet packet transmission on an FPGA
• page

• Temperature monitoring with Raspberry Pi and lighttpd
• page