projects

current

• cuda things at spectral compute
• 'organised' chaos at the edinburgh hacklab

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