Expositions
-
Fall 2015Scanned lecture notes from a presentation I gave on symplectic geometry.
-
Spring 2013A short piece I wrote on the optico-mechanical analogy I wrote for the high school physics team.
- PDF TEX
Programming
- Generalized El-Gamal cipher in Idris
- darcs
- A small text-generation language I wrote in Haskell
- hackage
- A toy multi-backend compiler for a stack-based language
- hackage
- Idris library for type-safe 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 Levi-Civita'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 Anglo-Saxon riddles, translated into French from Old English.
Original
-
Fall 2021Exposition on pattern-matching in concatenative languages.
-
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