aria.rip

hello, i'm aria. i touch computers for a living. i use she/her pronouns.

things i'm working on

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. i helped rebuild our infrastructure using Nix, Terraform, Rust, and more.
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, which helps me remember command snippets i use a lot
stockton, a 3d engine i used to learn Vulkan and Rust.