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 toy multibackend compiler for a stackbased language
 hackage
 Idris library for typesafe permutations.
 git
 Streaming lz4 in Haskell via C FFI
 hackage
 Perceptual hashing in J
 git
 Elliptic Fourier series in J
 git
 Image processing in Futhark
 git
 Levenshtein edit distance in ATS
 git
 Performant perceptual hashing library written in Haskell
 hackage
 Combinatorial and number theoretic functions in ATS, with Haskell bindings.
 hackage
 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

Spring 2021A tutorial on compiler backends.
 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
Retrospectives
 Ethernet packet transmission on an FPGA
 page
 Temperature monitoring with Raspberry Pi and lighttpd
 page