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
 A small textgeneration language I wrote in Haskell
 darcs
 A blog which I built with Yesod. Also taught me acidstate.
 page
 A web app which suggest mix drinks based on what ingredients you have available. Written in Haskell.
 page
 A brainfuck interpreter I wrote to demonstrate monadic parser combinators and recursion schemes.
 git
 A commandline tool written as a replacement to 'du', with an emphasis on parallelism and ergonomics.
 git
 An Idris library for typesafe permutations.
 git
 A Haskell library for computing continued fractions and rational approximations.
 darcs
 A commandline tool to count lines of source code, written in ATS
 pijul
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