I am a versatile software engineer with extensive experience in designing, building, and operationalising distributed systems. I am passionate about open source and improving software quality.

I am currently developing Xr0, an open-source compiler that aims to give the C programming language the same safety guarantees as Rust by eliminating undefined behaviour at compile-time.

I built Hyloblog, an open-source platform and static site generator integrated with GitHub. It is targeted at developers to create and host blogs directly from the folder structure of a Git repository.

I spent over four years at AWS, building and maintaining large-scale distributed systems.

I enjoy writing and sharing ideas. I previously co-created UnicornChats, a blog where I explored topics in and around technology, growing its audience to over 500 subscribers. Currently I blog about my work on Xr0 (the blog is hosted on hyloblog).

I am fluent in German and conversant in French.

Writing

quantum safety - thoughts on the implications of quantum computing.

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

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.

Hyloblog - an open-source platform and static site generator targeted at developers wanting to host blogs.

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

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