Expositions

Fall 2015Scanned lecture notes from a presentation I gave on symplectic geometry.

Spring 2013A short piece I wrote on the opticomechanical analogy I wrote for the high school physics team.
 PDF TEX
Programming
 Generalized ElGamal cipher in Idris
 darcs
 A small textgeneration language I wrote in Haskell
 hackage
 A web app which suggests mix drinks based on what ingredients you have available, written in Haskell.
 page
 A commandline tool written as a replacement to 'du'.
 git
 Idris library for typesafe permutations.
 git
 Haskell bindings to libarchive.
 hackage
 A commandline tool to count lines of source code, written in ATS
 git
 Perceptual hashing in J
 git
 Matrix arithmetic in Idris
 darcs
 Levenshtein edit distance in ATS
 git
 Performant perceptual hashing library written in Haskell
 hackage
 Combinatorial and number theoretic functions in ATS, with Haskell bindings.
 git
 Combinatorial functions in Egison
 git
 Number theoretic functions in Egison
 git
Translations

Spring 2013Ricci and LeviCivita's treatise on their invention of tensor calculus, translated from the original French.
 PDF TEX

Summer 2016Excerpt from The Fifteen Joys of Marriage, a 15th century French satire. Translated from Middle French.
 PDF TEX
 PDF TEX
Summer 2016
A few AngloSaxon riddles, translated into French from Old English.
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 2012A paper from a summer research project I did in high school simulating the electrocaloric effect in a ceramic.
 PDF src

Spring 2018A literate program demonstrating how to enforce memory safety with linear types in Haskell.
Retrospectives
 Ethernet packet transmission on an FPGA
 page
 Temperature monitoring with Raspberry Pi and lighttpd
 page