% This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/3.0/ or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA.
\item Programming language theory, type theory, strongly-typed functional programming languages. Haskell, Elm, Scala. Started writing Rust before 1.0 release in 2015.
\item Network programming and troubleshooting, hardware and software packet processing, embedded Linux hardware bringup, writing clear and maintainable C and C++. Can solder if necessary.
\item Full-stack web development in multiple web frameworks in multiple languages. Modern frontend web development (Javascript/Typescript/React).
\item Linux system administration in production cloud environments, Docker containerization, AWS/Terraform. I have a running 4U VM server on a shelf in my apartment.
\resitem{Updated old Python codebase to modern typed Python + Rust execution core for improved performance and maintainability. Frequent Rust/Python FFI and Python metaprogramming.}
\resitem{Routinely collaborated with external contributors in a spirit of good open-source citizenship.}
\resitem{Contributed to internal React/Typescript frontend work, Django/AWS backend work at early-stage startup (\textless 10 employees) when all hands needed on deck. }
\resitem{One of two members of the backend/devops team. Primarily responsible for feature development for API microservices in Scala (Akka/Couchbase NoSQL),
and AWS provision of the same (Docker, Terraform).}
\resitem{Built systems for processing GDAL geospatial data, efficiently running TensorFlow/OpenCV ML workflows on quadrotor drone photos.}
\resitem{One time I grabbed a Windows laptop and set up a
Visual C++ environment so I could apply a 10-line bugfix patch
to some Autodesk software we depended on. Only time so far I've needed to do that.}
\resitem{Primarily responsible for feature development and support of several different models of cloud-managed Ethernet switches and WiFi access points.}
\resitem{Healthy mix of embedded Linux firmware development on networking hardware (C++) and full stack web development (Ruby on Rails/PostgreSQL + a little Scala).}
\resitem{Designed and built WiFi statistics monitoring widget with d3 and React, looks cool in demos and saved at least one deal.}
\resitem{Regular troubleshooting and debugging of hardware and software in production network environments. The 802.1Q protocol identifier value 0x8100 is burned into my memory
An open-source browser-based roguelike game. Every level is unbeatable and requires the player to modify the Javascript code defining the level in order to progress.
This started out as a college hackathon project by me and a friend, that we decided to keep working on and release publicly. A surprisingly large number of
people around the world have contacted us telling us they've enjoyed playing it, or found it to be a fun and useful pedagogical tool for teaching programming.
