I’m a software engineer with a passion for improving the quality of software and the tools we use to build it. I am currently developing Xr0, a compiler that aims to make it possible to write safe C, you can follow the progress of the project on substack.

Previously, I worked at AWS where my focus was on building, operationalising and maintaining large scale distributed systems.

I enjoy sharing my perspectives on various topics around tech at unicornchats.com. I’ve featured some of my favorite ones below.

Writing

21 Nov 2022: quantum safety - thoughts on the implications of quantum computing.

10 Oct 2022: i’ll never let go, Jack? - the success of apple airpods.

09 May 2022: startups, infrastructure and the api economy - how digital infrastructure unlocks higher order value.

Projects

Xr0 - an open source compiler that aims to make it possible to write safe C.

i2 - an open source language designed to make formal verification easy for mathematicians.

mcnaughton-yamada-thompson - a simple regex parser written in Go.