I'm a developer, photographer and musician.
My primary interests are in developer tools, compilers, artificial general intelligence, operating systems and other areas.
What I Do
I just finished my BSc (Hons) Computer Science degree at the University of
Bath. My dissertation was on the implementation of a strongly-typed shell
scripting language called
marsh, which includes an effect system through its
basis in the functional machine calculus.
I have experience with Rust, Nix, Swift and C#, and have worked as a Rust, iOS, macOS and ASP.NET backend developer. I'm also familiar (to varying degrees) with Objective-C, Java, Haskell, and other languages.