hello, i'm aria. i'm a cs student interested in software engineering, devops, and how programming languages can make these things better. i use she/her pronouns.
things i'm working on
- an intriniscally-typed formalisation of WebAssembly in Agda. i'm hoping to explore how intrinsic typing compares to the current extrinsically-typed formalisation.
- a TUI for my uni's LMS - edlearn_tui
- looking for a graduate job.
things i've done
- 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.
- 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.
- infrastructure & backend development at open cosmos
- machine learning for computer vision at cisco meraki
- tutoring algorithms & data structures at edinburgh university
other stuff i like
links
- email - me @ this domain
- gpg key, or on keyserver.ubuntu.com with fingerprint 0x8086f2aeeba86416.
- most of my code
- fediverse - @tcmal@tardisproject.uk