Multi-coloured lanterns hanging down from the ceiling, above a wireframe metal sculpture in the shape of a tree.

projects

current

past

  • blow, a minimal tiling window manager for X11
  • my dissertation, which automatically swaps out container implementations to improve performance.
  • i was an admin for the tardis project for several years.
  • some sketches of an intriniscally-typed formalisation of WebAssembly in Agda, available here
  • infrastructure for high-performance computing at ukceh
  • infrastructure & backend development at open cosmos
  • machine learning for computer vision at cisco meraki
  • tutoring algorithms & data structures at edinburgh university
  • i was vice-president of compsoc, the largest computing society in Scotland.
  • some answers for advent of code, in a mix of languages.
  • doe, a simple command snippet runner